Bibliography

Major publications by the team in recent years

• 1B. De Fraine, E. Ernst, M. Südholt.
  Essential AOP: The A Calculus, in: ACM Transactions on Programming Languages and Systems (TOPLAS), December 2012.
  http://hal.inria.fr/hal-00676082
• 2I. Figueroa, T. Schrijvers, N. Tabareau, É. Tanter.
  Compositional Reasoning About Aspect Interference, in: Modularity'14: 13th International Conference on Modularity, Lugano, Switzerland, April 2014.
  https://hal.inria.fr/hal-00919935
• 3M. S. Hasan, Y. Kouki, T. Ledoux, J.-L. Pazat.
  Exploiting Renewable sources: when Green SLA becomes a possible reality in Cloud computing, in: IEEE Transactions on Cloud Computing, July 2015, vol. PP, n^o 99, 1 p. [ DOI : 10.1109/TCC.2015.2459710 ]
  https://hal.archives-ouvertes.fr/hal-01187907
• 4G. Jaber, N. Tabareau, M. Sozeau.
  Extending Type Theory with Forcing, in: LICS'12 : Logic In Computer Science, Dubrovnik, Croatia, June 2012.
  http://hal.inria.fr/hal-00685150
• 5Y. Kouki, F. Alvares De Oliveira Jr., S. Dupont, T. Ledoux.
  A Language Support for Cloud Elasticity Management, in: CCGrid'14: IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Chicago, United States, May 2014, pp. 1-8.
  https://hal.archives-ouvertes.fr/hal-00941945
• 6A. Lebre, J. Pastor, M. Südholt.
  VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms, in: Europar 2015, Vienne, Austria, August 2015.
  https://hal.inria.fr/hal-01159033
• 7F. Quesnel, A. Lebre, M. Südholt.
  Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS, in: Concurrency and Computation: Practice and Experience, December 2012.
  http://hal.inria.fr/hal-00675315
• 8M. Sozeau, N. Tabareau.
  Universe Polymorphism in Coq, in: ITP'14: Interactive Theorem Proving, Vienna, Austria, July 2014.
  https://hal.inria.fr/hal-00974721
• 9N. Tabareau, M. Südholt, É. Tanter.
  Aspectual Session Types, in: Modularity'14 - 13th International Conference on Modularity, Lugano, Switzerland, April 2014.
  https://hal.inria.fr/hal-00872791
• 10J. M. Van Ham, G. Salvaneschi, M. Mezini, J. Noyé.
  JEScala: Modular Coordination with Declarative Events and Joins, in: Modularity'14 - 13th International Conference on Modularity, Lugano, Switzerland, E. Ernst (editor), April 2014.
  https://hal.inria.fr/hal-00862332

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 11J. M. Van Ham.
  Seamless concurrent programming of objects, aspects and events, Ecole des Mines de Nantes, March 2015.
  https://tel.archives-ouvertes.fr/tel-01238752

Articles in International Peer-Reviewed Journals

• 12N. Beldiceanu, M. Carlsson, R. Douence, H. Simonis.
  Using finite transducers for describing and synthesising structural time-series constraints, in: Constraints, August 2015, 19 p. [ DOI : 10.1007/s10601-015-9200-3 ]
  https://hal.inria.fr/hal-01186662
• 13J. Fabry, T. Dinkelaker, J. Noyé, É. Tanter.
  A Taxonomy of Domain-Specific Aspect Languages, in: ACM Computing Surveys, February 2015, vol. 47, n^o 3, 44 p. [ DOI : 10.1145/2685028 ]
  https://hal.inria.fr/hal-01085063
• 14I. Figueroa, N. Tabareau, É. Tanter.
  Effect capabilities for Haskell: Taming effect interference in monadic programming, in: Science of Computer Programming, November 2015. [ DOI : 10.1016/j.scico.2015.11.010 ]
  https://hal.inria.fr/hal-01236145
• 15M. S. Hasan, Y. Kouki, T. Ledoux, J.-L. Pazat.
  Exploiting Renewable sources: when Green SLA becomes a possible reality in Cloud computing, in: IEEE Transactions on Cloud Computing, July 2015, vol. PP, n^o 99, 1 p. [ DOI : 10.1109/TCC.2015.2459710 ]
  https://hal.archives-ouvertes.fr/hal-01187907
