1. Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, and Mario Südholt. A Message-Passing Model for Service Oriented Computing. In Karl-Heinz Krempels and José Cordeiro, editors, WEBIST, 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, February 2012. SciTePress Digital Library. Keyword(s): Service-Oriented Computing, Message-Passing Model, Type Checking, Security.



2. Frederico Alvares De Oliveira Jr., Remi Sharrock, and Thomas 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.



3. Omar Chebaro, Nikolai Kosmatov, Nicky Williams, Bernard Botella, and Muriel Roger. A lesson on structural testing with PathCrawler-online.com. In 6th International Conference on Tests & Proofs, Prague, Czech Republic, pages 0-0, June 2012. Note: 6 pages.



4. Julien Cohen, Rémi Douence, and Akram Ajouli. Invertible Program Restructurings for Continuing Modular Maintenance. In Rudolf Ferenc Tom Mens, Anthony Cleve, editor, 16th European Conference on Software Maintenance and Reengineering (CSMR 2012), Szeged, Hungary, pages 347--352, March 2012. IEEE. Note: 6 pages, Early Research Achievements Track. Keyword(s): modular maintenance, restructuring, invertible program transformations, tyranny of the dominant decomposition.



5. Ismael Figueroa, Éric Tanter, and Nicolas Tabareau. A Practical Monadic Aspect Weaver. In Foundations of Aspect-Oriented Languages, Potsdam, Germany, March 2012.



6. Guilhem Jaber, Nicolas Tabareau, and Matthieu Sozeau. Extending Type Theory with Forcing. In LICS 2012 : Logic In Computer Science, Dubrovnik, Croatia, pages _, June 2012.



7. Yousri Kouki and Thomas Ledoux. CSLA : a Language for Improving Cloud SLA Management. In International Conference on Cloud Computing and Services Science, CLOSER 2012., Porto, Portugal, pages 0-0, April 2012. Keyword(s): Cloud computing, elasticity, Quality-of-Service (QoS), Service Level Agreement (SLA), SLA Violations..



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



9. Éric Tanter, Nicolas Tabareau, and Rémi Douence. Taming Aspects with Membranes. In Foundations of Aspect-Oriented Languages, Potsdam, Germany, March 2012.

1. Akram Ajouli, Julien Cohen, and Rémi Douence. Program Transformation based Views for Modular Maintenance (poster). In Olivier Caron Yves Ledru, Anne-Françoise Le Meur, editor, Troisièmes journées nationales du GDR GPL, Lille, France, pages 218--219, June 2011. Note: Poster.



2. Frederico Alvares De Oliveira Jr. and Thomas Ledoux. Self-management of applications QoS for energy optimization in datacenters. In 2nd International Workshop on Green Computing Middleware (GCM'2011), Portugal, pages 0-0, 2011.



3. Hugo Arboleda and Jean-Claude Royer. Component types qualification in Java legacy code driven by communication integrity rules. In ACM, editor, ISEC 2011 : India Software Engineering Conference, Thiruvananthapuram, Kerala, India, pages 155--164, February 2011. Keyword(s): architecture - assessing quality - communication integrity property - component based programming - component type - data type.



4. Vaidas Gasiunas, Lucas Satabin, Mira Mezini, Angel Nú\ñez, and Jacques Noyé. EScala: Modular Event-Driven Object Interactions in Scala. In 10th International Conference on Aspect-Oriented Software Development (AOSD 2011), Porto de Galinhas, Brazil, March 2011. ACM Press.



5. Abdelhakim Hannousse, Rémi Douence, and Gilles Ardourel. Composable Controllers in Fractal: Implementation and Interference Analysis. In the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'11), Oulu, Finland, pages 99, September 2011. Keyword(s): Fractal component model, controllers, composition, model checking;.



6. Abdelhakim Hannousse, Rémi Douence, and Gilles 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, pages 18, October 2011. Keyword(s): Aspect interference analysis, Model checking, Aspect composition patterns.



7. Guilhem Jaber and Nicolas 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. Keyword(s): Logical Relation, Biorthogonality, Low Level Language, Polymorphism.



8. Yousri Kouki, Thomas Ledoux, and Remi Sharrock. Cross-layer SLA selection for Cloud services. In International Symposium on Network Cloud Computing and Applications, NCCA 2011., Toulouse, France, pages 143-147, November 2011. Keyword(s): Cloud Computing, Quality of service (QoS), Service Level Agreement (SLA), Cloud Service Selection, Multiobjective optimization, Constraint Programming (CP).



9. Christine Louberry, Philippe Roose, and Marc Dalmau. Kalimucho : Plateforme d'Adaptation des Applications Mobiles. In NOTERE 201- Conférence Internationale sur les NOuvelles Technologies de la REpartition, Paris, France, pages 83-90, May 2011. Keyword(s): architecture logicielle, gestion de la qualité de service, sensibilité au contexte, déploiement contextuel, adaptation dynamique, composant logiciel.



10. Christine Louberry, Philippe Roose, and Marc Dalmau. Kalimucho: Contextual Deployment for QoS Management. In Distributed Applications and Interoperable Systems, volume 6723 of Lecture Notes in Computer Science, Reykjavik, Iceland, pages pp.43-56, June 2011. Springer. Keyword(s): Software architecture, dynamic adaptation, QoS management, context awareness, contextual deployment heuristic, sunspot platform.



11. Adrien Lèbre, Paolo Anedda, Massimo Gaggero, and Flavien 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.



12. Ismael Mejia and Mario Südholt. Towards a robust model for distributed aspects. In ACM Digital Library, editor, 1st Workshop In Modularity in Systems Software (MISS), ISBN: 978-1-4503-0647-8, Pernambuco, Brazil, March 2011. ACM New York, NY, USA. Keyword(s): Actor model, Aspect oriented programming, Distributed as- pects, Distributed systems, Invasive software composition.



13. Ismael Mejia, Mario Südholt, and Luis Daniel Benavides Navarro. Invasive composition for the evolution of a health information system. In ACM Digital Library, editor, 2nd International Workshop on Variability & Composition (VariComp 2011), ISBN: 978-1-4503-0646-1, Pernambuco, Brazil, March 2011. ACM New York, NY, USA. Note: ACM 978-1-4503-0646-1/11/03. Keyword(s): Aspect-oriented programming, Distributed systems, Health information systems, Invasive software composition.



14. Flavien Quesnel and Adrien Lèbre. Cooperative Dynamic Scheduling of Virtual Machines in Distributed Systems. In 6th Workshop on Virtualization in High-Performance Cloud Computing, volume 7156 of Lecture Notes in Computer Science, Bordeaux, France, pages 457-466, August 2011. Springer-Verlag. Keyword(s): virtualization, cloud computing, scheduling, cooperative system, autonomic system, event-based system, quality of service, scalability, reactivity.



15. Flavien Quesnel and Adrien 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, pages 495, February 2011. Keyword(s): virtualization, distributed operating systems, cluster computing, cloud computing, fault-tolerance, scheduling, load balancing, task migration.



16. Muhammed Sabir Idrees, Gabriel Serme, Yves Roudier, Anderson Santana De Oliveira, Hervé Grall, and Mario Südholt. Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures. In 4th International Workshop on Autonomous and Spontaneous Security, Leuven, Belgium, September 2011.



17. Nicolas 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, pages 13--17, 2011. ACM. Keyword(s): 2-category, AOP.

1. Frederico Alvares De Oliveira Jr. and Thomas Ledoux. Self-optimisation of the energy footprint in Service-Oriented Architectures. In 1st International Workshop on Green Computing Middleware, India, pages 4-9, 2010. Keyword(s): Energy efficiency, Service-Oriented Architectures, Quality of Service.



2. Hugo Arboleda, Andres Romero, Rubby Casallas, and Jean-Claude Royer. Fiesta Toolkit: Model-Driven Software Product Lines in Practice. In Brazilian Conference on Software: Theory and Practice, Brazil, pages 61--66, September 2010.



3. Hugo Arboleda, Victor Vargas, Francisco Diaz Juan, and Jean-Claude Royer. Automated Reasoning for Derivation of Model-Driven SPLs. In Lancaster University, editor, 2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) at SPLC 2010, volume Volume 2, Korea, Republic Of, pages 181--188, September 2010.



4. Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, and Thierry Petit. La contrainte Increasing NValue. In JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Caen, France, pages 61-70, June 2010.



5. Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, and Thierry Petit. The increasing nvalue constraint. In 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'10), Italy, pages 20-35, 2010.



6. Bruno De Fraine, Erik Ernst, and Mario Südholt. Essential AOP: The A Calculus. In Theo De Hondt, editor, European Conference on Object-Oriented Programming, LNCS, Maribor, Slovenia, pages 000, June 2010. Springer Verlag.



7. Jérôme Gallard, Adrien Lèbre, and Christine Morin. Saline: Improving Best-Effort Job Management in Grids. In PDP 2010: The 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing -- Special Session: Virtualization in Distributed Systems, Pisa, Italy, 2010.



8. Jérôme Gallard, Christine Morin, Geoffroy Vallée, Thomas Naughton, J., Stephen Scott, L., and Adrien Lèbre. Architecture for the Next Generation System Management Tools.. In First International Conference on Utility and Cloud Computing (UCC 2010), Chennai, India, December 2010.



9. Kelly Garcés, Wolfgang Kling, and Frédéric Jouault. Automatizing the Evaluation of Model Matching Systems. In Workshop on matching and meaning 2010, Leicester, United Kingdom, pages To appear, 2010.



10. Abdelhakim Hannousse, Gilles Ardourel, and Rémi Douence. Views for Aspectualizing Component Models. In the 9th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2010), St-Malo, France, pages acp4is10, March 2010. Keyword(s): Components, Aspects, Views conflicts.



