Bibliography

Major publications by the team in recent years

• 1F. J. Alvares De Oliveira, R. Sharrock, T. Ledoux.
  Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing, in: COORDINATION - International Conference on Coordination Models and Languages - 2012, Stockholm, Sweden, March 2012.
  http://hal.inria.fr/hal-00682914
• 2B. 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
• 3A. El Rheddane, N. De Palma, F. Boyer, F. Dumont, J.-M. Menaud, A. Tchana.
  Dynamic Scalability of a Consolidation Service, in: International Conference on Cloud Computing, Indus Track, United States, July 2013, pp. 01-09.
  http://hal.inria.fr/hal-00835817
• 4G. Jaber, N. Tabareau, M. Sozeau.
  Extending Type Theory with Forcing, in: LICS 2012 : Logic In Computer Science, Dubrovnik, Croatia, June 2012.
  http://hal.inria.fr/hal-00685150
• 5M. Léger, T. Ledoux, T. Coupaye.
  Reliable Dynamic Reconfiguration in a Reflective Component Model, in: Proc. of the 13th Int. Symposium on Component Based Software Engineering (CBSE'10), Tchèque, République, Lecture Notes in Computer Science, Springer-Verlag, June 2010, pp. 74-92.
• 6F. Quesnel, A. Lèbre, 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
• 7D. Serrano, S. Bouchenak, Y. Kouki, T. Ledoux, J. Lejeune, J. Sopena, L. Arantes, P. Sens.
  Towards QoS-Oriented SLA Guarantees for Online Cloud Services, in: IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2013, Delft, Netherlands, May 2013.
  http://hal.inria.fr/hal-00780000
• 8N. Tabareau, I. Figueroa, É. Tanter.
  A Typed Monadic Embedding of Aspects, in: Proceedings of the 12th annual international conference on Aspect-oriented software development (AOSD'13), Fukuoka, Japan, March 2013.
  http://hal.inria.fr/hal-00763695
• 9N. Tabareau.
  A theory of distributed aspects, in: 9th International Conference on Aspect-Oriented Software Development (AOSD '10), France Rennes, Saint-Malo, ACM, 2010, pp. 133–144.
  http://dx.doi.org/10.1145/1739230.1739246
• 10R. Toledo, A. Núñez, É. Tanter, J. Noyé.
  Aspectizing Java Access Control, in: IEEE Transactions on Software Engineering, January 2011.
  http://hal.inria.fr/inria-00567489/en

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 11A. Ajouli.
  Vues et transformations de programmes pour la modularité des évolutions, Ecole des Mines de Nantes, September 2013.
  http://hal.inria.fr/tel-00866997
• 12F. J. Alvares De Oliveira.
  Gestion multi autonome pour l'optimisation de la consommation énergétique sur les infrastructures en nuage, Université de Nantes, April 2013.
  http://hal.inria.fr/tel-00853575
• 13Y. Kouki.
  Approche dirigée par les contrats de niveaux de service pour la gestion de l'élasticité du "nuage", Ecole des Mines de Nantes, December 2013.
  http://hal.inria.fr/tel-00919900
• 14F. Quesnel.
  Vers une gestion coopérative des infrastructures virtualisées à large échelle : le cas de l'ordonnancement, Ecole des Mines de Nantes, February 2013.
  http://hal.inria.fr/tel-00821103

Articles in International Peer-Reviewed Journals

• 15O. Chebaro, P. Cuoq, N. Kosmatov, B. Marre, A. Pacalet, N. Williams, B. Yakobowski.
  Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses, in: Automated Software Engineering, June 2013, 45 p.
  http://www.springer.com/computer/ai/journal/10515, http://hal.inria.fr/hal-00818147
• 16I. Figueroa, N. Tabareau, É. Tanter.
  Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice, in: Transactions on Aspect-Oriented Software Development, 2013.
  http://hal.inria.fr/hal-00872782
• 17Y. Kouki, T. Ledoux.
  RightCapacity: SLA-driven Cross-Layer Cloud Elasticity Management, in: International journal of next-generation computing (IJNGC), December 2013, vol. 4, n^o 3, pp. 250-262.
  http://hal.inria.fr/hal-00920968
• 18P. Leger, É. Tanter, R. Douence.
  Modular and Flexible Causality Control on the Web, in: Science of Computer Programming, January 2013.
  http://hal.inria.fr/hal-00755127
• 19C. Prud'Homme, X. Lorca, R. Douence, N. Jussien.
  Propagation Engine Prototyping with a Domain Specific Language, in: Constraints, 2013, 21 p. [ DOI : 10.1007/s10601-013-9151-5 ]
  http://hal.inria.fr/hal-00867604
• 20M. Sellami, P. de Vettor, M. Mrissa, D. Benslimane, B. Defude.
  DMaaS : Syntactic, Structural and Semantic Mediation for Service Composition, in: International Journal of Autonomous and Adaptive Communications Systems, 2014.
  http://hal.inria.fr/hal-00937178
• 21É. Tanter, I. Figueroa, N. Tabareau.
  Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications, in: Science of Computer Programming, 2013.
  http://hal.inria.fr/hal-00872786

International Conferences with Proceedings

• 22A. Ajouli, J. Cohen, J.-C. Royer.
  Transformations between Composite and Visitor implementations in Java, in: 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013), Santander, Spain, September 2013, 8 p.
  http://hal.inria.fr/hal-00834149
• 23D. Allam, H. Grall, J.-C. Royer.
  From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping, in: WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, Aachen, Germany, K.-H. Krempels, A. Stocker (editors), SciTePress Digital Library, March 2013, pp. 169-173, Short paper presented as a poster.
  http://hal.inria.fr/hal-00800153
• 24D. Allam, H. Grall, J.-C. Royer.
  The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success, in: The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Vienna, Austria, G. Kotsis (editor), Gabriele Kotsis, December 2013, Full regular paper.
  http://hal.inria.fr/hal-00908552
• 25F. J. Alvares De Oliveira, T. Ledoux, R. Sharrock.
  A framework for the coordination of multiple autonomic managers in cloud environments, in: IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Philadelphia (PA), United States, 2013, pp. 179-188.
  http://hal.inria.fr/hal-00839090
• 26S. Badia, A. Carpen-Amarie, A. Lèbre, L. Nussbaum.
  Enabling Large-Scale Testing of IaaS Cloud Platforms on the Grid'5000 Testbed, in: TTC - 1st International Workshop on Testing The Cloud, co-located with ISSTA 2013, Lugano, Switzerland, ACM, July 2013, pp. 7-12. [ DOI : 10.1145/2489295.2489298 ]
  http://hal.inria.fr/hal-00907888
• 27W. Benghabrit, H. Grall, J.-C. Royer, M. Sellami, M. Azraoui, K. Elkhiyaoui, M. Önen, A. Santana De Oliveira, K. Bernsmed.
  A Cloud Accountability Policy Representation Framework, in: CLOSER - 4th International Conference on Cloud Computing and Services Science, Barcelone, Spain, 2014.
  http://hal.inria.fr/hal-00941872
• 28R.-A. Cherrueau, O. Chebaro, M. Südholt.
  Flexible and expressive aspect-based control over service compositions in the Cloud, in: 4th International Workshop on Variability & Composition, Fukuoka, Japan, Digital Library, ACM, March 2013.
  http://hal.inria.fr/hal-00782427
• 29R.-A. Cherrueau, R. Douence, J.-C. Royer, M. Südholt, A. Santana De Oliveira, Y. Roudier, M. Dell'Amico.
  Reference monitors for security and interoperability in OAuth 2.0, in: SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Egham, United Kingdom, September 2013.
  http://hal.inria.fr/hal-00846810
• 30R.-A. Cherrueau, M. Südholt, O. Chebaro.
  Adapting workflows using generic schemas: application to the security of business processes, in: CloudCom - 5th IEEE International Conference on Cloud Computing Technology and Science - 2013, Bristol, United Kingdom, December 2013, pp. 519-524.
  http://hal.inria.fr/hal-00866485
• 31J. Cohen, A. Ajouli.
  Practical use of static composition of refactoring operations, in: ACM Symposium on Applied Computing (SAC), Coimbra, Portugal, ACM, March 2013, pp. 1700-1705. [ DOI : 10.1145/2480362.2480684 ]
  http://hal.inria.fr/hal-00751304
• 32A. El Rheddane, N. De Palma, F. Boyer, F. Dumont, J.-M. Menaud, A. Tchana.
  Dynamic Scalability of a Consolidation Service, in: International Conference on Cloud Computing, Indus Track, United States, July 2013, pp. 01-09.
  http://hal.inria.fr/hal-00835817
• 33I. Figueroa, T. Schrijvers, N. Tabareau, É. Tanter.
  Compositional Reasoning About Aspect Interference, in: 13th International Conference on Modularity (Modularity'14), Lugano, Switzerland, April 2014.
  http://hal.inria.fr/hal-00919935
• 34I. Figueroa, N. Tabareau, É. Tanter.
  Taming aspects with monads and membranes, in: FOAL'13: Foundations of aspect-oriented languages, Fukuoka, Japan, ACM, March 2013. [ DOI : 10.1145/2451598.2451600 ]
  http://hal.inria.fr/hal-00808983
• 35T. Hirofuchi, A. Lèbre.
  Adding Virtual Machine Abstractions Into SimGrid, A First Step Toward the Simulation of Infrastructure-as-a-Service Concerns, in: Third International Conference on Cloud and Green Computing (CGC 2013), Karlsruhe, Germany, September 2013.
  http://hal.inria.fr/hal-00861848
• 36T. Hirofuchi, A. Lèbre, L. Pouilloux.
  Adding a Live Migration Model Into SimGrid, One More Step Toward the Simulation of Infrastructure-as-a-Service Concerns, in: 5th IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom 2013), Bristol, United Kingdom, December 2013.
  http://hal.inria.fr/hal-00861882
• 37M. Imbert, L. Pouilloux, J. Rouzaud-Cornabas, A. Lèbre, T. Hirofuchi.
  Using the EXECO toolbox to perform automatic and reproducible cloud experiments, in: 1st International Workshop on UsiNg and building ClOud Testbeds (UNICO, collocated with IEEE CloudCom 2013, Bristol, United Kingdom, September 2013.
  http://hal.inria.fr/hal-00861886
• 38Y. Kouki, F. J. Alvares De Oliveira, S. Dupont, T. Ledoux.
  A Language Support for Cloud Elasticity Management, in: IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2014, Chicago, United States, May 2014, pp. 1-8.
  http://hal.inria.fr/hal-00941945
• 39Y. Kouki, T. Ledoux.
  SCAling : SLA-driven Cloud Auto-scaling, in: ACM Symposium on Applied Computing, SAC 2013, Coimbra, Portugal, March 2013, pp. 411-414.
  http://hal.inria.fr/hal-00780003
• 40G. Le Louet, J.-M. Menaud.
  OptiPlace: designing cloud management with flexible power models through constraint programing, in: International Conference on Utility and Cloud Computing, Dresden, Germany, December 2013.
  http://hal.inria.fr/hal-00931797
• 41G. Le Louet, J.-M. Menaud.
  StressCloud: An infrastructure stresser for Virtual Machine Managers, in: Energy Efficiency in Large Scale Distributed Systems conference, Austria, April 2013, pp. 01-08.
  http://hal.inria.fr/hal-00836137
• 42F. Marchand De Kerchove, J. Noyé, M. Südholt.
  Aspectizing JavaScript Security, in: MISS - 3rd Workshop on Modularity In Systems Software, Fukuoka, Japan, March 2013. [ DOI : 10.1145/2451613.2451616 ]
  http://hal.inria.fr/hal-00786258
• 43F. Quesnel, H. Kumar Mehta, J.-M. Menaud.
  Estimating the Power Consumption of an Idle Virtual Machine, in: The 2013 IEEE International Conference on Green Computing and Communications (GreenCom 2013), Beijing, China, August 2013.
  http://hal.inria.fr/hal-00838982
• 44F. Quesnel, A. Lèbre, J. Pastor, M. Südholt, D. Balouek.
  Advanced Validation of the DVMS Approach to Fully Distributed VM Scheduling, in: ISPA' 13: The 11th IEEE International Symposium on Parallel and Distributed Processing with Applications, Melbourne, Australia, July 2013.
  http://hal.inria.fr/hal-00817369
• 45D. Serrano, S. Bouchenak, Y. Kouki, T. Ledoux, J. Lejeune, J. Sopena, L. Arantes, P. Sens.
  Towards QoS-Oriented SLA Guarantees for Online Cloud Services, in: IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2013, Delft, Netherlands, May 2013, pp. 50-57.
  http://hal.inria.fr/hal-00780000
• 46N. Tabareau, I. Figueroa, É. Tanter.
  A Typed Monadic Embedding of Aspects, in: 12th annual international conference on Aspect-Oriented Software Development (Modularity-AOSD'13), Fukuoka, Japan, March 2013.
  http://hal.inria.fr/hal-00763695
• 47N. Tabareau, M. Südholt, É. Tanter.
  Aspectual Session Types, in: Modularity - 13th International Conference on Modularity, Lugano, Switzerland, 2014.
  http://hal.inria.fr/hal-00872791
• 48J. 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.
  http://hal.inria.fr/hal-00862332

National Conferences with Proceedings

• 49L. Eyraud-Dubois, A. Lèbre, P. Martineau, A. Soukhal, V. T'Kindt, D. Trystram.
  A Server Consolidation Problem: Definition and Model, in: Proceedings of the 14th conference ROADEF, Troyes, France, 2013.
  http://hal.inria.fr/hal-00921363
• 50Y. Kouki, T. Ledoux, D. Serrano, S. Bouchenak, J. Lejeune, L. Arantes, J. Sopena, P. Sens.
  SLA et qualité de service pour le Cloud Computing, in: Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013, Grenoble, France, January 2013, pp. 1-11.
  http://hal.inria.fr/hal-00764951
• 51G. Le Louet, J.-M. Menaud.
  StressCloud, un outils d'évaluation pour les gestionnaires d'infrastructure virtualisée, in: Conférence Française en Systèmes d'Exploitation, France, January 2013, pp. 01-12.
  http://hal.inria.fr/hal-00836139
• 52C. Prud'Homme, X. Lorca, R. Douence, N. Jussien.
  Prototyper des Moteurs de Propagation avec un DSL, in: Journées française de la Programmation par Contraintes, Aix-en-Provence, France, 2013, pp. 279-288.
  http://hal.inria.fr/hal-00867713
• 53N. Tabareau, É. Tanter, I. Figueroa.
  Anti-Unification with Type Classes, in: Journées Francophones des Langages Applicatifs (JFLA), Aussois, France, February 2013.
  http://hal.inria.fr/hal-00765862

Conferences without Proceedings

• 54D. Balouek, A. Lèbre, F. Quesnel.
  Flauncher and DVMS – Deploying and Scheduling Thousands of Virtual Machines on Hundreds of Nodes Distributed Geographically, in: IEEE International Scalable Computing Challenge (SCALE 2013), held in conjunction with CCGrid'2013, Delft, Netherlands, 2013.
  http://hal.inria.fr/hal-00920094

Internal Reports

• 55A. Ajouli, J. Cohen.
  Refactoring Composite to Visitor and Inverse Transformation in Java, July 2013.
  http://hal.inria.fr/hal-00652872
• 56A. Lèbre, J. Pastor, M. Bertier, F. Desprez, J. Rouzaud-Cornabas, C. Tedeschi, P. Anedda, G. Zanetti, R. Nou, T. Cortes, E. Rivière, T. Ropars.
  Beyond The Cloud, How Should Next Generation Utility Computing Infrastructures Be Designed?, Inria, July 2013, n^o RR-8348.
  http://hal.inria.fr/hal-00854204
• 57N. Tabareau, J.-J. Slotine.
  Contraction analysis of nonlinear random dynamical systems, Inria, 2013, n^o RR-8368, 17 p.
  http://hal.inria.fr/hal-00864079

Other Publications

• 58S. Pearson, V. Tountopoulos, D. Catteddu, M. Südholt, R. Molva, C. Reich.
  Accountability for Cloud and Other Future Internet Services, January 2013, The 4th IEEE Int. Conf. on Cloud Computing Technology and Science (CloudCom 2012).
  http://hal.inria.fr/hal-00778369
• 59M. Sozeau, N. Tabareau.
  Univalence for free, 2013.
  http://hal.inria.fr/hal-00786589

References in notes

• 60M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors)
  Aspect-Oriented Software Development, Addison-Wesley Professional, September 2004.
• 61C. 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.
• 62R. 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.
• 63J. 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.
• 64T. 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, NY, USA, POPL '12, ACM, 2012, pp. 165–178.
  http://doi.acm.org/10.1145/2103656.2103677
• 65L. 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.
• 66G. 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.
• 67A. Braccialia, A. Brogi, C. Canal.
  A formal approach to component adaptation, in: Journal of Systems and Software, 2005.
• 68S. 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
• 69E. M. Clarke, O. Grumberg, D. A. Peled.
  Model Checking, The MIT Press, Cambridge, Massachusetts, 1999.
• 70A. 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.
• 71F. 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.
• 72G. 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.
• 73E. 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.
• 74R. 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
• 75R. 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.
• 76R. 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.
• 77R. 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.
• 78H. 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.
• 79A. 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.
• 80K. 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, http://doi.acm.org/10.1145/1328438.1328472
• 81G. 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/
• 82G. 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.
• 83G. Kiczales, J. des Rivieres, Daniel G. Bobrow.
  The Art of the Meta-Object Protocol, MIT Press, Cambridge (MA), USA, 1991.
• 84J. 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.
• 85T. 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.
• 86M. 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.
• 87N. 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.
• 88M. 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.
• 89L. 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.
• 90D. 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.
• 91O. Nierstrasz.
  Regular Types for Active Objects, in: Object-Oriented Software Composition, O. Nierstrasz, D. Tsichritzis (editors), Prentice Hall, 1995, chap. 4, pp. 99–121.
• 92M. 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.
• 93D. 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.
• 94S. 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
• 95F. Plasil, S. Visnovsky.
  Behavior Protocols for Software Components, in: Transactions on Software Engineering, January 2002, vol. 28, n^o 9.
• 96F. 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.
• 97M. Shaw, D. Garlan.
  Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996.
• 98B. C. Smith.
  Reflection and Semantics in LISP, Xerox Palto Alto Research Center, Palo Alto, 1984, n^o P84-00030.
• 99S. 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.
• 100S. 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
• 101R. 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.
• 102M. 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.
• 103D. 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.
• 104A. 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.