Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 1M. S. Hasan.
  Smart management of renewable energy in clouds : from infrastructure to application, INSA de Rennes, May 2017.
  https://tel.archives-ouvertes.fr/tel-01617963
• 2A. Lebre.
  Contributions to Large-scale Distributed Systems The infrastructure Viewpoint - Toward Fog and Edge Computing as The Next Utility Computing Paradigm?, Université de Nantes, September 2017, Habilitation à diriger des recherches.
  https://tel.archives-ouvertes.fr/tel-01664343
• 3Y. Li.
  Resource allocation in a Cloud partially powered by renewable energy sources, Ecole nationale supérieure Mines-Télécom Atlantique, June 2017.
  https://tel.archives-ouvertes.fr/tel-01595953

Articles in International Peer-Reviewed Journals

• 4F. Alvares, E. Rutten, L. Seinturier.
  A Domain-specific Language for The Control of Self-adaptive Component-based Architecture, in: Journal of Systems and Software, January 2017.
  https://hal.archives-ouvertes.fr/hal-01450517
• 5N. Beldiceanu, B. Dumas Feris, P. Gravey, 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. H. Roux, A. Sharaiha.
  Towards energy-proportional Clouds partially powered by renewable energy, in: Computing, January 2017, vol. 99, n^o 1, 20 p. [ DOI : 10.1007/s00607-016-0503-z ]
  https://hal.inria.fr/hal-01340318
• 6B. Confais, A. Lèbre, B. Parrein.
  Performance Analysis of Object Store Systems in a Fog and Edge Computing Infrastructure, in: Transactions on Large-Scale Data- and Knowledge-Centered Systems, August 2017. [ DOI : 10.1007/978-3-662-55696-2_2 ]
  https://hal.archives-ouvertes.fr/hal-01587459
• 7H. Coullon, J. Bigot, C. Pérez.
  Extensibility and Composability of a Multi-Stencil Domain Specific Framework, in: International Journal of Parallel Programming, November 2017. [ DOI : 10.1007/s10766-017-0539-5 ]
  https://hal.archives-ouvertes.fr/hal-01650998
• 8M. S. Hasan, F. Alvares, T. Ledoux, J.-L. Pazat.
  Investigating Energy Consumption and Performance Trade-off for Interactive Cloud Application, in: IEEE Transactions on Sustainable Computing, June 2017. [ DOI : 10.1109/TSUSC.2017.2714959 ]
  https://hal.archives-ouvertes.fr/hal-01540159
• 9M. 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, June 2017, vol. 5, n^o 2, pp. 249-262. [ DOI : 10.1109/TCC.2015.2459710 ]
  https://hal.archives-ouvertes.fr/hal-01187907
• 10Y. Li, A.-C. Orgerie, I. Rodero, B. Lemma Amersho, M. Parashar, J.-M. Menaud.
  End-to-end Energy Models for Edge Cloud-based IoT Platforms: Application to Data Stream Analysis in IoT, in: Future Generation Computer Systems, 2017, pp. 1-12, forthcoming. [ DOI : 10.1016/j.future.2017.12.048 ]
  https://hal.archives-ouvertes.fr/hal-01673501
• 11S. Martinez, M. Tisi, R. Douence.
  Reactive Model Transformation with ATL, in: Science of Computer Programming, March 2017, vol. 136, pp. 1 - 16. [ DOI : 10.1016/j.scico.2016.08.006 ]
  https://hal.inria.fr/hal-01627991

International Conferences with Proceedings

• 12M. Abderrahim, M. Ouzzif, K. GUILLOUARD, J. Francois, A. Lèbre.
  A Holistic Monitoring Service for Fog/Edge Infrastructures: a Foresight Study, in: The IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud 2017), Prague, Czech Republic, August 2017, pp. 337-344. [ DOI : 10.1109/FiCloud.2017.30 ]
  https://hal.archives-ouvertes.fr/hal-01591161
• 13F. Alvares, G. Delaval, E. Rutten, L. Seinturier.
  Language Support for Modular Autonomic Managers in Reconfigurable Software Components, in: SeAC 2017 - 2nd Workshop on Self-Aware Computing @ ICAC’17, Colombus, United States, July 2017, pp. 271 - 278. [ DOI : 10.1109/ICAC.2017.48 ]
  https://hal.inria.fr/hal-01575353