• 16A. Hirschowitz, T. Hirschowitz, N. Tabareau.
  Wild omega-Categories for the Homotopy Hypothesis in Type Theory, in: Leibniz International Proceedings in Informatics (LIPIcs), 2015, vol. 38, pp. 226-240. [ DOI : 10.4230/LIPIcs.TLCA.2015.226 ]
  https://hal.archives-ouvertes.fr/hal-01178301
• 17L. Pouilloux, T. Hirofuchi, A. Lebre.
  SimGrid VM: Virtual Machine Support for a Simulation Framework of Distributed Systems, in: IEEE Transactions on Cloud Computing, January 2016, forthcoming.
  https://hal.inria.fr/hal-01197274
• 18D. Serrano, S. Bouchenak, Y. Kouki, F. J. Alvares de Oliveira, T. Ledoux, J. Lejeune, J. Sopena, L. Arantes, P. Sens.
  SLA guarantees for cloud services, in: Future Generation Computer Systems, April 2015, 1 p. [ DOI : 10.1016/j.future.2015.03.018 ]
  https://hal.archives-ouvertes.fr/hal-01162654

International Conferences with Proceedings

• 19N. Beldiceanu, B. Dumas Feris, P. Gravey, M. S. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J.-M. Menaud, P. Morel, M. Morvan, M.-L. Moulinard, A.-C. Orgerie, J.-L. Pazat, O. Roux, A. Sharaiha.
  The EPOC project: Energy Proportional and Opportunistic Computing system, in: International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), Lisbonne, Portugal, May 2015.
  https://hal.archives-ouvertes.fr/hal-01131602
• 20W. Benghabrit, H. Grall, J.-C. Royer, M. Sellami.
  Abstract Accountability Language: Translation, Compliance and Application, in: Asia-Pacific Software Engineering Conference, New Delhi, India, December 2015.
  https://hal.archives-ouvertes.fr/hal-01214365
• 21W. Benghabrit, H. Grall, J.-C. Royer, M. Sellami.
  Checking Accountability with a Prover, in: 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Taichung, Taiwan, 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), July 2015, pp. 83-88. [ DOI : 10.1109/COMPSAC.2015.8 ]
  https://hal.archives-ouvertes.fr/hal-01214360
• 22R.-A. Cherrueau, R. Douence, M. Südholt.
  A Language for the Composition of Privacy-Enforcement Techniques, in: IEEE RATSP 2015, The 2015 IEEE International Symposium on Recent Advances of Trust, Security and Privacy in Computing and Communications, Helsinki, Finland, August 2015, pp. 1037 - 1044. [ DOI : 10.1109/Trustcom.2015.480 ]
  https://hal.inria.fr/hal-01168303
• 23S. Dupont, J. Lejeune, F. Alvares, T. Ledoux.
  Experimental Analysis on Autonomic Strategies for Cloud Elasticity, in: 2015 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Cambridge, United States, September 2015.
  https://hal.inria.fr/hal-01178419
• 24A. Garnier, R. Pottier, J.-M. Menaud.
  SensorScript: a Domain-Specific Language for Sensor Networks, in: International Conference on Future Internet of Things and Cloud (FiCloud-2015), Rome, Italy, August 2015.
  https://hal.inria.fr/hal-01158259
• 25Y. Hebbal, L. Sylvie, J.-M. Menaud.
  Virtual Machine Introspection: Techniques and Applications, in: International Conference on Availability, Reliability and Security, Toulouse, France, August 2015.
  https://hal.inria.fr/hal-01165285
• 26Y. Kouki, M. S. Hasan, T. Ledoux.
  Delta Scaling: How Resources Scalability/Termination Can Be Taken Place Economically?, in: 11th World Congress on Services (SERVICES), New York, United States, IEEE World Congress on Services (SERVICES) 2015, IEEE, June 2015, pp. 55-62. [ DOI : 10.1109/SERVICES.2015.17 ]
  https://hal.archives-ouvertes.fr/hal-01162745
• 27A. Lebre, A. Legrand, F. Suter, P. Veyre.
  Adding Storage Simulation Capacities to the SimGrid Toolkit: Concepts, Models, and API, in: CCGrid 2015 - Proceedings of the 15th IEEE/ACM Symposium on Cluster, Cloud and Grid Computing, Shenzhen, China, IEEE/ACM, May 2015, pp. 251-260. [ DOI : 10.1109/CCGrid.2015.134 ]
  https://hal.inria.fr/hal-01197128
