EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1F. Alvares De Oliveira Jr., 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
  • 3F. Hermenier, X. Lorca, J.-M. Menaud, G. Muller, J. Lawall.

    Entropy: a Consolidation Manager for Clusters, in: The ACM SIGPLAN/SIGOPS Int. Conference on Virtual Execution Environments (VEE'09), March 2009.
  • 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, p. 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
  • 7P. Riteau, A. Lèbre, C. Morin.

    Handling Persistent States in Process Checkpoint/Restart Mechanisms for HPC Systems, in: Proceedings of the 9th IEEE International Symposium on Cluster Computing and Grid (CCGRID 2009), Shangai, China, IEEE Computer Society Press, 2009.
  • 8N. Tabareau.

    A theory of distributed aspects, in: 9th International Conference on Aspect-Oriented Software Development (AOSD '10), France Rennes, Saint-Malo, ACM, 2010, p. 133–144.

    http://dx.doi.org/10.1145/1739230.1739246
  • 9É. Tanter, J. Fabry, R. Douence, J. Noyé, M. Südholt.

    Scoping strategies for distributed aspects, in: Science of Computer Programming, July 2010.

    http://dx.doi.org/10.1016/j.scico.2010.06.011
  • 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

Articles in International Peer-Reviewed Journals

  • 11F. Alvares De Oliveira Jr., T. Ledoux.

    Self-management of cloud applications and infrastructure for energy optimization, in: SIGOPS Operating Systems Review, 2012, vol. 46, no 2.

    http://hal.inria.fr/hal-00710695
  • 12B. 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
  • 13F. 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

International Conferences with Proceedings

  • 14D. Allam.

    A unified formal model for service oriented architecture to enforce security contracts, in: Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion, New York, NY, USA, AOSD Companion '12, ACM, 2012, p. 9–10.

    http://doi.acm.org/10.1145/2162110.2162120
  • 15D. Allam, R. Douence, H. Grall, J.-C. Royer, M. Südholt.

    A Message-Passing Model for Service Oriented Computing, in: WEBIST, 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, K.-H. Krempels, J. Cordeiro (editors), SciTePress Digital Library, April 2012.

    http://hal.inria.fr/hal-00668975
  • 16F. Alvares De Oliveira Jr., 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
  • 17O. Chebaro, M. Delahaye, N. Kosmatov.

    Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE, in: 24th International Conference on Software & Systems Engineering and their Applications (ICSSEA 2012), Paris, France, October 2012, 7 p.

    http://icssea.enst.fr/icssea12/, http://hal.inria.fr/hal-00724508
  • 18O. Chebaro, N. Kosmatov, N. Williams, B. Botella, M. Roger.

    A lesson on structural testing with PathCrawler-online.com, in: 6th International Conference on Tests & Proofs, Prague, Czech Republic, June 2012, 6 pages.

    http://hal.inria.fr/hal-00685504
  • 19J. Cohen, R. Douence, A. Ajouli.

    Invertible Program Restructurings for Continuing Modular Maintenance, in: 16th European Conference on Software Maintenance and Reengineering (CSMR 2012), Szeged, Hungary, R. F. Tom Mens (editor), IEEE, March 2012, p. 347–352, 6 pages, Early Research Achievements Track. [ DOI : 10.1109/CSMR.2012.42 ]

    http://hal.inria.fr/hal-00662777
  • 20T. Dinkelaker, J. Fabry, J. Noyé.

    Proceedings of the seventh workshop on Domain-Specific Aspect Languages (DSAL 2012), in: AOSD - Aspect-Oriented Software Development - 2012, Potsdam, Germany, A. Press (editor), March 2012.

    http://hal.inria.fr/hal-00726770
  • 21I. Figueroa, É. Tanter, N. Tabareau.

    A Practical Monadic Aspect Weaver, in: Foundations of Aspect-Oriented Languages, Potsdam, Germany, March 2012.

    http://hal.inria.fr/hal-00690717
  • 22G. 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
  • 23Y. Kouki, T. Ledoux.

    CSLA : a Language for Improving Cloud SLA Management, in: International Conference on Cloud Computing and Services Science, CLOSER 2012., Porto, Portugal, April 2012.

    http://hal.inria.fr/hal-00675077
  • 24Y. Kouki, T. Ledoux.

    SLA-driven Capacity Planning for Cloud applications, in: IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2012), Taipei, Taiwan, Province Of China, December 2012.

    http://hal.inria.fr/hal-00734417
  • 25J.-M. Menaud, R. Pottier.

    btrScript : a safe management system for virtualized data center, in: The 8th International Conference on Autonomic and Autonomous Systems (ICAS 2012), XPS, March 2012.

    http://hal.inria.fr/hal-00656091
  • 26N. Tabareau.

    A Monadic Interpretation of Execution Levels and Exceptions for AOP, in: Modularity: AOSD'12, Postdam, Germany, ACM Press, March 2012.

    http://hal.inria.fr/inria-00592132
  • 27É. Tanter, N. Tabareau, R. Douence.

    Taming Aspects with Membranes, in: Foundations of Aspect-Oriented Languages, Potsdam, Germany, March 2012.

    http://hal.inria.fr/hal-00690706
  • 28J. M. Van Ham.

    Adding high-level concurrency to EScala, in: Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion, New York, NY, USA, AOSD Companion '12, ACM, 2012, p. 19–20.

    http://doi.acm.org/10.1145/2162110.2162125

National Conferences with Proceeding

  • 29A. Ajouli.

    An Automatic Reversible Transformation from Composite to Visitor in Java, in: CIEL 2012, P. Collet, P. Merle (eds.); Conférence en IngénieriE du Logiciel (CIEL), June 2012.

    http://hal.inria.fr/hal-00733182
  • 30J. Noyé.

    E{Java, CaesarJ, Scala} : un exercice d'intégration de la programmation par objets, par aspects et par évènements, in: Quatrièmes journées nationales du GDR GPL, Rennes, France, L. Duchien, O. Barais (editors), June 2012, p. 85-86.

    http://hal.inria.fr/hal-00726618

Scientific Books (or Scientific Book chapters)

  • 31F. Alvares De Oliveira Jr., A. Lèbre, T. Ledoux, J.-M. Menaud.

    Self-management of applications and systems to optimize energy in data centers, in: Achieving Federated and Self-Manageable Cloud Infrastructures: Theory and Practice, I. Brandic, M. Villari, F. Tusa (editors), IGI Global, February 2012.

    http://hal.inria.fr/hal-00670033
  • 32H. Arboleda, J.-C. Royer.

    Model-Driven and Software Product Line Engineering, ISTE LTd and John Wiley & Sons, Inc., August 2012, 288 p.

    http://hal.inria.fr/hal-00734143

Internal Reports

  • 33D. Allam, R. Douence, H. Grall, J.-C. Royer, M. Südholt.

    Well-Typed Services Cannot Go Wrong, Inria, May 2012, no RR-7899.

    http://hal.inria.fr/hal-00700570
  • 34D. Balouek, A. Carpen Amarie, G. Charrier, F. Desprez, E. Jeannot, E. Jeanvoine, A. Lèbre, D. Margery, N. Niclausse, L. Nussbaum, O. Richard, C. Pérez, F. Quesnel, C. Rohr, L. Sarzyniec.

    Adding Virtualization Capabilities to Grid'5000, Inria, July 2012, no RR-8026, 18 p.

    http://hal.inria.fr/hal-00720910
  • 35G. Chabert, R. Douence.

    From Implicit to Explicit Pavings, Inria, July 2012, no RR-8028.

    http://hal.inria.fr/hal-00720739

Other Publications

  • 36H. Grall, M. Lacouture.

    Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine, 2012, Internal report.

    http://hal.inria.fr/hal-00676083
References in notes
  • 37M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors)

    Aspect-Oriented Software Development, Addison-Wesley Professional, September 2004.
  • 38C. 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.
  • 39R. Allen, D. Garlan.

    A Formal Basis for Architectural Connection, in: ACM Transactions on Software Engineering and Methodology, July 1997, vol. 6, no 3, p. 213–49.
  • 40J. 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, p. 187–209.
  • 41L. 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, p. 51-62.
  • 42G. 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.
  • 43A. Braccialia, A. Brogi, C. Canal.

    A formal approach to component adaptation, in: Journal of Systems and Software, 2005.
  • 44E. M. Clarke, O. Grumberg, D. A. Peled.

    Model Checking, The MIT Press, Cambridge, Massachusetts, 1999.
  • 45J. Cohen, A. Ajouli.

    Practical use of static composition of refactoring operations, in: ACM Symposium On Applied Computing, Portugal, March 2013, 6 p.

    http://hal.archives-ouvertes.fr/hal-00751304
  • 46M. Cole.

    Algorithmic Skeletons: Structured Management of Parallel Computation, MIT Press, 1989.
  • 47A. 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, p. 56–65.
  • 48F. 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, p. 80-86.
  • 49G. 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, p. 296–303.
  • 50E. W. Dijkstra.

    On the role of scientific thought, in: Selected Writings on Computing: A Personal Perspective, Springer-Verlag, 1974, p. 60–66, Published in 1982.
  • 51R. 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, p. 173–188.

    http://hal.inria.fr/inria-00072153
  • 52R. 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, p. 201-218.
  • 53R. 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, p. 170–186.
  • 54R. 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, p. 79-88.
  • 55P. T. Eugster, P. A. Felber, R. Guerraoui, A.-M. Kermarrec.

    The many faces of publish/subscribe, in: ACM Computing Surveys, June 2003, vol. 35, no 2, p. 114–131.

    http://doi.acm.org/10.1145/857076.857078
  • 56H. 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, p. 152–163.
  • 57A. Fuggetta, G. P. Picco, G. Vigna.

    Understanding Code Mobility, in: IEEE Transactions on Software Engineering, May 1998, vol. 24, no 5, p. 342–361.
  • 58E. Gamma, R. Helm, R. Johnson, J. Vlissides.

    Design Patterns: Elements of Reusable Object-Oriented Software, Addison Wesley, Massachusetts, 1994.
  • 59K. 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, p. 273–284.

    http://www.doc.ic.ac.uk/~yoshida/multiparty/multiparty.pdf, http://doi.acm.org/10.1145/1328438.1328472
  • 60G. 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, Berlin, June 2001, vol. 2072, p. 327–353.

    http://www.eclipse.org/aspectj/
  • 61G. 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.
  • 62G. Kiczales, J. des Rivieres, Daniel G. Bobrow.

    The Art of the Meta-Object Protocol, MIT Press, Cambridge (MA), USA, 1991.
  • 63J. 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.
  • 64T. 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, p. 197–214.
  • 65X. Leroy.

    Manifest types, modules, and separate compilation, in: Manifest types, modules, and separate compilation, Portland, Oregon, USA, ACM Press, January 1994, p. 109-121.
  • 66A. Lèbre, P. Anedda, M. Gaggero, F. Quesnel.

    DISCOVERY, Beyond the Clouds - DIStributed and COoperative framework to manage Virtual EnviRonments autonomicallY: a prospective study, in: Virtualization for High Performance Cloud Computing workshop (colocated with EUROPAR 2011), Bordeaux, France, August 2011.

    http://hal.inria.fr/hal-00645912/en
  • 67M. McIlroy.

    Mass produced software components, in: Mass produced software components, Garmish, Germany, P. Naur, B. Randell (editors), NATO Science Committee, October 1968, p. 138-155.
  • 68N. 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, p. 70-93.
  • 69N. R. Mehta, N. Medvidovic, S. Phadke.

    Towards a Taxonomy of Software Connectors, in: Proceedings of ICSE, Limerick, Ireland, jun 2000, p. 178–187.
  • 70M. Mernik, J. Heering, A. M. Sloane.

    When and How to Develop Domain-Specific Languages, in: ACM Computing Surveys, December 2005, vol. 37, no 4, p. 316-344.
  • 71L. 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, p. 355-382.
  • 72R. T. Monroe, A. Kompanek, R. Melton, D. Garlan.

    Architectural Styles, Design Patterns, and Objects, in: IEEE Software, January 1997, vol. 14, no 1, p. 43-52.
  • 73D. 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.
  • 74O. Nierstrasz.

    Regular Types for Active Objects, in: Object-Oriented Software Composition, O. Nierstrasz, D. Tsichritzis (editors), Prentice Hall, 1995, chap. 4, p. 99–121.
  • 75M. 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.
  • 76D. L. Parnas.

    On the criteria for decomposing systems into modules, in: Communications of the ACM, December 1972, vol. 15, no 12, p. 1053-1058.
  • 77F. Plasil, S. Visnovsky.

    Behavior Protocols for Software Components, in: Transactions on Software Engineering, January 2002, vol. 28, no 9.
  • 78F. 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, p. 367–388.
  • 79M. Shaw, D. Garlan.

    Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996.
  • 80B. C. Smith.

    Reflection and Semantics in LISP, Xerox Palto Alto Research Center, Palo Alto, 1984, no P84-00030.
  • 81S. 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, p. 174–190.
  • 82R. 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, p. 159 - 169.
  • 83M. 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, p. 890–910.
  • 84D. M. Yellin, R. E. Strom.

    Protocol specifications and component adaptors, in: ACM Transactions of Programming Languages and Systems, March 1997, vol. 19, no 2, p. 292–333.
  • 85A. van Deursen, P. Klint, J. Visser.

    Domain-Specific Languages: An Annotated Bibliography, in: ACM SIGPLAN Notices, June 2000, vol. 35, no 6, p. 26-36.


previous Previous | up Home