• 14M.-M. Bazm, M. Lacoste, M. Südholt, J.-M. Menaud.
  Side-Channels Beyond the Cloud Edge : New Isolation Threats and Solutions, in: IEEE International Conference on Cyber Security in Networking (CSNet) 2017, Rio de Janeiro, Brazil, 1st Cyber Security in Networking Conference (CSNet'17), October 2017.
  https://hal.inria.fr/hal-01593144
• 15N. Berthier, F. Alvares, H. Marchand, G. Delaval, E. Rutten.
  Logico-numerical Control for Software Components Reconfiguration, in: CCTA 2017 - IEEE Conference on Control Technology and Applications, Mauna Lani, HI, United States, IEEE, August 2017, pp. 1599 - 1606. [ DOI : 10.1109/CCTA.2017.8062685 ]
  https://hal.inria.fr/hal-01644754
• 16R.-A. Cherrueau, D. Pertin, A. Simonet, A. Lebre, M. Simonin.
  Toward a Holistic Framework for Conducting Scientific Evaluations of OpenStack, in: The 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID), Madrid, Spain, May 2017, pp. 544-548. [ DOI : 10.1109/CCGRID.2017.87 ]
  https://hal.archives-ouvertes.fr/hal-01664515
• 17B. Confais, A. Lèbre, B. Parrein.
  An Object Store Service for a Fog/Edge Computing Infrastructure based on IPFS and Scale-out NAS, in: 1st IEEE International Conference on Fog and Edge Computing - ICFEC’2017, Madrid, Spain, 2017 IEEE 1st International Conference on Fog and Edge Computing (ICFEC 2017), May 2017, pp. 41-50. [ DOI : 10.1109/ICFEC.2017.13 ]
  https://hal.archives-ouvertes.fr/hal-01483702
• 18H. Coullon, G. Le Louët, J.-M. Menaud.
  Virtual Machine Placement for Hybrid Cloud using Constraint Programming, in: ICPADS 2017, Shenzhen, China, December 2017.
  https://hal.archives-ouvertes.fr/hal-01581969
• 19H. Coullon, J. Noyé.
  Reconsidering the Relationship between Cloud Computing and Cloud Manufacturing, in: SOHOMA 2017, Nantes, France, October 2017.
  https://hal.inria.fr/hal-01591113
• 20H. Coullon, D. Pertin, C. Pérez.
  Production Deployment Tools for IaaSes: an Overall Model and Survey, in: The IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud), Prague, Czech Republic, August 2017, pp. 183-190. [ DOI : 10.1109/FiCloud.2017.51 ]
  https://hal.inria.fr/hal-01532489
• 21S. Dupont, S. Bouri, F. Alvares De Oliveira, T. Ledoux.
  ElaScript: a DSL for Coding Elasticity in Cloud Computing, in: 32nd ACM Symposium on Applied Computing - Track on Cloud Computing, Marrakesh, Morocco, Proceedings of the 32nd ACM Symposium on Applied Computing - Track on Cloud Computing, April 2017.
  https://hal.archives-ouvertes.fr/hal-01400236
• 22G. Gilbert.
  Formalising Real Numbers in Homotopy Type Theory, in: 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France, January 2017, pp. 112 - 124, https://arxiv.org/abs/1610.05072. [ DOI : 10.1145/3018610.3018614 ]
  https://hal.inria.fr/hal-01449326
• 23M. S. Hasan, F. Alvares De Oliveira Jr., T. Ledoux.
  GPaaScaler: Green Energy aware Platform Scaler for Interactive Cloud Application, in: IEEE/ACM International Conference on Utility and Cloud Computing, Austin, United States, December 2017.
  https://hal.archives-ouvertes.fr/hal-01650136
• 24Y. Hebbal, L. Sylvie, J.-M. Menaud.
  Hidden Process Detection using Kernel Functions Instrumentation, in: IEEE Conference on Dependable and Secure Computing (DSC), Taiwan, Taiwan, August 2017.
  https://hal.inria.fr/hal-01520864
