Bibliography

Major publications by the team in recent years

[1]

F. 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.

[2]

L. 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.

[3]

L. D. Benavides Navarro, M. Südholt, W. Vanderperren, B. De Fraine, D. Suvée.
Explicitly distributed AOP using AWED, in: Proc. of the 5th ACM Int. Conf. on Aspect-Oriented Software Development (AOSD'06), ACM Press, March 2006, p. 51-62.

[4]

B. 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.

[5]

R. Douence, T. Fritz, N. Loriant, J.-M. Menaud, M. Ségura-Devillechaise, M. Südholt.
An expressive aspect language for system applications with Arachne, in: Transactions on Aspect-Oriented Software Development, March 2006, p. 174–213, vol. I, extended version of an article presented at AOSD'05.

[6]

R. 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.

[7]

F. 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, to appear.

[8]

R. Pierre, A. Lèbre, M. Christine.
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.

[9]

É. Tanter, J. Fabry, R. Douence, J. Noyé, M. Südholt.
Expressive Scoping of Distributed Aspects, in: AOSD '09: Proceedings of the 8th ACM international conference on Aspect-oriented software development, ACM Press, 2009, p. 27-38.

[10]

É. Tanter, R. Toledo, G. Pothier, J. Noyé.
Flexible Metaprogramming and AOP in Java, in: Science of Computer Programming - Special issue on Experimental Software and Toolkits, 2008, vol. 72, n^o 1-2, p. 22–30
http://dx.doi.org/10.1016/j.scico.2007.10.005.

Publications of the year

Doctoral Dissertations and Habilitation Theses

[11]

H. Arboleda.
FieSta: An approach for Fine-Grained Scope Definition, Configuration and Derivation of Model-Driven Software Product Lines, Universidad de Los Andes at Bogota and Université de Nantes and École des Mines de Nantes, October 2009, Ph. D. Thesis.

[12]

L. D. Benavides Navarro.
Distributed Aspects: better separation of crosscutting concerns in distributed software systems, Université de Nantes and École des Mines de Nantes, January 2009, Ph. D. Thesis.

[13]

S. Djoko Djoko.
Programmation par aspects et préservation de propriétés, Université de Nantes, June 2009, Ph. D. Thesis.

[14]

F. Hermenier.
Gestion dynamique des tâches dans les grappes, une approche à base de machines virtuelles, Université de Nantes, November 2009, Ph. D. Thesis.

[15]

M. Léger.
Fiabilité des Reconfigurations Dynamiques dans les Architectures à Composants, Ecole Nationale Supérieure des Mines de Paris, May 2009, Ph. D. Thesis.

Articles in International Peer-Reviewed Journal

[16]

N. Anquetil, U. Kulesza, R. Mitschke, A. Moreira, J.-C. Royer, A. Rummler, A. Sousa.
A Model-Driven Traceability Framework for Software Product Lines, in: Software and Systems Modeling, 2009.

[17]

P.-C. David, T. Ledoux, M. Léger, T. Coupaye.
FPath and FScript: Language Support for Navigation and Reliable Reconfiguration Fractal Architectures, in: Annals of Telecommunications, edited by Springer-Verlag France, January-February 2009, vol. 64, n^o 1-2, Special issue on Component-based architecture: the Fractal initiative.

[18]

X. Leroy, H. Grall.
Coinductive big-step operational semantics, in: Information and Computation, 2009, vol. 207, p. 284-304.

International Peer-Reviewed Conference/Proceedings

[19]

P. André, N. Anquetil, G. Ardourel, J.-C. Royer, P. Hnetynka, T. Poch, D. Petrascu, V. Petrascu.
JavaCompExt: Extracting Architectural Elements from Java Source Code, in: Proceedings of the 16th Working Conference on Reverse Engineering (WCRE 2009), tool demonstration, Lille, France, October 2009, p. 317-318.

[20]

H. Arboleda, R. Casallas, J.-C. Royer.
Dealing with Fine-Grained Configurations in Model-Driven SPLs, in: Proceedings of the 13th International Software Product Line Conference (SPLC'09), San Francisco, CA, USA, August 2009.

[21]

H. Arboleda, A. Romero, R. Casallas, J.-C. Royer.
Product Derivation in a Model-Driven Software Product Line using Decision Models, in: Proceedings of the 12th Iberoamerican Conference on Requirements Engineering and Software Environments (IDEAS'09), Medellin, Colombia, April 2009, p. 59-72.

[22]

R. Douence, X. Lorca, N. Loriant.
Lazy Composition of Representations in Java, in: Proceedings of the 8th International Conference on Software Composition (SC'09), LNCS, Springer Verlag, July 2009.

[23]

F. Fernandes, R. Passama, J.-C. Royer.
Event Strictness for Components with Complex Bindings, in: ISEC'09: Proceedings of the 2nd conference on India Software Engineering Conference, New York, NY, USA, ACM Press, 2009.

[24]

K. Garcés, F. Jouault, P. Cointe, J. Bézivin.
Managing Model Adaptation by Precise Detection of Metamodel Changes, in: Proc. of ECMDA 2009, Enschede, The Netherlands, Springer, June 2009.

[25]

F. Hermenier, X. Lorca, J.-M. Menaud, G. Muller, J. Lawall.
Entropy: a Consolidation Manager for Clusters, in: VEE '09: Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, New York, NY, USA, ACM, 2009, p. 41–50.

[26]

G. Jérôme, A. Lèbre, V. Geoffroy, M. Christine, G. Pascal, S. L. Scott.
Refinement Proposal of the Goldberg's Theory, in: Proceedings of the International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP'09), Taipei, Taiwan, LNCS, 2009.

[27]

B. Morin, T. Ledoux, M. B. Hassine, F. Chauvel, O. Barais, J.-M. Jézéquel.
Unifying Runtime Adaptation and Design Evolution, in: IEEE 9th International Conference on Computer and Information Technology (CIT'09), Xiamen, China, October 2009.

[28]

S. A. A. Naqvi, R. Chitchyan, S. Zschaler, A. Rashid, M. Südholt.
Cross-Document Dependency Analysis for System-of-System Integration, in: Proceeding of the 15th Monterey Workshop - Foundations of Computer Software, Future Trends and Techniques for Development (Monterey'08), Springer-Verlag, 2010.

[29]

A. Nuñez, J. Noyé, V. Gasiunas.
Declarative Definition of Contexts with Polymorphic Events, in: Proceedings of the International Workshop on Context-Oriented Programming at ECOOP'09 (COP'09), Genova, Italy, ACM Press, 2009.

[30]

R. Pierre, A. Lèbre, M. Christine.
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.

[31]

É. Tanter, J. Fabry, R. Douence, J. Noyé, M. Südholt.
Expressive Scoping of Distributed Aspects, in: AOSD '09: Proceedings of the 8th ACM international conference on Aspect-oriented software development, ACM Press, 2009, p. 27-38.

[32]

H. N. Van, F. D. Tran, J.-M. Menaud.
Autonomic virtual resource management for service hosting platforms, in: Proceedings of the Workshop on Software Engineering Challenges in Cloud Computing, Vancouver, Canada, April 2009, p. 1–8.

[33]

H. N. Van, F. D. Tran, J.-M. Menaud.
SLA-Aware Virtual Resource Management for Cloud Infrastructures, in: Proceedings of the 9th International Conference on Computer and Information Technology, Xiamen, China, IEEE Computer Society, 2009, vol. 1, p. 357-362.

National Peer-Reviewed Conference/Proceedings

[34]

A. Assaf, J. Noyé.
Flexible Pointcut Implementation: An Interpreted Approach, in: Actes des journées Langages et Modèles à Objets, Nancy, France, B. Carré (editor), Cépaduès-Editions, Mars 2009, p. 45-60.

[35]

K. Garcés, F. Jouault, P. Cointe, J. Bézivin.
A Domain Specific Language for Expressing Model Matching, in: Actes de la 5ième édition des Journées sur l'Ingénierie Dirigée par les Modèles (IDM'09), Nancy, France, Hermes, March 2009.

[36]

F. Hermenier, A. Lèbre, J.-M. Menaud.
Changement de contexte pour tâches virtualisées à l'échelle de grappes, in: Proc. of 7ème Conférence Francophone sur les Systèmes d'Exploitation (CFSE07), Toulouse, September 2009.

Scientific Books (or Scientific Book chapters)

[37]

P. Cointe.
Designing Open-Ended Languages: An Historical Perspective, in: New Computational Paradigms for Computer Music, Edition Delatour France / IRCAM Centre Georges Pompidou, 2009, p. 49–64.

Books or Proceedings Editing

[38]

T. Cleenewerck, J. Fabry, A.-F. Lemeur, J. Noyé, É. Tanter (editors)
DSAL '09: Proceedings of the 2009 AOSD workshop on Domain-specific aspect languages, ACM Press, Charlottesville, VA, USA, 2009.

[39]

M. Südholt (editor)
Proceedings of the 8th Int. Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009, ACM, March 2009.

Internal Reports

[40]

F. Hermenier, A. Lèbre, J.-M. Menaud.
Cluster-Wide Context Switch of Virtualized Jobs, INRIA, 2009, n^o RR-6929, Research Report.

[41]

G. Jérôme, A. Lèbre, M. Christine.
Saline: Improving Best-Effort Job Management in Grids, INRIA, 2009, n^o RR-7055, Research Report.

References in notes

[42]

M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors)
Aspect-Oriented Software Development, Addison-Wesley Professional, September 2004.

[43]

C. 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.

[44]

R. Allen, D. Garlan.
A Formal Basis for Architectural Connection, in: ACM Transactions on Software Engineering and Methodology, July 1997, vol. 6, n^o 3, p. 213–49.

[45]

J. H. Andrews.
Process-Algebraic Foundations of Aspect-Oriented Programming, in: Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, LNCS, 2001, vol. 2192, p. 187–209.

[46]

L. 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.

[47]

G. 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.

[48]

A. Braccialia, A. Brogi, C. Canal.
A formal approach to component adaptation, in: Journal of Systems and Software, 2005.

[49]

E. M. Clarke, O. Grumberg, D. A. Peled.
Model Checking, The MIT Press, Cambridge, Massachusetts, 1999.

[50]

M. Cole.
Algorithmic Skeletons: Structured Management of Parallel Computation, MIT Press, 1989.

[51]

A. 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.

[52]

L. de Alfaro, T. A. Henzinger.
Interface Automata, in: Proceedings of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering (ESEC/FSE-01), New York, V. Gruhn (editor), SOFTWARE ENGINEERING NOTES, ACM Press, September  10–14 2001, vol. 26, 5, p. 109–120.

[53]

G. 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.

[54]

F. 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, p. 80-86.

[55]

E. 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.

[56]

R. 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), LLNCS, Springer-Verlag, October 2002, vol. 2487, p. 173–188
ftp://ftp.inria.fr/INRIA/publication/publi-pdf/RR/RR-4435.pdf, preprint version is ftp://ftp.inria.fr/INRIA/publication/publi-pdf/RR/RR-4435.pdf.

[57]

R. 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.

[58]

R. 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, LNCS, Springer-Verlag, 2001, vol. 2192, p. 170–186.

[59]

R. 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.

[60]

P. T. Eugster, P. A. Felber, R. Guerraoui, A.-M. Kermarrec.
The many faces of publish/subscribe, in: ACM Computing Surveys, June 2003, vol. 35, n^o 2, p. 114–131
http://doi.acm.org/10.1145/857076.857078.

[61]

H. 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.

[62]

A. Fuggetta, G. P. Picco, G. Vigna.
Understanding Code Mobility, in: IEEE Transactions on Software Engineering, May 1998, vol. 24, n^o 5, p. 342–361.

[63]

E. Gamma, R. Helm, R. Johnson, J. Vlissides.
Design Patterns: Elements of Reusable Object-Oriented Software, Addison Wesley, Massachusetts, 1994.

[64]

H. Grall.
Deux critères de sécurité pour l'exécution de code mobile, École nationale des ponts et chaussées, CERMICS (ENPC-INRIA), 2003, Ph. D. Thesis.

[65]

G. 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, p. 327–353
http://www.eclipse.org/aspectj/, AspectJ web site: http://aspectj.org.

[66]

G. 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.

[67]

G. Kiczales, J. des Rivieres, Daniel G. Bobrow.
The Art of the Meta-Object Protocol, MIT Press, Cambridge (MA), USA, 1991.

[68]

J. 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), LNCS (Lecture Notes in Computer Science), Springer-Verlag, 2002.