• 28A. Lebre, J. Pastor, M. Südholt.
  VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms, in: Europar 2015, Vienne, Austria, August 2015.
  https://hal.inria.fr/hal-01159033
• 29J. Lejeune, L. Arantes, J. Sopena, P. Sens.
  Reducing synchronization cost in distributed multi-resource allocation problem, in: 44th International Conference on Parallel Processing, Beijing, China, 44th International Conference on Parallel Processing, September 2015.
  https://hal.archives-ouvertes.fr/hal-01162329
• 30Y. Li, A.-C. Orgerie, J.-M. Menaud.
  Opportunistic Scheduling in Clouds Partially Powered by Green Energy, in: IEEE International Conference on Green Computing and Communications (GreenCom), Sydney, Australia, December 2015.
  https://hal.archives-ouvertes.fr/hal-01205911
• 31F. Marchand de Kerchove, J. Noyé, M. Südholt.
  Towards Modular Instrumentation of Interpreters in JavaScript, in: FOAL - Foundations of Aspect-Oriented Languages, Fort Collins, United States, MODULARITY Companion 2015, March 2015. [ DOI : 10.1145/2735386.2736753 ]
  https://hal.archives-ouvertes.fr/hal-01116662
• 32J.-M. Menaud, F. Dumont.
  Synthesizing Realistic Cloud Workload Traces for Studying Dynamic Ressource System Management, in: International Conference on Cloud Computing and Big Data, Huangshan, China, June 2015.
  https://hal.inria.fr/hal-01132126
• 33É. Tanter, N. Tabareau.
  Gradual Certified Programming in Coq, in: 11th ACM Dynamic Languages Symposium (DLS 2015), Pittsburgh, United States, October 2015. [ DOI : 10.1145/2816707.2816710 ]
  https://hal.inria.fr/hal-01238774

National Conferences with Proceedings

• 34F. Dumont, J.-M. Menaud, L. Sylvie.
  Monitoring de l’utilisation mémoire et CPU par processus, basé sur l’introspection de machines virtuelles, in: Conférence d’informatique en Parallélisme, Architecture et Système, Lille, France, July 2015.
  https://hal.inria.fr/hal-01154241
• 35A. Garnier, J.-M. Menaud, R. Pottier.
  SensorScript : un langage de requête dédié, orienté métiers, pour les réseaux de capteurs, in: Conférence d’informatique en Parallélisme, Architecture et Système, Lille, France, July 2015.
  https://hal.inria.fr/hal-01154240

Conferences without Proceedings

• 36M. Tisi, R. Douence, D. Wagelaar.
  Lazy Evaluation for OCL, in: Models 2015: 15th International Workshop on OCL and Textual Modeling, Ottawa, Canada, September 2015.
  https://hal.inria.fr/hal-01221072

Scientific Books (or Scientific Book chapters)

• 37W. Benghabrit, H. Grall, J.-C. Royer, M. Sellami, M. Azraoui, K. Elkhiyaoui, M. Onen, S. Oliveira De Anderson, K. Bernsmed.
  From Regulatory Obligations to Enforceable Accountability Policies in the Cloud, in: Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015, CLOSER 2014, Barcelona Spain, April 3-5, 2014, Revised Selected Papers.
  https://hal.archives-ouvertes.fr/hal-01214387

Internal Reports

• 38R.-A. Cherrueau, R. Douence, M. Südholt.
  A Language for the Composition of Privacy-Enforcement Techniques, Inria Rennes ; École des Mines de Nantes ; Inria, April 2015, n^o RR-8720.
  https://hal.inria.fr/hal-01145694
• 39J. Cohen.
  A Correct Refactoring Operation to Rename Global Variables in C Programs, LINA-University of Nantes, December 2015.
  https://hal.archives-ouvertes.fr/hal-01248121
• 40A. Lebre, J. Pastor, . The DISCOVERY Consortium.
  The DISCOVERY Initiative - Overcoming Major Limitations of Traditional Server-Centric Clouds by Operating Massively Distributed IaaS Facilities, Inria, September 2015, n^o RR-8779, 14 p.
  https://hal.inria.fr/hal-01203648