• 25Y. Hebbal, L. Sylvie, J.-M. Menaud.
  K-binID: Kernel Binary Code Identification for Virtual Machine Introspection, in: IEEE Conference on Dependable and Secure Computing (DSC), Taiwan, Taiwan, August 2017.
  https://hal.inria.fr/hal-01520867
• 26A. Lebre, J. Pastor, A. Simonet, F. Desprez.
  Revising OpenStack to Operate Fog/Edge Computing infrastructures, in: IEEE International Conference on Cloud Engineering, Vancouver, France, April 2017.
  https://hal.inria.fr/hal-01273427
• 28Y. Li, A.-C. Orgerie, J.-M. Menaud.
  Balancing the use of batteries and opportunistic scheduling policies for maximizing renewable energy consumption in a Cloud data center, in: PDP 2017 - 25th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, St Petersburg, Russia, March 2017.
  https://hal.inria.fr/hal-01432752
• 29Y. Li, A.-C. Orgerie, I. Rodero, M. Parashar, J.-M. Menaud.
  Leveraging Renewable Energy in Edge Clouds for Data Stream Analysis in IoT, in: CCGrid 2017 - IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Madrid, Spain, May 2017.
  https://hal.inria.fr/hal-01472358
• 30G. Madi Wamba, Y. Li, A.-C. Orgerie, N. Beldiceanu, J.-M. Menaud.
  Cloud workload prediction and generation models, in: SBAC-PAD: International Symposium on Computer Architecture and High Performance Computing, Campinas, Brazil, October 2017.
  https://hal.archives-ouvertes.fr/hal-01578354
• 31G. Madi Wamba, Y. Li, A.-C. Orgerie, N. Beldiceanu, J.-M. Menaud.
  Green energy aware scheduling problem in virtualized datacenters, in: ICPADS 2017, Shenzen, China, December 2017.
  https://hal.archives-ouvertes.fr/hal-01582936
• 32T. L. Nguyen, A. Lebre.
  Virtual Machine Boot Time Model, in: PDP 2017 - 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, St Peterbourg, Russia, March 2017, pp. 430 - 437. [ DOI : 10.1109/PDP.2017.58 ]
  https://hal.inria.fr/hal-01586932
• 33T.-D. Phan, S. Ibrahim, A. C. Zhou, G. Aupy, G. Antoniu.
  Energy-Driven Straggler Mitigation in MapReduce, in: Euro-Par'17 - 23rd International European Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 2017.
  https://hal.inria.fr/hal-01560044
• 34R. Pottier, J.-M. Menaud.
  Privacy-Aware Data Storage in Cloud Computing, in: International Conference on Cloud Computing and Services Science (CLOSER), Porto, Portugal, April 2017, 8 p.
  https://hal.inria.fr/hal-01472133
• 35Y. Taleb, S. Ibrahim, G. Antoniu, T. Cortes.
  Characterizing Performance and Energy-Efficiency of The RAMCloud Storage System, in: The 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), Atlanta, United States, June 2017.
  https://hal.inria.fr/hal-01496959
• 36O. Yildiz, A. C. Zhou, S. Ibrahim.
  Eley: On the Effectiveness of Burst Buffers for Big Data Processing in HPC systems, in: Cluster'17-2017 IEEE International Conference on Cluster Computing, Hawaii, United States, September 2017.
  https://hal.inria.fr/hal-01570737
• 37A. C. Zhou, S. Ibrahim, B. He.
  On Achieving Efficient Data Transfer for Graph Processing in Geo-Distributed Datacenters, in: ICDCS'17- The 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), Atlanta, United States, June 2017.
  https://hal.inria.fr/hal-01560187

National Conferences with Proceedings

• 38S. Boulier, P.-M. Pédrot, N. Tabareau.
  Modèles de la théorie des types donnés par traduction de programme, in: 28ièmes Journées Francophones des Langages Applicatifs, Gourette, France, January 2017.
  https://hal.archives-ouvertes.fr/hal-01503089