11. Fabien Hermenier, Adrien Lèbre, and Jean-Marc Menaud. Cluster-Wide Context Switch of Virtualized Jobs. In VTDC10 - The 4th International Workshop on Virtualization Technologies in Distributed Computing, Chicago, United States, June 2010.



12. Guilhem Jaber and Nicolas Tabareau. Krivine realizability for compiler correctness. In Workshop LOLA 2010, Syntax and Semantics of Low Level Languages, Edinburgh, United Kingdom, July 2010. Keyword(s): compiler correctness, realizability, secd.



13. Gallard Jérôme, Adrien Lèbre, and Morin Christine. Saline: Improving Best-Effort Job Management in Grids. In 18th IEuromicro International Conference on Parallel, Distributed and Network-Based Computing, special session ''virtualization in Distributed Systems''(PDP 2010), Pisa, Italy, February 2010. Note: (Short paper of RR-7055.



14. Mayleen Lacouture, Hervé Grall, and Thomas Ledoux. CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources. In M.R. Mousavi and G. Salaün, editors, International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), PARIS, France, September 2010.



15. Marc Léger, Thomas Ledoux, and Thierry Coupaye. Reliable Dynamic Reconfiguration in a Reflective Component Model. In Springer Berlin / Heidelberg, editor, CBSE 2010, LNCS, Czech Republic, pages 74-92, June 2010.



16. Ismael Mejia and Mario Südholt. Structured and flexible gray-box composition: Application to task rescheduling for grid benchmarking. In IADIS International Conference APPLIED COMPUTING 2010, Timisoara, Romania, 2010. International Association for Development of the Information Society and Politehnica University of Timisoara, Romania. Keyword(s): Software Composition, Software Engineering, Distributed Software.



17. Jean-Marc Menaud, Adrien Lèbre, Thomas Ledoux, Jacques Noyé, Pierre Cointe, Rémi Douence, and Mario Südholt. Vers une réification de l'énergie dans le domaine du logiciel. In Journées du GDR Génie de la Programmation et du Logiciel, France, pages 000, March 2010.



18. Jean-Marc Menaud, Hien Nguyen Van, and Frédéric Dang Tran. Performance and Power Management for Cloud Infrastructures. In Cloud 2010, Miami - Florida, United States, pages 329-336, July 2010.



19. Dale Miller, Arnaud Carayol, Panos Rondogiannis, Lars Birkedal, Marek Czarnecki, Hervé Grall, Paul Levy, Matteo Mio, Keiko Nakata, Andrei Romashchenko, Jan Schwinghammer, Kristian Stovring, Tarmo Uustalu, and Pawel Waszkiewicz. FICS 2010. In Luigi Santocanale, editor, 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, pages 89, August 2010. Keyword(s): Fixed points, mu-calculi;.



20. Syed Asad Ali Naqvi, Ruzanna Chitchyan, Steffen Zschaler, Awais Rashid, and Mario 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), 2010. Springer-Verlag. [Abstract]



21. Asad Naqvi, Syed Ali, Ruzanna Chitchyan, Steffen Zschaler, Awais Rashid, and Mario Südholt. Cross-Document Dependency Analysis for System-of-System Integration. In 15th Monterey Workshop - Foundations of Computer Software, Future Trends and Techniques for Development (Monterey'08), France, 2010. Springer Verlag.



22. Rémy Pottier, Marc Léger, and Jean-Marc Menaud. A Reconfiguration Language for Virtualized Grid Infrastructures. In 10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS), volume 6115, France, pages VMScript, 2010.



23. Louis Rose, M., Markus Herrmannsdoerfer, James Williams, R., Dimitrios Kolovos, S., Kelly Garcés, Richard Paige, F., and Fiona Polack, A.C.. A Comparison of Model Migration Tools. In Proc. of Models 2010 Foundation Track, Norway, pages To appear, October 2010.



