EN FR
EN FR


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, no 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, no RR-8348.

    http://hal.inria.fr/hal-00854204
  • 57N. Tabareau, J.-J. Slotine.

    Contraction analysis of nonlinear random dynamical systems, Inria, 2013, no 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, no 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, no 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, no 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, no 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, no 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, no 12, pp. 1053-1058.
  • 94S. Pearson.

    Toward Accountability in the Cloud, in: Internet Computing, IEEE, July-Aug. 2011, vol. 15, no 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, no 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, no 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, no 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, no 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, no 6, pp. 26-36.