• 41J. Lejeune, L. Arantes, J. Sopena, P. Sens.
  Reducing synchronization cost in distributed multi-resource allocation problem, Ecole des Mines de Nantes, Inria, LINA ; Sorbonne Universités, UPMC, CNRS, Inria, LIP6 ; Inria, February 2015, n^o RR-8689.
  https://hal.inria.fr/hal-01120808

Other Publications

• 42G. Lewertowski.
  Ensembles nominaux dans Coq/SSreflect, Univeristé Paris Diderot Paris 7, September 2015.
  https://hal.inria.fr/hal-01250862
• 43F. Marchand de Kerchove, J. Noyé, M. Südholt.
  Open Scope: A Pragmatic JavaScript Pattern for Modular Instrumentation, June 2015, working paper or preprint.
  https://hal.archives-ouvertes.fr/hal-01181143

References in notes

• 44M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors)
  Aspect-Oriented Software Development, Addison-Wesley Professional, September 2004.
• 45C. Allan, P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, J. Tibble.
  Adding trace matching with free variables to AspectJ, in: ACM Conference on Object-Oriented Programming, Systems and Languages (OOPSLA), R. P. Gabriel (editor), ACM Press, 2005.
• 46R. Allen, D. Garlan.
  A Formal Basis for Architectural Connection, in: ACM Transactions on Software Engineering and Methodology, July 1997, vol. 6, n^o 3, pp. 213–49.
• 47J. H. Andrews.
  Process-Algebraic Foundations of Aspect-Oriented Programming, in: Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, Lecture Notes in Computer Science, 2001, vol. 2192, pp. 187–209.
• 48M. Armbrust, A. Fox, R. Griffith, A. D. Joseph, R. Katz, A. Konwinski, G. Lee, D. Patterson, A. Rabkin, I. Stoica, M. Zaharia.
  A view of cloud computing, in: Communications of the ACM, 2010, vol. 53, n^o 4, pp. 50–58.
• 49T. H. Austin, C. Flanagan.
  Multiple facets for dynamic information flow, in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, New York, USA, POPL '12, ACM, 2012, pp. 165–178.
  http://doi.acm.org/10.1145/2103656.2103677
• 50A. Beloglazov, R. Buyya.
  Energy efficient resource management in virtualized cloud data centers, in: in: Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, CCGRID’10, IEEE Computer Society, 2010, pp. 826–831.
• 51L. D. Benavides Navarro, M. Südholt, W. Vanderperren, B. De Fraine, D. Suvée.
  Explicitly distributed AOP using AWED, in: Aspect-Oriented Software Development (AOSD), ACM Press, March 2006, pp. 51-62.
• 52G. S. Blair, G. Coulson, P. Robin, M. Papathomas.
  An architecture for next generation middleware, in: Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, Springer-Verlag, 1998.
• 53A. Braccialia, A. Brogi, C. Canal.
  A formal approach to component adaptation, in: Journal of Systems and Software, 2005.
• 54R. E. Brown, E. R. Masanet, B. Nordman, W. F. Tschudi, A. Shehabi, J. Stanley, J. G. Koomey, D. A. Sartor, P. T. Chan.
  Server and Data Center Energy Efficiency: Public Law 109-431, in: Report to Congress, 06/2008 2008.
• 55S. Capecchi, I. Castellani, M. Dezani-Ciancaglini, T. Rezk.
  Session Types for Access and Information Flow Control, in: CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings, P. Gastin, F. Laroussinie (editors), Lecture Notes in Computer Science, Springer, 2010, vol. 6269, pp. 237–252.
  http://dx.doi.org/10.1007/978-3-642-15375-4_17
• 56E. M. Clarke, O. Grumberg, D. A. Peled.
  Model Checking, The MIT Press, Cambridge, Massachusetts, 1999.
• 57A. Colyer, A. Clement.
  Large-scale AOSD for Middleware, in: Proceedings of the 3rd ACM Int. Conf. on Aspect-Oriented Software Development (AOSD), Lancaster, K. Lieberherr (editor), ACM Press, 2004, pp. 56–65.
• 58F. DeRemer, H. H. Kron.
  Programming-in-the-large versus programming-in-the-small, in: IEEE Transactions on Software Engineering, 1976, vol. SE-2, n^o 2, pp. 80-86.