24. Nicolas Tabareau. A theory of distributed aspects. In ACM, editor, 9th International Conference on Aspect-Oriented Software Development (AOSD '10), Rennes, Saint-Malo, France, pages 133--144, 2010.

1. Pascal André, Nicolas Anquetil, Gilles Ardourel, Jean-Claude Royer, Petr Hnetynka, Tomas Poch, Dragos Petrascu, and Vladiela 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, pages 317-318, October 2009.



2. Hugo Arboleda, Rubby Casallas, and Jean-Claude 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.



3. Hugo Arboleda, Andres Romero, Rubby Casallas, and Jean-Claude 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, pages 59-72, April 2009. [Abstract]



4. Ali Assaf and Jacques Noyé. Flexible Pointcut Implementation: An Interpreted Approach. In Bernard Carré, editor, Actes des journées Langages et Modèles à Objets, Nancy, France, pages 45-60, Mars 2009. Cépaduès-Editions.



5. Rémi Douence, Xavier Lorca, and Nicolas Loriant. Lazy Composition of Representations in Java. In Proceedings of the 8th International Conference on Software Composition (SC'09), LNCS, July 2009. Springer Verlag.



6. Fabricio Fernandes, Robin Passama, and Jean-Claude 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, 2009. ACM Press.



7. Kelly Garcés, Frédéric Jouault, Pierre Cointe, and Jean 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, March 2009. Hermes.



8. Kelly Garcés, Frédéric Jouault, Pierre Cointe, and Jean Bézivin. Managing Model Adaptation by Precise Detection of Metamodel Changes. In Proc. of ECMDA 2009, Enschede, The Netherlands, June 2009. Springer.



9. Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, and Julia 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, pages 41--50, 2009. ACM.



10. Fabien Hermenier, Adrien Lèbre, and Jean-Marc 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 (CFSE 7), Toulouse, September 2009.



11. Gallard Jérôme, Adrien Lèbre, Vallée Geoffroy, Morin Christine, Gallard Pascal, and Stephen 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, 2009. LNCS.



12. Paul-André Melliès, Nicolas Tabareau, and Christine Tasson. An explicit formula for the free exponential modality of linear logic. In Automata, Languages and Programming 36th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, Rhodes Grèce, pages 247-260, July 2009. Springer.



13. Brice Morin, Thomas Ledoux, Mahmoud Ben Hassine, Frank Chauvel, Olivier Barais, and Jean-Marc 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.



14. Angel Nuñez, Jacques Noyé, and Vaidas 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, 2009. ACM Press.



15. Riteau Pierre, Adrien Lèbre, and Morin 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, 2009. IEEE Computer Society Press.



16. Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, and Mario Südholt. Expressive Scoping of Distributed Aspects. In AOSD '09: Proceedings of the 8th ACM international conference on Aspect-oriented software development, pages 27-38, 2009. ACM Press.



17. Hien Nguyen Van, Frédéric Dang Tran, and Jean-Marc Menaud. Autonomic virtual resource management for service hosting platforms. In Proceedings of the Workshop on Software Engineering Challenges in Cloud Computing, Vancouver, Canada, pages ?, April 2009. [Abstract]

1. Nicolas Anquetil, Birgit Grammel, Ismenia Galvão, Joost Noppen, Safoora Shakil Khan, Hugo Arboleda, Awais Rashid, and Alessandro Garcia. Traceability for Model Driven, Software Product Line Engineering. In ECMDA Traceability Workshop (ECMDA-TW) 2008 Proceedings, pages 77--86, June 2008.



2. Hugo Arboleda, Ruby Casallas, and Jean-Claude Royer. Using Transformation-Aspects in Model-Driven Software Product Lines. In Proceedings of the 3th International Workshop on Aspects, Dependencies, and Interactions at 22nd European Conference on Object-Oriented Programming (ECOOP'07), Paphos, Cyprus, July 2008. Keyword(s): aod, constraints, md-spl, variability. [Abstract]



3. Ali Assaf and Jacques Noyé. Dynamic AspectJ. In DLS'08: Proceedings of the 2008 symposium on Dynamic Languages, Paphos, Cyprus, July 2008. ACM Press.



4. Fabien Baligand, Nicolas Rivierre, and Thomas Ledoux. QoS Policies for Business Processes in Service Oriented Architectures. In Proceedings of the 6th International Conference on Service Oriented Computing (ICSOC), Sydney, Australia, December 2008. Springer-Verlag. Note: To Appear.



5. Luis Daniel Benavides Navarro, Rémi Douence, Fabien Hermenier, Jean-Marc Menaud, and Mario Südholt. Aspect-based patterns for grid programming. In Proc. of the 20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'08), October 2008. IEEE Press.



6. Luis Daniel Benavides Navarro, Rémi Douence, Angel Nuñez, and Mario Südholt. LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns. In Proc. of the 3rd International Workshop on Aspects, Dependencies, and Interactions (ADI'08), July 2008.



7. Luis Daniel Benavides Navarro, Rémi Douence, and Mario Südholt. Debugging and testing middleware with aspect-based control-flow and causal patterns. In In proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 2008. Springer-Verlag.



8. Thomas Cleenewerck, Jacques Noyé, Johan Fabry, Anne-Françoise Le Meur, and Éric Tanter. Summary of the third workshop on Domain-Specific Aspect Languages. In , pages 1--5, 2008. ACM Press.



9. Pierre-Charles David, Marc Léger, Hervé Grall, Thomas Ledoux, and Thierry Coupaye. A Multi-Stage Approach for Reliable Dynamic Reconfigurations of Component-Based Systems. In Proceedings of the 8th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'08), LNCS, Oslo, Norway, June 2008. Springer Verlag.



10. Simplice Djoko Djoko, Rémi Douence, and Pascal Fradet. Aspects Preserving Properties. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'08), San Francisco, CA, USA, pages 135--145, January 2008. ACM Press.



11. Simplice Djoko Djoko, Rémi Douence, and Pascal Fradet. Specialized Aspect Languages Preserving Classes of Properties. In SEFM'08, pages 227--236, November 2008. IEEE Computer Society Press.



12. Bruno De Fraine, Mario Südholt, and Vivian Jonckers. StrongAspectJ: Flexible and Safe Pointcut/Advice Bindings. In Mira Mezini, editor, Proceedings of the 7th ACM Int. Conf. on Aspect-Oriented Software Development (AOSD'08), March 2008. ACM Press. Note: Distinguished paper award.



13. Fabien Hermenier, Xavier Lorca, H Cambazard, Jean-Marc Menaud, and Narendra Jussien. Reconfiguration automatique du placement dans les grilles de calculs dirigée par des objectifs. In Proc. of 6ème Conférence Francophone sur les Systèmes d'Exploitation (CFSE06), Fribourg, Swiss, February 2008.



14. Nagapraveen Jayaprakash, Christine Collet, Thierry Coupaye, and Pierre-Charles David. Flexible Reactive Capabilities in Component-Based Autonomic Systems. In 5th IEEE Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2008), Belfast, Northern Ireland, March 2008. IEEE.



15. Angel Nuñez and Jacques Noyé. An Event-Based Coordination Model for Context-Aware Applications. In Doug Lea and Gianluigi Zavattaro, editors, 10th International Conference on Coordination Models and Languages (COORDINATION 2008), volume 5052 of Lecture Notes in Computer Science, Oslo, Norway, pages 232--248, June 2008. Springer-Verlag.



16. Awais Rashid, Ana Moreira, Joao Araujo, Mira Mezini, Lidia Fuentes, Jean-Claude Royer, Andreas Rummler, Christoph Pohl, and Christa Schwanninger. AMPLE : Supporting Product Line Engineering through Synthesis of Aspect-Oriented and Model-Driven Development. In MODELS Research Projects Symposium, Toulouse, France, pages 34-40, October 2008. Note: Http://www.modelsconference.org/.



17. André Sousa, Uirá Kulesza, Andreas Rummler, Nicolas Anquetil, Ralf Mitschke, Ana Moreira, Vasco Amaral, and João Araujo. A Model-Driven Traceability Framework to Software Product Line Development. In ECMDA Traceability Workshop (ECMDA-TW) 2008 Proceedings, pages 97--109, June 2008.

1. Hugo Arboleda, Rubby Casallas, and Jean-Claude Royer. Comparing two Implementations of an Approach for Managing Variability in Product Line Construction Using the GMF and GME Frameworks. In Proceedings of the 5th Nordic Workshop on Model Driven Engineering, pages 67 -- 82, August 2007.



2. Hugo Arboleda, Rubby Casallas, and Jean-Claude Royer. Dealing with Constraints during a Feature Configuration Process in a Model-Driven Software Product Line (DSM'07). In J. Sprinkle, J. Gray, M. Rossi, and J. P. Tolvanen, editors, Proceedings of The 7th OOPSLA Workshop on Domain-Specific Modeling, Montreal, Canada, pages 178--183, October 2007.



3. Hugo Arboleda, Rubby Casallas, and Jean-Claude Royer. Implementing an MDA Approach for Managing Variability in Product Line Construction Using the GMF and GME Frameworks. In M. Staron # and # L. Kuzniarz, editors, Proceedings of the 5th Nordic Workshop on Model Driven Software Engineering (NW-MoDE07), Ronneby, Sweden, pages 67--82, August 2007.



4. Fabien Baligand, Thomas Ledoux, and Pierre Combes. Une Approche pour Garantir la Qualité de Service dans les Orchestrations de Services Web. In 7ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition (NOTERE 2007), June 2007.



5. Fabien Baligand, Nicolas Rivierre, and Thomas Ledoux. A Declarative Approach for QoS-Aware Web Service Compositions. In Proceedings of the 5th International Conference on Service Oriented Computing (ICSOC), September 2007. Springer-Verlag.



6. Luis Daniel Benavides Navarro, Christa Schwanninger, Robert Sobotzik, and Mario Südholt. ATOLL: Aspect-Oriented Toll System. In Proc. 6th Int. Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS'06) at AOSD, New York, NY, USA, 2007. ACM Digital Library.



7. Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, and Jean-Marc Menaud. Invasive patterns for distributed programs. In Proc. of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA'07), LNCS, November 2007. Springer Verlag.



8. Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, and Jean-Marc Menaud. Invasive patterns: aspect-based adaptation of distributed applications. In 4th International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT´07) at the 21st European Conference on Object-Oriented Programming ECOOP'07, July 2007.



9. L. Burgy, L. Réveillère, Julia Lawall, and Gilles Muller. A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. In 26th IEEE International Symposium on Reliable Distributed Systems, October 2007. Keyword(s): DSL, Zebu.



10. Pierre Cointe. On the Evolution of Programming Languages. In Andrew Gerzo, editor, Les paradigmes informatiques appliqués à la musique (Festival Agora), IRCAM, Paris - France, June 2007. Note: Conférence invitée.



11. Pierre Cointe. Quelques réflexions sur la programmation post objet. In Mohammed Erradi, editor, NOuvelles TEchnologies de la RÉpartition (NOTERE), Marrakech, Maroc, pages 391, June 2007. Note: Conférence invitée.



12. Fabricio Fernandes and Jean-Claude Royer. Components with Symbolic Transition Systems: A Java Implementation of Rendez-Vous. In IOS Press, editor, Proceedings of the Communicating Process Architecture Conference 2007, volume 65 of Concurrent Systems Engineering, pages 89-107, 2007.



13. Nicolas Loriant and Jean-Marc Menaud. Generalized Dynamic Probes for the Linux Kernel and Applications with Arachne. In Proceedings of the 2007 IADIS Applied Computing International Conference (AC'O7), Salamanca, Spain, February 2007.



14. Marc Léger, Thomas Ledoux, and and Thierry Coupaye. Reliable dynamic reconfigurations in the Fractal component model. In Proc. 6th Workshop on Adaptive and Reflective Middleware (ARM2007) at Middleware, November 2007. ACM Digital Library.



15. Dong Ha Nguyen and Mario 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)., November 2007. Springer-Verlag.



16. Dong Ha Nguyen and Mario Südholt. Property-preserving evolution of components using VPA-based aspects. In 4th ECOOP'2007 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE), 2007.



17. Angel Nuñez and Jacques Noyé. A Domain-Specific Language for Coordinating Concurrent Aspects in Java. In Rémi Douence and Pascal Fradet, editors, 3ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2007), Toulouse, France, March 2007.



18. Angel Nuñez and Jacques Noyé. A Seamless Extension of Components with Aspects using Protocols. In Ralf Reussner, Clemens Szyperski, and Wolfgang Weck, editors, WCOP 2007 - Components beyond Reuse - 12th International ECOOP Workshop on Component-Oriented Programming, Berlin, Germany, July 2007.



19. Yoann Padioleau, Julia Lawall, and Gilles Muller. Semantic Patches, Documenting and Automating Collateral Evolutions in Linux Device Drivers. In Ottawa Linux Symposium (OLS 2007), June 2007.



20. Juraj Polakovic, Sébastien Mazaré, Jean-Bernard Stefani, and Pierre-Charles David. Exprience with Implementing safe reconfigurations in component-based embedded systems. In The 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'2007), Lecture Notes in Computer Science, Boston, MA, USA, July 2007. acm, Springer-Verlag.



21. Henrik Stuart, René Rydhof Hansen, Julia Lawall, Jesper Andersen, Yoann Padioleau, and Gilles Muller. Towards Easing the Diagnosis of Bugs in OS Code. In 4th Workshop on Programming Languages and Operating Systems (PLOS 2007), October 2007.



22. Richard Urunuela, Gilles Muller, and Julia Lawall. Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. In Luca Benini, Naehyuck Chang, Ulrich Kremer, and Christian W. Probst, editors, Power-aware Computing Systems, number 07041 of Dagstuhl Seminar Proceedings, 2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. Note: Http://drops.dagstuhl.de/opus/volltexte/2007/1108.

1. Luis Daniel Benavides Navarro, Mario Südholt, Wim Vanderperren, Bruno De Fraine, and Davy Suvée. Explicitly distributed AOP using AWED. In Aspect-Oriented Software Development (AOSD), pages 51-62, March 2006. ACM Press.



2. Luis Daniel Benavides Navarro, Mario Südholt, Wim Vanderperren, and Bart Verheecke. Modularization of distributed web services using Aspects With Explicit Distribution (AWED). In Proceedings of the 8th International Symposium on Distributed Objects and Applications (DOA'06)., London, UK, November 2006. Springer-Verlag.



3. Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, and Gilles Muller. Vérification automatique de propriétés d'ordonnanceurs Bossa. In AFADL, ENST Paris, pages 95-109, 15-17 mars 2006. ENST.



4. Pierre-Charles David and Thomas Ledoux. An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components. In Welf Löwe and Mario Südholt, editors, International Workshop on Software Composition (SC), volume 4089 of Lecture Notes in Computer Science, Vienna, Austria, pages 82-97, March 2006. ???. Note: 5th International Symposium, SC 2006. Keyword(s): fractal, components, aop, aosd, dynamic adaptation, dynamic weaving, dsl, eca. [Abstract]



5. Pierre-Charles David and Thomas Ledoux. Safe Dynamic Reconfigurations of Fractal Architectures with FScript. In Proceeding of Fractal CBSE Workshop, ECOOP'06, Nantes, France, July 2006.



6. Simon Denier and Pierre Cointe. Understanding Design Patterns Density with Aspects. a Case Study in JHotDraw using AspectJ. In Welf Löwe and Mario Südholt, editors, International Workshop on Software Composition (SC), volume 4089 of Lecture Notes in Computer Science, Vienna, Austria, pages 243-258, March 2006. Springer-Verlag. Note: 5th International Symposium, SC 2006.



7. Rémi Douence. Relational Aspects for Context passing Beyond Stack Inspection. In International Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT'06), March 2006.



8. Rémi Douence, Didier Le Botlan, Jacques Noyé, and Mario Südholt. Concurrent Aspects. In Generative Programming and Component Engineering (GPCE), October 2006. ACM Press.



9. Rémi Douence, Didier Le Botlan, Jacques Noyé, and Mario Südholt. Towards a model of concurrent AOP. In International Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT'06), March 2006.



10. Fabien Hermenier, Nicolas Loriant, and Jean-Marc Menaud. Power Management in Grid Computing with Xen. In Proceedings of 2006 on XEN in HPC Cluster and Grid Computing Environments (XHPC06), number 4331 of Lecture Notes in Computer Science, Sorento, Italy, pages 407-416, December 2006. Springer-Verlag.



11. Nicolas Loriant and Jean-Marc Menaud. The Case for Distributed Execution Replay using a Virtual Machine. In Proceedings of 2006 WETICE workshop on Emerging Technologies for Grid Computing (ETNGRID06), Manchester, England, June 2006.



12. Nicolas Loriant, Marc Ségura-Devillechaise, Thomas Fritz, and Jean-Marc Menaud. A Reflexive Extension to Arachne's Aspect Language. In Proceedings of 2006 AOSD workshop on Open and Dynamic Aspect Languages (ODAL'O6), Bonn, Germany, March 2006.



13. Marc Léger, T. Coupaye, and Thomas Ledoux. Contrôle dynamique de l'intégrité des communications dans les architectures à composants. In R. Rousseau, C. Urtado, and S. Vauttier, editors, Langages et Modèles à Objets, pages 21-36, March 2006. Hermès-Lavoisier.



14. Dong Ha Nguyen and Mario Südholt. VPA-based aspects: better support for AOP over protocols. In 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), September 2006. IEEE Computer Society Press.



15. Yoann Padioleau, Julia Lawall, and Gilles Muller. SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. In International ERCIM Workshop on Software Evolution, Lille, France, April 2006.



16. Yoann Padioleau, Julia Lawall, and Gilles Muller. Understanding Collateral Evolution in Linux Device Drivers. In The first ACM SIGOPS EuroSys conference (EuroSys), Leuven, Belgium, pages 59-71, April 2006. Note: Previous version also available as INRIA Research Report RR-5769.



17. Pascal Poizat, Jean-Claude Royer, and Gwen Salaün. Bounded Analysis and Decomposition for Behavioural Description of Components. In Springer-Verlag, editor, Proceedings of FMOODS, volume 4037 of Lecture Notes in Computer Science, pages 33-47, 2006.



18. Richard Urunuela. Adaptation continue pour les bornes d'information multimédia et gestion d'énergie. In Perpi'2006 - Conférences conjointes RenPar'17 / SympA'2006 / CFSE'5 / JC'2006, Canet en Roussillon, pages 280-286, October 2006. [Abstract]



19. Richard Urunuela, Julia Lawall, and Gilles Muller. Energy Adaptation for Multimedia Information Kiosks. In S.L. Min and W. Yi, editors, International Conference on Embedded Software, EMSOFT'06, Seoul, South Korea, October 2006. ACM Press. [Abstract]

1. Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, and Gilles Muller. Applying the B formal method to the Bossa domain-specific language. In The 17th Nordic Workshop on Programming Theory (NWPT'05), Copenhagen, Denmark, pages 35-38, October 2005.



2. Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, and Gilles Muller. Formal Methods Meet Domain Specific Languages. In Proceedings of the 5th International Conference on Integrated Formal Methods, Eindhoven, The Netherlands, pages 187-206, 2005.



3. Pierre Cointe. Towards Generative Programming. In Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, and Olivier Michel, editors, Unconventional Programming Paradigms, UPP 2004, volume 3566 of Lecture Notes in Computer Science, Mont St Michel, France, pages 302-312, September 2005. Springer-Verlag.



4. Pierre Cointe, Hervé Albin-Amiot, and Simon Denier. From (meta) objects to aspects : from Java to AspectJ. In F.S. de Boer, editor, Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, volume 3657 of Lecture Notes in Computer Science, Leiden, The Netherlands, pages 70-94, November 2005. Springer-Verlag.



5. Charles Consel, Fabien Latry, Laurent Réveillère, and Pierre Cointe. A Generative Programming Approach to Developing DSL Compilers. In Robert Glück and Michael Lowry, editors, Generative Programming and Component Engineering (GPCE), volume 3676 of Lecture Notes in Computer Science, Tallinn, Estonia, pages 29-46, sep/oct 2005. Springer-Verlag.



6. Pierre-Charles David and Thomas Ledoux. WildCAT: a generic framework for context-aware applications. In Proceeding of MPAC'05, the 3rd International Workshop on Middleware for Pervasive and Ad-Hoc Computing, Grenoble, France, November 2005. ACM Press. Keyword(s): self-adaptive applications, context-awareness, framework. [Abstract]



7. Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, and Mario Südholt. An expressive aspect language for system applications with Arachne. In Aspect-Oriented Software Development (AOSD), pages 27-28, March 2005. ACM Press.



8. Rémi Douence and Jacques Noyé. Towards a Concurrent Model of Event-based Aspect-Oriented Programming. In European Interactive Workshop on Aspects in Software (EIWAS 2005), Brussels, Belgium, September 2005.



9. Thomas Fritz, Marc Ségura-Devillechaise, Mario Südholt, Egon Wuchner, and Jean-Marc Menaud. An application of dynamic AOP to medical image generation. In International Workshop on Dynamic Aspects at AOSD (DAW'05), March 2005.



10. Thomas Fritz, Marc Ségura-Devillechaise, Mario Südholt, Egon Wuchner, and Jean-Marc Menaud. Automating adaptive image generation for medical devices using Aspect-Oriented Programming. In Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05), pages 1025-1032, September 2005.



11. Julia Lawall, Hervé Duchesne, Gilles Muller, and Anne-Françoise Le Meur. Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. In Robert Glück and Michael Lowry, editors, Generative Programming and Component Engineering (GPCE), volume 3676 of Lecture Notes in Computer Science, Tallinn, Estonia, pages 78-93, sep/oct 2005. Springer-Verlag.



12. Julia Lawall, Gilles Muller, and Richard Urunuela. Tarantula: Killing Driver Bugs Before They Hatch. In The 4th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), Chicago, IL, pages 13-18, March 2005.



13. Nicolas Loriant, Marc Ségura-Devillechaise, and Jean-Marc Menaud. Server protection through dynamic patching. In Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'05), Changsha, Hunan, China, pages 343-349, December 2005. IEEE Computer Society Press.



14. Nicolas Loriant, Marc Ségura-Devillechaise, and Jean-Marc Menaud. Software security patches -- Audit, deployment and hot update. In Proceedings of the Fourth AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS'O5), Chicago, USA, pages 25-29, March 2005.



15. Nicolas Loriant, Marc Ségura-Devillechaise, and Jean-Marc Menaud. Un bac à sable juste à temps -- correctifs ciblés et injection à chaud. In 5ème Conférence Française sur les Systèmes d'Exploitation (CFSE'05), Le Croisic, France, pages 27-38, March 2005.



16. Jean-Marc Menaud, Jacques Noyé, Pierre Cointe, and Christian Perez. Mixing Aspects and Components for Grid Computing. In International Workshop on Grid Systems, Tools and Environments (GTE'05), October 2005.



17. Florian Minjat, Alexandre Bergel, Pierre Cointe, and Stéphane Ducasse. Mise en symbiose des traits et des classboxes, Application à l'expression des collaborations. In Langages et Modèles à Objets, pages 33-46, March 2005. Hermès-Lavoisier.



18. Gilles Muller and Julia Lawall. The Bossa Framework for Scheduler Development. In Ecole d'été Temps Réel 2005, Nancy, France, pages 23-29, September 2005.



19. Gilles Muller, Julia Lawall, and Hervé Duchesne. A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. In Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005), Sedona, AZ, pages 219-230, February 2005.



20. Gilles Muller, Julia Lawall, and Hervé Duchesne. A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. In HASE 2005 - 9th IEEE International Symposium on High-Assurance Systems Engineering, Heidelberg, Germany, pages 56-65, October 2005.



21. Sebastian Pavel, Jacques Noyé, Pascal Poizat, and Jean-Claude Royer. Java Implementation of a Component Model with Explicit Symbolic Protocols. In Thomas Gschwind, Uwe Assman, and Oscar Nierstrasz, editors, International Workshop on Software Composition (SC), volume 3628 of Lecture Notes in Computer Science, pages 115-124, April 2005. Springer-Verlag. Note: Short paper. [Abstract]



22. Sebastian Pavel, Jacques Noyé, and Jean-Claude Royer. Un modèle de composant avec protocole symbolique. In Journée du groupe Objets, Composants et Modèles, Bern, Suisse, March 2005.



23. Mario Südholt. A model of components with non-regular protocols. In Thomas Gschwind, Uwe Assman, and Oscar Nierstrasz, editors, International Workshop on Software Composition (SC), volume 3628 of Lecture Notes in Computer Science, pages 99-114, April 2005. Springer-Verlag. [Abstract]



24. Éric Tanter and Jacques Noyé. A Versatile Kernel for Multi-Language AOP. In Robert Glück and Michael Lowry, editors, Generative Programming and Component Engineering (GPCE), volume 3676 of Lecture Notes in Computer Science, Tallinn, Estonia, pages 173-188, sep/oct 2005. Springer-Verlag.



25. Richard Urunuela. Application coopérative et gestion de l'énergie du processeur.. In 1ères Rencontres des Jeunes Chercheurs en Informatique Temps Réel 2005 (RJCITR'05) Conjointement à l'école d'été temps réel 2005 (ETR'05), September 2005.

1. Gustavo Bobeff and Jacques Noyé. Component Specialization. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'04), Verona, Italy, pages 39-50, August 2004. ACM Press.



2. Denis Caromel, Luis Mateu, and Éric Tanter. Sequential Object Monitors. In Martin Odersky, editor, ECOOP 2004 - Object-Oriented Programming,18th European Conference, volume 3086 of Lecture Notes in Computer Science, Oslo, Norway, pages 316-340, June 2004. Springer-Verlag.



3. Pierre Cointe. Comprendre la programmation par aspects. In Actes du 7ième Colloque Africain sur la recherche en Informatique, CARI 2004, Hammamet, Tunisie, pages 27-29, November 2004. Note: INRIA.



4. Pierre-Charles David and Thomas Ledoux. Pour un aspect d'adaptation dans le développement d'applications à base de composants. In Actes Journée de l'AS 150, Systèmes répartis et réseaux adaptatifs au contexte, Paris, France, April 2004.



5. Simon Denier and Pierre Cointe. A propos du modèle des traits et de sa transposition en Java à l'aide d'AspectJ. In Journée du groupe Objets, Composants et Modèles, Lille, France, pages 13-18, March 2004.



6. Rémi Douence, Pascal Fradet, and Mario Südholt. Composition, Reuse and Interaction Analysis of Stateful Aspects. In Aspect-Oriented Software Development (AOSD), pages 141-150, March 2004. ACM, ACM Press.



7. Rémi Douence and Luc Teboul. A crosscut language for control-flow. In Generative Programming and Component Engineering (GPCE), volume 3286 of Lecture Notes in Computer Science, Vancouver, Canada, pages 95-114, October 2004. Springer-Verlag.



8. Hervé Duchesne, Christophe Augier, and Richard Urunuela. Déploiement d'ordonnanceurs de processus spécifiques dans un systéme d'exploitation généraliste. In Conférence Francophone sur le Déploiement et la (Re) Configuration de Logiciels (DECOR'04), Grenoble, France, pages 193-198, October 2004.



9. Yann-Gaël Guéhéneuc and Hervé Albin-Amiot. Recovering Binary Class Relationships: Putting Icing on the UML cake. In John Vlissides and Doug C. Schmidt, editors, Proceedings of the 19th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2004), Vancouver, Canada, pages 301-314, October 2004. ACM Press.



10. Julia Lawall, Anne-Françoise Le Meur, and Gilles Muller. Modularity for the Bossa Process-scheduling Language. In Proceedings of the ECOOP Workshop on Programming Languages and Operating Systems (PLOS'04), Oslo, Norway, June 2004.



11. Julia Lawall, Gilles Muller, and Hervé Duchesne. Language Design for Implementing Process Scheduling Hierarchies. In ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation - PEPM'04, Verona, Italy, pages 80-91, August 2004. ACM Press.



12. Julia Lawall, Gilles Muller, and Anne-Françoise Le Meur. On the design of a domain-specific language for OS process-scheduling extensions. In Generative Programming and Component Engineering (GPCE), volume 3086 of Lecture Notes in Computer Science, Vancouver, Canada, pages 436-455, October 2004. Springer-Verlag.



13. Nicolas Loriant, Marc Ségura-Devillechaise, and Jean-Marc Menaud. Des correctifs de sécurité à la mise à jour - Audit déploiement distribué et injection à chaud.. In DECOR'2004, 1ère conférence Francophone sur le déploiement et la (re)configuration de Logiciels, Grenoble, pages 65-76, October 2004.



14. Olivier Maréchal, Pascal Poizat, and Jean-Claude Royer. Checking Asynchronously Communicating Components Using Symbolic Transition Systems. In D. C. Schmidt R. Meersman, Z. Tari and al., editors, On The Move to Meaningful Internet Systems 2004: Coopis, DOA, and ODBASE, volume 3291 of Lecture Notes in Computer Science, pages 1502-1519, 2004. Springer-Verlag.



15. Gilles Muller, Julia Lawall, Jean-Marc Menaud, and Mario Südholt. Constructing Component-Based Extension Interfaces in Legacy Systems Code. In ACM SIGOPS European Workshop 2004 (EW'2004), Louvain, Belgique, September 2004.



16. Jacques Noyé, Sebastian Pavel, and Jean-Claude Royer. A PVS Experiment with Asynchronous Communicating Components. In 17th Workshop on Algebraic Development Techniques, Barcelona, Spain, March 2004.



17. Sebastian Pavel, Jacques Noyé, and Jean-Claude Royer. Dynamic Configuration of Software Product Lines in ArchJava. In Robert L. Nord, editor, Software Product Lines: Third International Conference, volume 3154 of Lecture Notes in Computer Science, Boston, MA, USA, pages 90-109, September 2004. Springer-Verlag Heidelberg. Keyword(s): software product line, component programming language, connector, generator, dynamic configuration. [Abstract]



18. Pascal Poizat, Jean-Claude Royer, and Gwen Salaün. Formal Methods for Component Description, Coordination and Adaptation. In Proceedings of the ECOOP Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'04), Oslo, Norway, June 2004.



19. Leonardo Rodriguez, Éric Tanter, and Jacques Noyé. Supporting Dynamic Crosscutting with Partial Behavioral Reflection: a Case Study. In , pages 48-58, 2004.



20. Leonardo Rodrìguez, Éric Tanter, and Jacques Noyé. Supporting Dynamic Crosscutting with Partial Behavioral Reflection: a Case Study. In Pierre Cointe and Mario Südholt, editors, Actes de la Première Journée Francophone sur le Développement du Logiciel par Aspects (JFDLPA'04), pages 118-137, September 2004. IRCAM - École des Mines de Nantes. Note: 04/7/INFO.



21. Jean-Claude Royer. A Framework for the GAT Temporal Logic. In ISCA, editor, Proceedings of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE'04), Nice, France, pages 275-280, July 2004.



22. Éric Tanter and Jacques Noyé. Motivation and Requirements for a Versatile AOP Kernel. In European Interactive Workshop on Aspects in Software (EIWAS 2004), Berlin, Germany, September 2004.

1. Gustavo Bobeff and Jacques Noyé. Molding Components using Program Specialization Techniques. In J. Bosch, C. Szyperski, and W. Weck, editors, Eighth International Workshop on Component-Oriented Programming, Darmstadt, Germany, July 2003. Note: In conjunction with ECOOP 2003.



2. Pierre-Charles David and Thomas Ledoux. Towards a Framework for Self-Adaptive Component-Based Applications. In Jean-Bernard Stefani, Isabelle Demeure, and Daniel Hagimont, editors, Proceedings of Distributed Applications and Interoperable Systems 2003, the 4th IFIP WG6.1 International Conference, DAIS 2003, volume 2893 of Lecture Notes in Computer Science, Paris, pages 1-14, November 2003. Federated Conferences, Springer-Verlag. [Abstract]



3. Rémi Douence and Mario Südholt. Un modèle et un outil pour la programmation par aspects vénementiels. In Langages et Modèles à Objets, Vannes, pages 105-118, February 2003. Hermès-Lavoisier. Keyword(s): AOP, EAOP, aspect composition, tool, Java.



4. Andrés Farías and Yann-Gaël Guéhéneuc. On the Coherence of Component Protocols. In Uwe Assmann, Elke Pulvermueller, Isabelle Borne, Noury Bouraqadi, and Pierre Cointe, editors, Electronic Notes in Theoretical Computer Science, ETAPS-Software Composition workshop, April 2003. Elsevier. Keyword(s): protocols, component models, detection, verification. [Abstract]



5. Yann-Gaël Guéhéneuc and Hervé Albin-Amiot. A Pragmatic Study of Binary Class Relationships. In John Grundy and John Penix, editors, IEEE International Conference on Automated Software Engineering, Montréal, Canada, pages 277-280, October 2003. IEEE Computer Society Press. Note: Short paper.



6. Liang Peng, Annya Romanczuk-Réquilé, and Jean-Claude Royer. A Translation of UML Components into Formal Specifications. In Theo D'Hondt, editor, TOOLS East Europe 2002, pages 60-75, 2003. Kluwer Academic Publishers.



7. Jean-Claude Royer and Michael Xu. Analysing Mailboxes of Asynchronous Communicating Components. In D. C. Schmidt R. Meersman, Z. Tari and al., editors, On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, volume 2888 of Lecture Notes in Computer Science, Catania, Sicily (Italy), pages 1421-1438, October 2003. Springer-Verlag. Keyword(s): Asynchronous Communication, Component, Architecture, Dynamic Behaviour, Unbound or Bound Mailbox. [Abstract]



8. Marc Ségura-Devillechaise and Jean-Marc Menaud. microDyner : Un noyau efficace pour le tissage dynamique d'aspects sur processus natif en cours d'exécution. In Langages et Modèles à Objets, Vannes, pages 119-133, February 2003. Hermès-Lavoisier.



9. Marc Ségura-Devillechaise, Jean-Marc Menaud, Julia Lawall, and Gilles Muller. Extensibilité Dynamique dans les Caches Web : une Approche par Aspects. In 3ème Conférence Française sur les Systèmes d'Exploitation (CFSE'03), La Colle sur Loup, pages 477-487, October 2003.



10. Marc Ségura-Devillechaise, Jean-Marc Menaud, Gilles Muller, and Julia Lawall. Web Cache Prefetching as an aspect: Towards a Dynamic-Weaving Based Solution. In Aspect-Oriented Software Development (AOSD), Boston, Massachusetts, USA, pages 110-119, March 2003. ACM Press. [Abstract]



11. Éric Tanter and Peter Ebraert. A Flexible Approach to Interactive Runtime Inspection. In ECOOP Workshop on Advancing the State-of-the-Art in Runtime Inspection (ASARTI 2003), Darmstadt, Germany, July 2003.



12. Éric Tanter, Jacques Noyé, Denis Caromel, and Pierre Cointe. Partial Behavioral Reflection: Spatial and Temporal Selection of Reification. In Ron Crocker and Guy L. Steele, Jr., editors, Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA 2003), Anaheim, California, USA, pages 27-46, October 2003. ACM Press. [Abstract]



13. Rickard A. Åberg, Julia Lawall, Mario Südholt, and Gilles Muller. Evolving an OS Kernel using Temporal Logic and Aspect-Oriented Programming. In The Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), March 2003. Keyword(s): AOP, OS, Temporal logic, EAOP, Bossa.



14. Rickard A. Åberg, Julia Lawall, Mario Südholt, Gilles Muller, and Anne-Françoise Le Meur. On the automatic evolution of an OS kernel using temporal logic and AOP. In IEEE International Conference on Automated Software Engineering, Montréal, Canada, pages 196-204, October 2003. [Abstract]

1. Hervé Albin-Amiot, Pierre Cointe, and Yann-Gaël Guéhéneuc. Un méta-modèle pour coupler application et détection des design patterns. In M. Dao and M. Huchard, editors, LMO 2002 - Langages et modèles à objets, Montpellier, pages 41--58, January 2002. Hermès.



2. M. Allemand, C. Attiogbé, Pascal Poizat, Jean-Claude Royer, and G. Salaün. SHE'S project: a report of joint works on integration of formal specification techniques. In H. Ehrig and M. Grosse-Rhode, editors, Proceedings of the 2nd International Workshop on Integration of Specification Techniques for Applications in Engineering (INT'02), Grenoble, France, April 2002.



