EN FR
EN FR




Bibliography

Major publications by the team in recent years
  • 1F. Baligand, N. Rivierre, T. Ledoux.

    QoS Policies for Business Processes in Service Oriented Architectures, in: Proc. of the 6th Int. Conference on Service Oriented Computing (ICSOC), Sydney, Australia, Springer-Verlag, December 2008, vol. 5364, p. 483–497.
  • 2L. D. Benavides Navarro, R. Douence, M. Südholt.

    Debugging and testing middleware with aspect-based control-flow and causal patterns, in: Proc. of the ACM/IFIP/USENIX 9th Int. Middleware Conference, Leuven, Belgium, Lecture Notes in Computer Science, Springer-Verlag, December 2008, vol. 5346, p. 183-202.
  • 3B. De Fraine, E. Ernst, M. Südholt.

    Essential AOP: The A Calculus, in: European Conference on Object-Oriented Programming (ECOOP'10), Springer Verlag, June 2010.
  • 4B. De Fraine, M. Südholt, V. Jonckers.

    StrongAspectJ: Flexible and Safe Pointcut/Advice Bindings, in: Proc. of the 7th ACM Int. Conf. on Aspect-Oriented Software Development (AOSD'08), M. Mezini (editor), ACM Press, March 2008, p. 60–71, Distinguished Paper Award.
  • 5F. 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.
  • 6M. 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, Springer-Verlag (editor), Lecture Notes in Computer Science, June 2010, p. 74-92.
  • 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 (editor), 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

Doctoral Dissertations and Habilitation Theses

  • 11A. Assaf.

    A Common Aspect Languages Interpreter, École des Mines de Nantes, Université de Nantes, October 2011.
  • 12A. Hannousse.

    Aspectualizing Component Models: Implementation and Interferences Analysis, École des Mines de Nantes, Université de Nantes, November 2011.

    http://tel.archives-ouvertes.fr/tel-00657285
  • 13J.-M. Menaud.

    Adaptation dynamique et transparente de systèmes patrimoniaux complexes, Université de Nantes, June 2011, HDR.
  • 14D. H. Nguyen.

    A VPA-based Aspect Language, École des Mines de Nantes, Université de Nantes, October 2011.

    http://tel.archives-ouvertes.fr/tel-00642636
  • 15H. Nguyen Van.

    Gestion de ressources virtualisées pour plates-formes d'hébergement de services, École des Mines de Nantes, Université de Nantes, February 2011.
  • 16A. Núñez.

    A Programming Model Integrating Classes, Events and Aspects, École des Mines de Nantes, Université de Nantes, June 2011.

    http://tel.archives-ouvertes.fr/tel-00656649

Articles in International Peer-Reviewed Journal

  • 17S. Djoko Djoko, R. Douence, P. Fradet.

    Aspects Preserving Properties, in: Science of Computer Programming, October 2011. [ DOI : 10.1016/j.scico.2011.10.010 ]

    http://hal.inria.fr/inria-00638852/en
  • 18J. Gallard, A. Lèbre, C. Morin, T. Naughton, S. Scott, G. Vallée.

    Architecture for the Next Generation System Management Tools, in: Future Generation Computer Systems, 2011. [ DOI : 10.1016/j.future.2011.06.003 ]

    http://hal.inria.fr/inria-00605143/en
  • 19C. Louberry, P. Roose, M. Dalmau.

    Kalimucho: Contextual Deployment for QoS Management, in: Springer LNCS, June 2011, vol. 6723, p. 43-56.

    http://hal.inria.fr/hal-00607375/en
  • 20I. Mejia, M. Südholt.

    Structured and flexible gray-box composition using invasive distributed patterns, in: International Journal on Computer Science and Information Systems, March 2011, vol. 6, 13 p, ISBN = ISSN: 1646-3692.

    http://hal.inria.fr/inria-00583673/en
  • 21R. Toledo, A. Núñez, É. Tanter, J. Noyé.

    Aspectizing Java Access Control, in: IEEE Transactions on Software Engineering, January 2011. [ DOI : 10.1109/TSE.2011.6 ]

    http://hal.inria.fr/inria-00567489/en

International Conferences with Proceedings

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

    Self-management of applications QoS for energy optimization in datacenters, in: 2nd International Workshop on Green Computing Middleware (GCM'2011), Portugal, 2011, p. 0-0.

    http://hal.inria.fr/hal-00641902/en
  • 23H. Arboleda, J.-C. Royer.

    Component types qualification in Java legacy code driven by communication integrity rules, in: ISEC 2011 : India Software Engineering Conference, Thiruvananthapuram, Kerala, India, ACM, February 2011, p. 155–164. [ DOI : 10.1145/1953355.1953377 ]

    http://hal.inria.fr/hal-00621001/en
  • 24V. Gasiūnas, L. Satabin, M. Mezini, A. Núñez, J. Noyé.

    EScala: Modular Event-Driven Object Interactions in Scala, in: 10th International Conference on Aspect-Oriented Software Development (AOSD 2011), Porto de Galinhas, Brazil, ACM Press, March 2011. [ DOI : 10.1145/1960275.1960303 ]

    http://hal.inria.fr/inria-00559183/en
  • 25A. Hannousse, R. Douence, G. Ardourel.

    Composable Controllers in Fractal: Implementation and Interference Analysis, in: the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'11), Oulu, Finland, September 2011, 99 p.

    http://hal.inria.fr/hal-00606269/en
  • 26A. Hannousse, R. Douence, G. Ardourel.

    Static Analysis of Aspect Interaction and Composition in Component Models, in: the 10th International Conference on Generative Programming and Component Engineering (GPCE'11), Portland, Oregon, United States, October 2011, 18 p.

    http://hal.inria.fr/hal-00606270/en
  • 27Y. Kouki, T. Ledoux, R. Sharrock.

    Cross-layer SLA selection for Cloud services, in: 2011 First International Symposium on Network Cloud Computing and Applications, Toulouse, France, November 2011, p. 143-147.

    http://hal.inria.fr/hal-00642532/en
  • 28C. Louberry, P. Roose, M. Dalmau.

    Kalimucho : Plateforme d'Adaptation des Applications Mobiles, in: Actes Conférences NOTERE, Paris, France, May 2011, p. 83-90.

    http://hal.archives-ouvertes.fr/hal-00593459/en/
  • 29C. Louberry, P. Roose, M. Dalmau.

    Kalimucho: Contextual Deployment for QoS Management, in: Distributed Applications and Interoperable Systems, Reykjavik, Iceland, Lecture Notes in Computer Science, Springer, June 2011, vol. 6723, p. pp.43-56. [ DOI : 10.1007/978-3-642-21387-8 ]

    http://hal.inria.fr/hal-00596372/en
  • 30A. 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
  • 31I. Mejia, M. Südholt, L. D. Benavides Navarro.

    Invasive composition for the evolution of a health information system, in: 2nd International Workshop on Variability & Composition (VariComp 2011), Pernambuco, Brazil, ACM Digital Library (editor), ISBN: 978-1-4503-0646-1, ACM New York, NY, USA, March 2011, ACM 978-1-4503-0646-1/11/03. [ DOI : 10.1145/1961359.1961362 ]

    http://hal.inria.fr/inria-00567598/en
  • 32I. Mejia, M. Südholt.

    Towards a robust model for distributed aspects, in: 1st Workshop In Modularity in Systems Software (MISS), Pernambuco, Brazil, ACM Digital Library (editor), ISBN: 978-1-4503-0647-8, ACM New York, NY, USA, March 2011. [ DOI : 10.1145/1960518.1960523 ]

    http://hal.inria.fr/inria-00567604/en
  • 33F. Quesnel, A. Lèbre.

    Cooperative Dynamic Scheduling of Virtual Machines in Distributed Systems, in: 6th Workshop on Virtualization in High-Performance Cloud Computing, Bordeaux, France, August 2011, XX p.

    http://hal.inria.fr/hal-00622862/en
  • 34F. Quesnel, A. Lèbre.

    Operating Systems and Virtualization Frameworks: From Local to Distributed Similarities, in: 19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing, Ayia Napa, Cyprus, February 2011, 495 p.

    http://hal.inria.fr/hal-00538948/en
  • 35M. Sabir Idrees, G. Serme, Y. Roudier, A. Santana De Oliveira, H. Grall, M. Südholt.

    Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures, in: 4th International Workshop on Autonomous and Spontaneous Security, Leuven, Belgium, September 2011.

    http://hal.inria.fr/inria-00614163/en
  • 36N. Tabareau.

    Aspect oriented programming: a language for 2-categories, in: Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, Porto de Galinhas, Brazil, ACM, 2011, p. 13–17. [ DOI : 10.1145/1960510.1960514 ]

    http://hal.inria.fr/inria-00583429/en
  • 37N. 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/en

National Conferences with Proceeding

  • 38F. Hermenier, J. Lawall, G. Muller, J.-M. Menaud.

    Consolidation dynamique d'applications Web haute-disponibilité, in: Actes Conférences CFSE, Rennes, France, May 2011.

Conferences without Proceedings

  • 39G. Jaber, N. Tabareau.

    The Journey of Biorthogonal Logical Relations to the Realm of Assembly Code, in: Workshop LOLA 2011, Syntax and Semantics of Low Level Languages, Toronto, Canada, June 2011.

    http://hal.inria.fr/hal-00594386/en

Scientific Books (or Scientific Book chapters)

  • 40N. Anquetil, U. Kulesza, R. Mateus, R. Mitschke, A. Moreira, J.-C. Royer, A. Rummler.

    Managing Information Flow in SPL Development Processes, in: Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, September 2011, p. 222–262, ISBN 978-0-521-76722-4.

    http://hal.inria.fr/hal-00620995/en
  • 41V. Gasiūnas, A. Núñez, J. Noyé, M. Mezini.

    Product line implementation with ECaesarJ, in: Aspect-Oriented, Model-Driven Software Product Lines - The AMPLE Way, A. Rashid, J.-C. Royer, A. Rummler (editors), Cambridge University Press, September 2011.

    http://hal.inria.fr/inria-00607804/en
  • 42A. Rashid, J.-C. Royer, A. Rummler.

    Aspect-Oriented, Model-Driven Software Product Lines The AMPLE Way, Cambridge University Press, September 2011, ISBN: 9780521767224.

    http://hal.inria.fr/hal-00620981/en
  • 43A. Rashid, J.-C. Royer, A. Rummler.

    Introduction, in: Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, September 2011, p. 3–26, ISBN 978-0-521-76722-4.

    http://hal.inria.fr/hal-00620988/en

Internal Reports

Other Publications

References in notes
  • 50M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors)

    Aspect-Oriented Software Development, Addison-Wesley Professional, September 2004.
  • 51C. 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.
  • 52R. 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.
  • 53J. 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.
  • 54L. 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.
  • 55G. 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.
  • 56A. Braccialia, A. Brogi, C. Canal.

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

    Model Checking, The MIT Press, Cambridge, Massachusetts, 1999.
  • 58M. Cole.

    Algorithmic Skeletons: Structured Management of Parallel Computation, MIT Press, 1989.
  • 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, p. 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, no 2, p. 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, p. 296–303.
  • 62E. 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.
  • 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, p. 173–188.

    ftp://ftp.inria.fr/INRIA/publication/publi-pdf/RR/RR-4435.pdf
  • 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, p. 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, p. 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, p. 79-88.
  • 67P. 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
  • 68H. 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.
  • 69A. Fuggetta, G. P. Picco, G. Vigna.

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

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

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

    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, p. 197–214.
  • 77X. Leroy.

    Manifest types, modules, and separate compilation, in: Manifest types, modules, and separate compilation, Portland, Oregon, USA, ACM Press, January 1994, p. 109-121.
  • 78M. 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.
  • 79N. 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.
  • 80N. R. Mehta, N. Medvidovic, S. Phadke.

    Towards a Taxonomy of Software Connectors, in: Proceedings of ICSE, Limerick, Ireland, jun 2000, p. 178–187.
  • 81M. 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.
  • 82L. 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.
  • 83R. 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.
  • 84D. 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.
  • 85O. Nierstrasz.

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

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

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

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

    Reflection and Semantics in LISP, Xerox Palto Alto Research Center, Palo Alto, 1984, no P84-00030.
  • 92S. 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.
  • 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, p. 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, no 5, p. 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, no 2, p. 292–333.
  • 96A. 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.