• 59G. Decker, O. Kopp, F. Leymann, M. Weske.
  BPEL4Chor: Extending BPEL for Modeling Choreographies, in: IEEE International Conference on Web Services (ICWS 2007), IEEE Computer Society, 2007, pp. 296–303.
• 60E. W. Dijkstra.
  On the role of scientific thought, in: Selected Writings on Computing: A Personal Perspective, Springer-Verlag, 1974, pp. 60–66, Published in 1982.
• 61R. Douence, P. Fradet, M. Südholt.
  A framework for the detection and resolution of aspect interactions, in: Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02), Lecture Notes in Computer Science, Springer-Verlag, October 2002, vol. 2487, pp. 173–188.
  http://hal.inria.fr/inria-00072153
• 62R. Douence, P. Fradet, M. Südholt.
  Trace-Based Aspects, in: Aspect-Oriented Software Development, M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors), Addison-Wesley, 2004, pp. 201-218.
• 63R. Douence, O. Motelet, M. Südholt.
  A formal definition of crosscuts, in: Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, Lecture Notes in Computer Science, Springer-Verlag, 2001, vol. 2192, pp. 170–186.
• 64R. Douence, D. Le Botlan, J. Noyé, M. Südholt.
  Concurrent Aspects, in: Proc. of the Int. ACM Conf. on Generative Programming and Component Engineering (GPCE), ACM Press, October 2006, pp. 79-88.