3. Michel Allemand and Jean-Claude Royer. Mixed Formal Specification with PVS. In Proceedings of the 15th IPDPS 2002 Symposium, FMPPTA, 2002. IEEE Computer Society Press.



4. Luciano Porto Barreto, Rémi Douence, Gilles Muller, and Mario Südholt. Programming OS Schedulers with Domain-Specific Languages and Aspects: New Approaches for OS Kernel Engineering. In International Workshop on Aspects, Components, and Patterns for Infrastructure Software at AOSD, April 2002. [Abstract]



5. Luciano Porto Barreto and Gilles Muller. Bossa: a Language-based Approach to the Design of Real-time Schedulers. In 10th International Conference on Real-Time Systems (RTS'2002), Paris, France, pages 19--31, March 2002.



6. Gustavo Bobeff and Jacques Noyé. Component Specialization: Towards Deeper Adaptation. In Systèmes à composants adaptables et extensibles, Grenoble, France, October 2002.



7. Gustavo Bobeff and Jacques Noyé. On the Interaction of Partial Evaluation and Inheritance. In First Inheritance Workshop at ECOOP 2002, Malaga, Spain, June 2002. [Abstract]



8. Pierre-Charles David and Thomas Ledoux. An Infrastructure for Adaptable Middleware. In R. Meersam and Zahir Tari et al, editors, On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, ODBASE 2002, volume 2519 of Lecture Notes in Computer Science, pages 773--790, October 2002. Springer-Verlag.



9. Pierre-Charles David and Thomas Ledoux. Dynamic Adaptation of Non-Functional Concerns. In First International Workshop on Unanticipated Software Evolution (USE'02) at ECOOP 2002, Malaga, Spain, June 2002. [Abstract]



10. Rémi Douence, Pascal Fradet, and Mario Südholt. A framework for the detection and resolution of aspect interactions. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 - Proceedings, volume 2487 of Lecture Notes in Computer Science, Pittsburgh, PA, USA, pages 173--188, October 2002. Springer-Verlag. Keyword(s): aop, static analysis. [Abstract]



11. Rémi Douence and Narendra Jussien. Non-intrusive constraint solver enhancements. In First AOSD workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), Enschede, The Netherlands, April 2002. University of Twente. [Abstract]



12. Rémi Douence and Narendra Jussien. Non-intrusive constraint solver enhancements. In Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS'02), Copenhagen, Denmark, July 2002. [Abstract]



13. Andrés Farías, Yann-Gaël Guéhéneuc, and Mario Südholt. Integrating Behavioral Protocols in Enterprise Java Beans. In Kenneth Baclawski and Haim Kilov, editors, Eleventh OOPSLA Workshop on Behavioral Semantics: Serving the Customer, pages 80--89, October 2002. Keyword(s): protocols, component models, detection, verification, EJB, JavaBeans.



14. Andrés Farías and Mario Südholt. On components with explicit protocols satisfying a notion of correctness by construction. In R. Meersam and Zahir Tari et al, editors, On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, ODBASE 2002, volume 2519 of Lecture Notes in Computer Science, pages 995--1012, October 2002. Springer-Verlag. Keyword(s): protocols, component models, composition, EJB, JavaBeans.



15. Jean-Philippe Fassino, Jean-Bernard Stefani, Julia Lawall, and Gilles Muller. THINK: A Software Framework for Component-based Operating System Kernels. In USENIX'02, Monterey, CA, USA, pages 73--86, June 2002. USENIX.



16. Yann-Gaël Guéhéneuc. Three Musketeers to the Rescue - Meta-modelling, Logic Programming, and Explanation-based Constraint Programming for Pattern Description and Detection. In Kris De Volder, Kim Mens, Tom Mens, and Roel Wuyts, editors, Proceedings of the ASE Workshop on Declarative Meta-Programming, CICSR Technical Report, Edinburgh, UK, September 2002. University of British Columbia. [Abstract]



17. Yann-Gaël Guéhéneuc, Rémi Douence, and Narendra Jussien. No Java without Caffeine -- A Tool for Dynamic Analysis of Java Programs. In Proceedings of ASE 2002 : 17th International IEEE Conference on Automated Software Engineering, Edinburgh, UK, September 2002.



18. D. He, Gilles Muller, and Julia Lawall. Distributing MPEG movies over the Internet using programmable networks. In The 22nd International Conference on Distributed Computing Systems (ICDCS'02), Vienna, Austria, pages 161--170, July 2002.



19. Zahi Jarir, Pierre-Charles David, and Thomas Ledoux. Dynamic Adaptability of Services in Enterprise JavaBeans Architecture. In Seventh International Workshop on Component-Oriented Programming (WCOP'02) at ECOOP 2002, Malaga, Spain, June 2002. [Abstract]



20. Julia Lawall, Gilles Muller, and Luciano Porto Barreto. Capturing OS Expertise in an Event Type System: the Bossa Experience. In Tenth ACM SIGOPS European Workshop 2002 (EW2002), St. Emilion, France, pages 54--61, September 2002.



21. Gilles Muller and Julia Lawall. Towards a Scheduling Framework for Dynamically Downloaded Multimedia Applications. In Microsoft Summer Research Workshop 2002, Cambridge, England, September 2002. Microsoft Research.



22. Pascal Poizat and Jean-Claude Royer. Une proposition de composants formels. In M. Dao and M. Huchard, editors, Actes de LMO'2002, pages 231-245, January 2002. Note: RSTI - L'Objet 8(1-2).



23. Marc Ségura-Devillechaise and Jean-Marc Menaud. Caching Web Services: Aspect-Orientation to the Rescue. In International Workshop on Web Engineering at Networking 2002, Pisa, Italy, May 2002.



24. Éric Tanter. Runtime Metaobject Protocols: the Quest for their Holy Application. In 12th ECOOP Workshop of PhD Students in Object-Oriented Systems (PhDOOS 2002), Malaga, Spain, June 2002. Note: In conjunction with the 16th European Conference on Object-Oriented Programming (ECOOP 2002).



25. Éric Tanter, Marc Ségura-Devillechaise, Jacques Noyé, and José Piquer. Altering Java Semantics via Bytecode Manipulation. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 - Proceedings, volume 2487 of Lecture Notes in Computer Science, Pittsburgh, PA, USA, pages 283-298, October 2002. Springer-Verlag.



26. Éric Tanter, Michael Vernaillen, and José Piquer. Towards Transparent Adaptation of Migration Policies. In 8th ECOOP Workshop in Mobile Object Systems (EWMOS 2002), Malaga, Spain, June 2002. Note: In conjunction with the 16th European Conference on Object-Oriented Programming (ECOOP 2002).

1. Hervé Albin-Amiot, Pierre Cointe, Yann-Gaël Guéhéneuc, and Narendra Jussien. Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together. In D. Richardson, M. Feather, and M. Goedicke, editors, 16th IEEE conference on Automated Software Engineering (ASE 2001), San Diego, USA, pages 166--173, November 2001. [Abstract]



2. Hervé Albin-Amiot and Yann-Gaël Guéhéneuc. Design Pattern Application: Pure-Generative Approach vs. Conservative-Generative Approach. In Krzysztof Czarnecki, editor, Proceedings of the OOPSLA Workshop on Generative Programming, October 2001. ACM Press.



3. Hervé Albin-Amiot and Yann-Gaël Guéhéneuc. Design Patterns: A Round-Trip. In G. Ardourel, M. Haupt, J.-L. Herrero Agustin, R. Ruggaber, and C. Suscheck, editors, Proceedings of ECOOP 11th Workshop for PhD Students in Object-Oriented Systems, June 2001. [Abstract]



4. Hervé Albin-Amiot and Yann-Gaël Guéhéneuc. Meta-Modeling Design Patterns: Application to Pattern Detection and Code Synthesis. In Bedir Tekinerdogan, editor, Proceedings of ECOOP Workshop on Automating Object-Oriented Software Development Methods, June 2001. [Abstract]



5. Gabriela Arévalo and Isabelle Borne. Architectural Description of Object Oriented Frameworks: an Approach. In Robert Godin and Isabelle Borne, editors, LMO 2001 - Langages et modèles à objets, Le Croisic, France, pages 183--198, January 2001. Hermès. Note: L'Objet, 7(1-2).



6. Noury M. Bouraqadi-Saâdani and Thomas Ledoux. How to weave?. In ECOOP 2001 Workshop on Advanced Separation of Concerns, June 2001.



7. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. Formal Specification of Mixed Components with Korrigan. In Proceedings of the 8th Asia-Pacific Software Engineering Conference, APSEC'2001, pages 169-176, 2001. IEEE Computer Society Press.



8. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. In Heinrich Hussmann, editor, Fundamental Approaches to Software Engineering. 4th International Conference, FASE 2001, volume 2029 of Lecture Notes in Computer Science, pages 124-139, 2001. Springer-Verlag.



9. Pierre-Charles David, Thomas Ledoux, and Noury M. Bouraqadi-Saâdani. Two-step weaving with reflection using AspectJ. In OOPSLA 2001 Workshop on Advanced Separation of Concerns in Object-Oriented Systems, 2001.



10. Rémi Douence, Olivier Motelet, and Mario Südholt. A formal definition of crosscuts. In A. Yonezawa and S. Matsuoka, editors, Proceedings of the 3rd International Conference on Reflection 2001, volume 2192 of Lecture Notes in Computer Science, Kyoto, Japan, pages 170--186, September 2001. Springer-Verlag. [Abstract]



11. Rémi Douence, Olivier Motelet, and Mario Südholt. Sophisticated crosscuts for e-commerce. In ECOOP 2001 Workshop on Advanced Separation of Concerns, June 2001.



12. Yann-Gaël Guéhéneuc and Hervé Albin-Amiot. Using Design Patterns and Constraints to Automate the Detection and Correction of Inter-Class Design Defects. In Q. Li, R. Riehle, G. Pour, and B. Meyer, editors, Proceedings of TOOLS USA, pages 296--305, 2001. IEEE Computer Society Press.



13. Yann-Gaël Guéhéneuc and Narendra Jussien. Quelques explications pour les patrons ou une utilisation de la PPC avec explications pour l'identification de patrons de conception. In B. Neveu, editor, 7ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'01), Toulouse, France, June 2001. ONERA. [Abstract]



14. Yann-Gaël Guéhéneuc and Narendra Jussien. Using Explanations for Design-Patterns Identification. In IJCAI'01 Workshop on Modelling and Solving problems with constraints, Seattle, WA, USA, August 2001. [Abstract]



15. Jean-Claude Royer. Formal Specification and Temporal Proof Techniques for Mixed Systems. In Proceedings of the 15th IPDPS 2001 Symposium, FMPPTA, San Francisco, USA, 2001. IEEE Computer Society Press.



16. François Sarradin and Thomas Ledoux. Adaptabilité dynamique de la sémantique de communication dans Jonathan. In Robert Godin and Isabelle Borne, editors, LMO 2001 - Langages et modèles à objets, Le Croisic, France, pages 45--62, January 2001. Hermès. Note: L'Objet, 7(1-2).



17. Éric Tanter, Noury M. Bouraqadi-Saâdani, and Jacques Noyé. Reflex - Towards an Open Reflective Extension of Java. In A. Yonezawa and S. Matsuoka, editors, Proceedings of the 3rd International Conference on Reflection 2001, volume 2192 of Lecture Notes in Computer Science, Kyoto, Japan, pages 25--42, September 2001. Springer-Verlag.



18. Éric Tanter, Noury M. Bouraqadi-Saâdani, and Jacques Noyé. Reflex: une extension réflexive de Java portable, souple et performante. In Robert Godin and Isabelle Borne, editors, LMO 2001 - Langages et modèles à objets, Le Croisic, France, pages 165--180, January 2001. Hermès. Note: L'Objet, 7(1-2).



19. David Touzet, Jean-Marc Menaud, Frédéric Weis, Paul Couderc, and Michel Banâtre. SIDE Surfer: a Spontaneous Information Discovery and Exchange System. In 2nd international Workshop on Ubiquitous Computing and Communication, Barcelona, Spain, September 2001.

1. Xavier Alvarez and Isabelle Borne. An Architectural Playground. In ECOOP'00 Workshop on Object-Oriented Architectural Evolution, June 2000.



2. Pascal André, Annya Romanczuk-Réquilé, Jean-Claude Royer, and Aline Vasconcelos. An Algebraic View of UML Class Diagrams. In Christophe Dony and Houari A. Sahraoui, editors, LMO'00 - Langages et modèles à objets, Mont Saint-Hilaire, Québec, Canada, pages 261--276, January 2000. Hermès.



3. Pascal André, Annya Romanczuk-Réquilé, Jean-Claude Royer, and Aline Vasconcelos. Checking the Consistency of UML Class Diagrams Using Larch Prover. In T. Clark, editor, Proceedings of the third Rigorous Object-Oriented Methods Workshop (ROOM 3), BCS eWics, ISBN: 1-902505-38-7, January 2000.



4. Philippe Boinot, Renaud Marlet, Gilles Muller, Jacques Noyé, and Charles Consel. A Declarative Approach for Designing and Developing Adaptive Components. In V. Gruhn, editor, Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, pages 111--119, September 2000. IEEE Computer Society Press.



5. Isabelle Borne, Galal Hassan Galal, Huw Evans, and Luis Filipe Andrade. Workshop on Object-Oriented Architectural Evolution. In Jacques Malenfant, Sabine Moisan, and Ana M. D. Moreira, editors, Object-Oriented Technology (ECOOP 2000 Workshop Reader), volume 1964 of Lecture Notes in Computer Science, pages 138--149, 2000. Springer-Verlag.



6. Noury M. Bouraqadi-Saâdani. Concern Oriented Programming using Reflection. In OOPSLA 2000 Workshop on Advanced Separation of Concerns in Object-Oriented Systems, October 2000.



7. Mathias Braux and Jacques Noyé. Towards Partial Evaluating Reflection in Java. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Boston, MA, USA, January 2000. ACM Press. Note: ACM SIGPLAN Notices, 34(11).



8. Mathias Braux and Jacques Noyé. Évaluation partielle de la réflexion dans Java. In Christophe Dony and Houari A. Sahraoui, editors, LMO'00 - Langages et modèles à objets, Mont Saint-Hilaire, Québec, Canada, pages 195--210, January 2000. Hermès.



9. Walter Cazzola, Shigeru Chiba, and Thomas Ledoux. Reflection and Meta-Level Architectures : State of the Art and Future Trends. In Jacques Malenfant, Sabine Moisan, and Ana M. D. Moreira, editors, Object-Oriented Technology (ECOOP 2000 Workshop Reader), volume 1964 of Lecture Notes in Computer Science, pages 1--15, 2000. Springer-Verlag.



10. Pierre Cointe. Réflexivité et construction d'architectures logicielles adaptables. In NOTERE2000, Paris, November 2000. Note: Conférence invitée.



11. Rémi Douence and Mario Südholt. On the Lightweight and Selective Introduction of Reflective Capabilities in Applications. In ECOOP'00 Workshop on Reflection and Meta-Level Architectures, 2000. Keyword(s): reflection, program transformation, Java.



12. Rémi Douence and Mario Südholt. Une technique générique de réification dans les langages à objets. In Proceeding of 6th International Maghrebian Conference on Computer Science, Fes, Morocco, pages 311--320, November 2000. Keyword(s): reflection, program transformation, MOP, Java.



13. Thomas Ledoux and Noury M. Bouraqadi-Saâdani. Adaptability in Mobile Agent Systems using Reflection. In RM'2000, Workshop on Reflective Middleware, Middleware'2000, April 2000. [Abstract]

1. Isabelle Borne, Serge Demeyer, and Galal Hassan Galal. Object-Oriented Architectural Evolution. In Ana Moreira, editor, Object-Oriented Technology (ECOOP'99 Workshop Reader), volume 1743 of Lecture Notes in Computer Science, pages 57-79, 1999. Springer-Verlag.



2. Noury M. Bouraqadi-Saâdani. Un cadre réflexif pour la programmation par aspects. In Jacques Malenfant and Roger Rousseau, editors, LMO'99 - Langages et modèles à objets, Villefranche-sur-Mer, France, January 1999. Université de Nice/CNRS, Hermès. [Abstract]



3. Mathias Braux. Speeding up the Java Serialization Framework through Partial Evaluation. In ECOOP'99 Workshop on Object Technology for Product Line architectures, Zamudio, Spain, June 1999. Keyword(s): partial evaluation, reflective programming, Java.



4. Mathias Braux and Jacques Noyé. Changement dynamique de comportement par composition de schémas de conception. In Jacques Malenfant and Roger Rousseau, editors, LMO'99 - Langages et modèles à objets, Villefranche-sur-Mer, France, January 1999. Université de Nice/CNRS, Hermès.



5. Pascal Fradet and Mario Südholt. An aspect language for robust programming. In International Workshop on Aspect-Oriented Programming at ECOOP, 1999. Keyword(s): aop, abstract interpretation.



6. Thomas Ledoux. OpenCorba : un bus logiciel réflexif adaptable. In Jacques Malenfant and Roger Rousseau, editors, LMO'99 - Langages et modèles à objets, Villefranche-sur-Mer, France, January 1999. Université de Nice/CNRS, Hermès. [Abstract]



7. Thomas Ledoux. OpenCorba: a Reflective Open Broker. In Pierre Cointe, editor, Meta-Level Architectures and Reflection, Second International Conference, Reflection'99, volume 1616 of Lecture Notes in Computer Science, Saint-Malo, France, pages 197--214, July 1999. Springer-Verlag. [Abstract]



8. Jacques Noyé and Pierre Cointe. De Java à Jini : à propos des nouvelles perspectives dans le développement de la toile. In Actes des 7émes Journées de la Société Francophone d'Informatique et de Monitorage en Anesthésie-Réanimation, April 1999.

1. R. Allen, Rémi Douence, and D. Garlan. Specifying and Analyzing Dynamic Software Architectures. In Fundamental Approaches to Software Engineering (FASE), volume 1382 of Lecture Notes in Computer Science, pages 21--37, March 1998. Springer-Verlag.



2. Isabell Borne, Wolfgang De Meuter, and Fernando Brito e Abreu. Techniques, Tools and Formalisms for capturing and assessing Architectural Quality in Object-Oriented Software. In Serge Demeyer and Jan Bosch, editors, Object-Oriented Technology (ECOOP'98 Workshop Reader), volume 1543 of Lecture Notes in Computer Science, July 1998. Springer-Verlag.



3. Isabelle Borne, Annya Romanczuk-Réquilé, and Frédérique Stéfani. Towards a Systematic Object-Oriented Transformation of a Merise Analysis. In Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering, CSMR'98, Florence, Italy, March 1998. IEEE Computer Society Press. Keyword(s): Object-oriented analysis, reengineering, legacy system, restructuring. [Abstract]



4. Noury M. Bouraqadi-Saâdani, Thomas Ledoux, and Fred Rivard. Safe Metaclass Programming. In Proceedings of OOPSLA'98, pages 84--96, October 1998. ACM-Sigplan. [Abstract]



5. Noury M. Bouraqadi-Saâdani, Fred Rivard, and Thomas Ledoux. Composition de Métaclasses. In Journées francophones des langages applicatifs, JFLA'98, Como, Italy, February 1998. [Abstract]



6. Mathias Braux. Speeding up the Meta-level Processing of Java Through Partial Evaluation. In Jean-Charles Fabre and Shigeru Chiba, editors, OOPSLA'98 Workshop on Reflective Programming in C++ and Java, Center for Computational Physics, University of Tsukuba, Japan, October 1998. [Abstract]



7. Pierre Cointe and N. Revault. JavaBeans - Un modèle de composants logiciels. In Proceedings of Objet'98, June 1998. Keyword(s): Java, événements, composants logiciels, environnements de développement. [Abstract]



8. Mireille Ducassé and Jacques Noyé. Tracing Prolog Programs by Source Instrumentation is Efficient Enough. In Proceedings of the JICSLP'98 Post-Conference Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, June 1998.



9. Pascal Fradet and Mario Südholt. AOP: towards a generic framework using program transformation and analysis. In International Workshop on Aspect-Oriented Programming at ECOOP, July 1998. Keyword(s): aop, abstract interpretation, aspect of program robustness. [Abstract]



10. Thomas Ledoux. Adaptabilité dynamique des aspects pour la construction d'applications réparties ouvertes. In Colloque International sur les NOuvelles TEchnologies de la REpartition, NOTERE'98, Montréal, Canada, October 1998. [Abstract]



11. B. Lesueur, N. Revault, G. Sunyé, and M. Ziane. Using the MétaGen Modeling and Development Environment in the FIBOF Esprit Project. In , June 1998. Note: International Workshop on Automating the Object-Oriented Software Development at ECOOP'98. Keyword(s): object-oriented development, metamodelling, domain-specific language, oo application frameworks. [Abstract]



12. Annya Romanczuk-Réquilé. Introduction à UML. In Proceedings of Objet'98, June 1998. Keyword(s): analyse et conception par objets. [Abstract]



13. Annya Romanczuk-Réquilé, Cabral Lima, Celso Kaestner, and Edson Scalabrin. A contextual Help System Based on Intelligent Diagnosis Processes aimed to the Conception and Maintenance of Object-Oriented Software Packages. In International Workshop on Techniques, Tools and Formalisms for Capturing and Assessing Architectural Quality in Object-Oriented Software, ECOOP'98, July 1998. [Abstract]

1. A. A. Holzbacher, M. Périn, and Mario Südholt. Modeling railway control systems using graph grammars: a case study. In 2nd International Conference on COORDINATION, volume 1282 of Lecture Notes in Computer Science, September 1997. Springer-Verlag. Note: Long version published as INRIA TR 3210: click ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-3210.pdf.gz. Keyword(s): software architecture, graph grammar, software evolution. [Abstract]



2. Luke Hornof and Jacques Noyé. Accurate Binding-Time Analysis for Imperative Languages: Flow, Context and Return Sensitivity. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, pages 63--73, June 1997. ACM Press. Keyword(s): program specialization, partial evaluation, binding-time analysis, forward and backward analyses. [Abstract]



3. Luke Hornof, Jacques Noyé, and Charles Consel. Effective Specialization of Realistic Programs via Use Sensitivity. In P. Van Hentenryck, editor, Proceedings of the Fourth International Symposium on Static Analysis, SAS'97, volume 1302 of Lecture Notes in Computer Science, Paris, France, pages 293--314, September 1997. Springer-Verlag. Keyword(s): program specialization, partial evaluation, binding-time analysis. [Abstract]



4. Thomas Ledoux. Implementing Proxy Objects in a Reflective ORB. In ECOOP'97 workshop : ``CORBA: Implementation, Use and Evaluation'', Jyvaskyla, Finland, June 1997. Keyword(s): proxy, reflection, distributed environments, separation of concerns, flexibility. [Abstract]



5. Annya Romanczuk-Réquilé and Isabelle Borne. Objectifying a Merise analysis using transformation rules. In S. Demeyer and H. Gall, editors, ESEC/FSE '97 Workshop on Object-Oriented Reengineering, number TUV-1841-97-10 of Technical Report, August 1997. Technische Universität Wien. Keyword(s): migration, legacy systems, restructuring, objectifying. [Abstract]

1. Isabelle Borne. Comprehension and Documentation of Smalltalk Class Libraries. In Proceedings of the Psychology of Programming Interest Group Annual Workshop, April 1996. Keyword(s): class library, class understanding.



2. Noury M. Bouraqadi-Saâdani, Thomas Ledoux, and Fred Rivard. Metaclass composability. In ECOOP'96 workshop : Composability Issues in Object Orientation, July 1996. Note: Position paper. Keyword(s): explicit metaclasses, composition, compatibility. [Abstract]



3. Noury M. Bouraqadi-Saâdani, Thomas Ledoux, Fred Rivard, and Pierre Cointe. Providing Explicit Metaclasses in Smalltalk. In OOPSLA'96 workshop : Extending the Smalltalk Language, October 1996. Note: Position paper. Keyword(s): smalltalk, reflection, explicit metaclasses. [Abstract]



4. Charles Consel, Luke Hornof, F. Noël, Jacques Noyé, and Eugen-Nicolae Volanschi. A Uniform Approach for Compile-Time and Run-Time Specialization. In O. Danvy, R. Glück, and P. Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, volume 1110 of Lecture Notes in Computer Science, pages 54--72, February 1996. Springer-Verlag.



5. Thomas Ledoux and Pierre Cointe. Explicit Metaclasses As a Tool for Improving the Design of Class Libraries. In S. Matsuoka K. Futatsugi, editor, Proceedings of Object Technologies for Advanced Software, Second JSSST International Symposium, ISOTAS'96, volume 1049 of Lecture Notes in Computer Science, Kanazawa, Japan, pages 38--55, March 1996. JSSST-JAIST, Springer-Verlag. Keyword(s): class properties, explicit metaclasses, Smalltalk, Classtalk, language design, reuse, software engineering, CASE tools, patterns. [Abstract]



6. Fred Rivard. Pour un lien d'instanciation dynamique dans les langages à classes. In Journées Francophones des Langages Applicatifs, January 1996. Keyword(s): instanciation, changement de classe, adoption d'instances, conception, Smalltalk. [Abstract]



7. Fred Rivard. Smalltalk: a Reflective Language. In Reflection'96, April 1996. Keyword(s): Smalltalk, reflection. [Abstract]

1. Isabelle Borne. Understanding, documenting and visualizing Smalltalk classes. In ECOOP workshop on Learning, training and teaching in Object Technology, August 1995. Keyword(s): class understanding, documentation, visual interface.



2. Thomas Ledoux and Pierre Cointe. Les Métaclasses Explicites comme Outil pour Améliorer la Conception des Bibliothèques de Classes. In Actes des Journées du GDR de Programmation, Grenoble, France, November 1995. CNRS. Keyword(s): propriétés de classe, métaclasses explicites, Classtalk, (rétro-)conception, réutisabilité, ``patterns''. [Abstract]



3. Philippe Mulet, Jacques Malenfant, and Pierre Cointe. Towards a Methodology for Explicit Composition of MetaObjects. In Proceedings of OOPSLA'95, Austin, Texas, pages 316--330, October 1995. ACM SIGPLAN Notices.

1. Philippe Mulet and Marco Jacques. De la parentée entre les environnements de MIT Scheme et les prototypes de Self. In Colloque Langages et Modèles à Objets - LMO'94, Grenoble, France, October 1994.



2. Philippe Mulet, Thomas Ledoux, D. Barbaron, Fred Rivard, and Pierre Cointe. Importing SOM Libraries into Classtalk. In Addendum to the Proceedings OOPSLA'94: workshop ``Multi-Language Object Models'', Portland, Oregon, October 1994. ACM SIGPLAN Notices. Keyword(s): explicit metaclass, SOM, Classtalk, Smalltalk. [Abstract]

1. Philippe Mulet and Pierre Cointe. Definition of a Reflective Kernel for a Prototype-Based Language. In S. Nishio and A. Yonezawa, editors, First JSSST International Symposium on Object Technologies for Advanced Software (ISOTAS), volume 742 of Lecture Notes in Computer Science, pages 128--144, November 1993.



2. Philippe Mulet and Pierre Cointe. Définition d'un Noyau Réflexif pour un Langage à Prototypes. In Actes de EC2 -- Représentation par objets (RPO'93), pages 101--116, June 1993.

1. Christophe Dony, Jacques Malenfant, and Pierre Cointe. Prototype-Based Languages: From a New Taxonomy to Constructive Proposals and Their Validation. In Proceedings of OOPSLA'92, volume 27, Vancouver, Canada, pages 201--215, October 1992. ACM SIGPLAN Notices.



2. Jacques Malenfant, Christophe Dony, and Pierre Cointe. Behavioral Reflection in a Protoype-Based Language. In A. Yonezawa and B. Smith, editors, International Workshop on reflection and Meta-Level Architectures, pages 143--153, November 1992. RISE and IPA (Japan) + ACM SIGPLAN, JSSST and IPS.

1. Fabricio Fernandes, Robin Passama, and Jean-Claude 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, February to appear 2009. ACM.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html