[69]

T. 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.

[70]

X. Leroy.
Coinductive Big-Step Operational Semantics, in: ESOP, P. Sestoft (editor), Lecture Notes in Computer Science, Springer, 2006, vol. 3924, p. 54-68.

[71]

X. Leroy.
Manifest types, modules, and separate compilation, in: Manifest types, modules, and separate compilation, Portland, Oregon, USA, ACM Press, January 1994, p. 109-121.

[72]

M. 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.

[73]

N. 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, p. 70-93.

[74]

N. R. Mehta, N. Medvidovic, S. Phadke.
Towards a Taxonomy of Software Connectors, in: Proceedings of ICSE, Limerick, Ireland, jun 2000, p. 178–187.

[75]

M. 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, p. 316-344.

[76]

L. 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.

[77]

R. T. Monroe, A. Kompanek, R. Melton, D. Garlan.
Architectural Styles, Design Patterns, and Objects, in: IEEE Software, January 1997, vol. 14, n^o 1, p. 43-52.

[78]

D. 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.

[79]

D. H. Nguyen, M. Südholt.
Property-preserving evolution of components using VPA-based aspects, in: Proceedings of the 9th International Symposium on Distributed Objects and Applications (DOA'07)., Springer-Verlag, November 2007.

[80]

O. Nierstrasz.
Regular Types for Active Objects, in: Object-Oriented Software Composition, O. Nierstrasz, D. Tsichritzis (editors), Prentice Hall, 1995, chap. 4, p. 99–121.

[81]

M. 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.

[82]

D. L. Parnas.
On the criteria for decomposing systems into modules, in: Communications of the ACM, December 1972, vol. 15, n^o 12, p. 1053-1058.

[83]

F. Plasil, S. Visnovsky.
Behavior Protocols for Software Components, in: Transactions on Software Engineering, January 2002, vol. 28, n^o 9.

[84]

F. Puntigam.
Coordination Requirements Expressed in Types for Active Objects, in: ECOOP'97—Object-Oriented Programming, M. Akşit, S. Matsuoka (editors), LNCS, Springer Verlag, 1997, vol. 1241, p. 367–388.

[85]

M. Shaw, D. Garlan.
Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996.

[86]

B. C. Smith.
Reflection and Semantics in LISP, Xerox Palto Alto Research Center, Palo Alto, 1984, n^o P84-00030, Technical report.

[87]

S. 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.

[88]

J. van den Bos, C. Laffra.
PROCOL: A Parallel Object Language with Protocols, in: OOPSLA'89 Conference Proceedings: Object-Oriented Programming: Systems, Languages, and Applications, N. Meyrowitz (editor), ACM Press, 1989, p. 95–102.

[89]

A. van Deursen, P. Klint, J. Visser.
Domain-Specific Languages: An Annotated Bibliography, in: ACM SIGPLAN Notices, June 2000, vol. 35, n^o 6, p. 26-36.

[90]

R. 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.

[91]

M. 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, p. 890–910.

[92]

D. 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, p. 292–333.