• 65H. Foster, S. Uchitel, J. Magee, J. Kramer.
  Model-based Verification of Web Service Compositions, in: Proceedings of the 18th IEEE Int. Conf. on Automated Software Engineering (ASE'03), IEEE Computer Society, 2003, pp. 152–163.
• 66I. Foster, Y. Zhao, I. Raicu, S. Lu.
  Cloud computing and grid computing 360-degree compared, in: Grid Computing Environments Workshop, 2008. GCE'08, Ieee, 2008, pp. 1–10.
• 67A. Fuggetta, G. P. Picco, G. Vigna.
  Understanding Code Mobility, in: IEEE Transactions on Software Engineering, May 1998, vol. 24, n^o 5, pp. 342–361.
• 68Greenpeace.
  Make IT green: Cloud computing and its contribution to climate change, Greenpeace International, March 2010.
• 69K. Honda, N. Yoshida, M. Carbone.
  Multiparty asynchronous session types, in: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, G. C. Necula, P. Wadler (editors), ACM, 2008, pp. 273–284.
  http://www.doc.ic.ac.uk/~yoshida/multiparty/multiparty.pdf
• 70G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, W. G. Griswold.
  An Overview of AspectJ, in: ECOOP 2001 — Object-Oriented Programming 15th European Conference, Budapest Hungary, Berlin, J. L. Knudsen (editor), Lecture Notes in Computer Science, Springer-Verlag, June 2001, vol. 2072, pp. 327–353.
  http://www.eclipse.org/aspectj/
• 71G. Kiczales.
  Aspect Oriented Programming, in: Proc. of the Int. Workshop on Composability Issues in Object-Orientation (CIOO'96) at ECOOP, July 1996, Selected paper published by dpunkt press, Heidelberg, Germany.
• 72G. Kiczales, J. des Rivieres, Daniel G. Bobrow.
  The Art of the Meta-Object Protocol, MIT Press, Cambridge (MA), USA, 1991.
• 73J. Kienzle, R. Guerraoui.
  AOP - Does It Make Sense? The Case of Concurrency and Failures, in: 16th European Conference on Object-Oriented Programming (ECOOP'2002), Malaga, Spain, B. Magnusson (editor), Lecture Notes in Computer Science, Springer-Verlag, 2002.
• 74T. Ledoux.
  OpenCorba: a Reflective Open Broker, in: ACM Meta-Level Architectures and Reflection, Second International Conference, Reflection'99, Saint-Malo, France, P. Cointe (editor), Lecture Notes in Computer Science, Springer-Verlag, July 1999, vol. 1616, pp. 197–214.
• 75M. McIlroy.
  Mass produced software components, in: Mass produced software components, Garmish, Germany, P. Naur, B. Randell (editors), NATO Science Committee, October 1968, pp. 138-155.
• 76N. Medvidovic, R. N. Taylor.
  A Classification and Comparison Framework for Software Architecture Description Languages, in: IEEE Transactions on Software Engineering, January 2000, vol. 26, n^o 1, pp. 70-93.
• 77M. Mernik, J. Heering, A. M. Sloane.
  When and How to Develop Domain-Specific Languages, in: ACM Computing Surveys, December 2005, vol. 37, n^o 4, pp. 316-344.
• 78L. Mikhajlov, E. Sekerinski.
  A study of the fragile base class, in: A study of the fragile base class, Brussels, Belgium, E. Jul (editor), Lecture Notes in Computer Science, July 1998, vol. 1445, pp. 355-382.
• 79D. H. Nguyen, M. Südholt.
  VPA-based aspects: better support for AOP over protocols, in: 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), IEEE Computer Society Press, September 2006.
• 80O. Nierstrasz.
  Regular Types for Active Objects, in: Object-Oriented Software Composition, O. Nierstrasz, D. Tsichritzis (editors), Prentice Hall, 1995, chap. 4, pp. 99–121.
• 81M. Nishizawa, S. Chiba, M. Tatsubori.
  Remote Pointcut - A Language Construct for Distributed AOP, in: Proceedings of the 3rd ACM Int. Conf. on Aspect-Oriented Software Development (AOSD), Lancaster, ACM Press, 2004.
• 82D. L. Parnas.
  On the criteria for decomposing systems into modules, in: Communications of the ACM, December 1972, vol. 15, n^o 12, pp. 1053-1058.
• 83S. Pearson.
  Toward Accountability in the Cloud, in: Internet Computing, IEEE, July-Aug. 2011, vol. 15, n^o 4, pp. 64-69.
  http://dx.doi.org/10.1109/MIC.2011.98
• 84F. Plasil, S. Visnovsky.
  Behavior Protocols for Software Components, in: Transactions on Software Engineering, January 2002, vol. 28, n^o 9.
• 85F. Puntigam.
  Coordination Requirements Expressed in Types for Active Objects, in: ECOOP'97—Object-Oriented Programming, M. Akşit, S. Matsuoka (editors), Lecture Notes in Computer Science, Springer-Verlag, 1997, vol. 1241, pp. 367–388.
• 86N. Sharma, S. Barker, D. Irwin, P. Shenoy.
  Blink: managing server clusters on intermittent power, in: SIGARCH Comput. Archit. News, March 2011, vol. 39, pp. 185–198.
  http://dx.doi.org/10.1145/1961295.1950389
• 87M. Shaw, D. Garlan.
  Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996.
• 88B. C. Smith.
  Reflection and Semantics in LISP, Xerox Palto Alto Research Center, Palo Alto, 1984, n^o P84-00030.
• 89S. Soares, E. Laureano, P. Borba.
  Implementing distribution and persistence aspects with AspectJ , in: Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications (OOPSLA-02), C. Norris, J. J. B. Fenwick (editors), ACM SIGPLAN Notices, ACM Press, November  4–8 2002, vol. 37, 11, pp. 174–190.
• 90S. Sundareswaran.
  Ensuring Distributed Accountability for Data Sharing in the Cloud, in: Dependable and Secure Computing, 2012, vol. 9.
  http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6165313
• 91R. J. Walker, K. Viggers.
  Implementing Protocols via Declarative Event Patterns, in: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-12), ACM Press, 2004, pp. 159 - 169.
• 92M. Wand, G. Kiczales, C. Dutchyn.
  A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming, in: ACM Transactions on Programming Languages and Systems (TOPLAS), 2004, vol. 26, n^o 5, pp. 890–910.
• 93D. M. Yellin, R. E. Strom.
  Protocol specifications and component adaptors, in: ACM Transactions of Programming Languages and Systems, March 1997, vol. 19, n^o 2, pp. 292–333.
• 94Q. Zhang, L. Cheng, R. Boutaba.
  Cloud computing: state-of-the-art and research challenges, in: Journal of internet services and applications, 2010, vol. 1, n^o 1, pp. 7–18.
• 95A. van Deursen, P. Klint, J. Visser.
  Domain-Specific Languages: An Annotated Bibliography, in: ACM SIGPLAN Notices, June 2000, vol. 35, n^o 6, pp. 26-36.