• 39B. Confais, A. Lèbre, B. Parrein.
  An object store for Fog infrastructures based on IPFS and a Scale-Out NAS, in: RESCOM 2017, Le Croisic, France, RESCOM 2017 Summer school, June 2017, 2 p.
  https://hal.archives-ouvertes.fr/hal-01559065
• 40Y. Hebbal, L. Sylvie, J.-M. Menaud.
  K-binID : Identification de code binaire noyau à des fins d’introspection de machine virtuelle, in: Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Sophia Antipolis, France, June 2017.
  https://hal.inria.fr/hal-01520863

Conferences without Proceedings

• 41I. Cuadrado-Cordero, A.-C. Orgerie, J.-M. Menaud.
  Comparative Experimental Analysis of the Quality-of-Service and Energy-Efficiency of VMs and Containers' Consolidation for Cloud Applications, in: SoftCOM: International Conference on Software, Telecommunications and Computer Networks, Split, Croatia, September 2017.
  https://hal.archives-ouvertes.fr/hal-01578325

Scientific Books (or Scientific Book chapters)

• 42D. Saucez, A. Lèbre, S. Secci (editors)
  RESCOM 2017 Summer school, CNRS, June 2017.
  https://hal.inria.fr/hal-01558074

Scientific Popularization

• 43M. Albonico, J.-M. Mottu, G. Sunyé, F. Alvares.
  Making Cloud-based Systems Elasticity Testing Reproducible, in: 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 2017.
  https://hal.inria.fr/hal-01471916

Other Publications

• 44M.-M. Bazm, M. Lacoste, M. Südholt, J.-M. Menaud.
  Side Channels in the Cloud: Isolation Challenges, Attacks, and Countermeasures, March 2017, working paper or preprint.
  https://hal.inria.fr/hal-01591808
• 45S. Boulier, N. Tabareau.
  Model structure on the universe in a two level type theory, 2017, working paper or preprint.
  https://hal.archives-ouvertes.fr/hal-01579822

References in notes

• 46M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors)
  Aspect-Oriented Software Development, Addison-Wesley Professional, September 2004.
• 47C. 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.
• 48R. 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.
• 49J. 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.
• 50M. 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.
• 51T. 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
• 52A. 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.
• 53L. 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.
• 54G. 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.
• 55A. Braccialia, A. Brogi, C. Canal.
  A formal approach to component adaptation, in: Journal of Systems and Software, 2005.
• 56R. 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.
• 57S. 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
• 58E. M. Clarke, O. Grumberg, D. A. Peled.
  Model Checking, The MIT Press, Cambridge, Massachusetts, 1999.
• 59A. 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.
• 60F. 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.
• 61G. 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.
• 62E. 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.
• 63R. 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
• 64R. 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.
• 65R. 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.
• 66R. 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.
• 67H. 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.
• 68I. 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.
• 69A. 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.
• 70Greenpeace.
  Make IT green: Cloud computing and its contribution to climate change, Greenpeace International, March 2010.
• 71K. 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
• 72G. 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/
• 73G. 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.
• 74G. Kiczales, J. des Rivieres, Daniel G. Bobrow.
  The Art of the Meta-Object Protocol, MIT Press, Cambridge (MA), USA, 1991.
• 75J. 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.
• 76T. 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.
• 77M. 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.
• 78N. 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.
• 79M. 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.
• 80L. 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.
• 81D. 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.
• 82O. Nierstrasz.
  Regular Types for Active Objects, in: Object-Oriented Software Composition, O. Nierstrasz, D. Tsichritzis (editors), Prentice Hall, 1995, chap. 4, pp. 99–121.
• 83M. 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.
• 84D. 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.
• 85S. 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
• 86F. Plasil, S. Visnovsky.
  Behavior Protocols for Software Components, in: Transactions on Software Engineering, January 2002, vol. 28, n^o 9.
• 87F. 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.
• 88N. 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
• 89M. Shaw, D. Garlan.
  Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996.
• 90B. C. Smith.
  Reflection and Semantics in LISP, Xerox Palto Alto Research Center, Palo Alto, 1984, n^o P84-00030.
• 91S. 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.
• 92S. 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
• 93R. 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.
• 94M. 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.
• 95D. 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.
• 96Q. 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.
• 97A. 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.