BACK TO INDEX

Articles in journal, book chapters
2014
  1. Ismael Figueroa, Nicolas Tabareau, and Éric Tanter. Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice. Transactions on Aspect-Oriented Software Development, 2014.


  2. Mohamed Sellami, Pierre DE VETTOR, Michael Mrissa, Djamal Benslimane, and Bruno Defude. DMaaS : Syntactic, Structural and Semantic Mediation for Service Composition. International Journal of Autonomous and Adaptive Communications Systems, 2014. Keyword(s): Web services, Composition, Data Mediation, Data Integration, Data Semantics.


  3. Hugo Arboleda, Rubby Casallas, Jaime Chavarriaga, and Jean-Claude Royer. Software Architecture for Product Lines. In Mourad Oussalah, editor, Software Architecture 1, pages 171-210. Wiley-ISTE, April 2014.


2013
  1. Akram Ajouli, Julien Cohen, and Jean-Claude Royer. Transformations between Composite and Visitor implementations in Java. SEAA 2013, September 2013.


  2. Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, Nicky Williams, and Boris Yakobowski. Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses. Automated Software Engineering, pp http://www.springer.com/computer/ai/journal/10515, June 2013. Note: 45 pages. Keyword(s): C program verification, SANTE tool, Frama-C toolset, static analysis, program slicing, test generation, constraint solving.


  3. Paul Leger, Éric Tanter, and Rémi Douence. Modular and Flexible Causality Control on the Web. Science of Computer Programming, January 2013.


  4. Charles Prud'Homme, Xavier Lorca, Rémi Douence, and Narendra Jussien. Propagation Engine Prototyping with a Domain Specific Language. Constraints, pp 21, 2013. Keyword(s): Propagation, Constraint solver, Domain Specific Language, Implementation.


  5. Éric Tanter, Ismael Figueroa, and Nicolas Tabareau. Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications. Science of Computer Programming, 2013.


2012
  1. Akram Ajouli. An Automatic Reversible Transformation from Composite to Visitor in Java. CIEL 2012, June 2012.


  2. Frederico Alvares De Oliveira Jr. and Thomas Ledoux. Self-management of cloud applications and infrastructure for energy optimization. SIGOPS Operating Systems Review, 46(2), 2012.


  3. Bruno De Fraine, Erik Ernst, and Mario Südholt. Essential AOP: The A Calculus. ACM Transactions on Programming Languages and Systems (TOPLAS), 2012. Note: Accepted March 2012.


  4. Pascal Fradet, Simplice Djoko Djoko, and Rémi Douence. Aspects preserving properties. Science of Computer Programming, 77(7):393-422, March 2012.


  5. Kelly Garces, J. Vara, Frédéric Jouault, and Esperanza Marcos. Adapting Transformations to Metamodel Changes via External Transformation Composition. Software and Systems Modeling, November 2012.


  6. Jean-Marc Menaud and Rémy Pottier. btrScript : a safe management system for virtualized data center. ICAS 2012, March 2012.


  7. Flavien Quesnel, Adrien Lèbre, and Mario Südholt. Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS. Concurrency and Computation: Practice and Experience, pp XX, December 2012. Keyword(s): virtualization, Cluster/Grid/Cloud computing, dynamic and preemptive scheduling, consolidation, migration.


  8. Frederico Alvares De Oliveira Jr., Adrien Lèbre, Thomas Ledoux, and Jean-Marc Menaud. Self-management of applications and systems to optimize energy in data centers. In Ivona Brandic, Massimo Villari, and Francesco Tusa, editors, Achieving Federated and Self-Manageable Cloud Infrastructures: Theory and Practice. IGI Global, February 2012.


2011
  1. Simplice Djoko Djoko, Rémi Douence, and Pascal Fradet. Aspects Preserving Properties. Science of Computer Programming, October 2011.


  2. Aeiman Gadafi, Daniel Hagimont, Laurent Broto, Remi Sharrock, and Noël De Palma. Energy-QoS Tradeoffs in J2EE Hosting Centers.. International Journal of Autonomic Computing, IJAC, 2011.


  3. Jérôme Gallard, Adrien Lèbre, Christine Morin, Thomas Naughton, J., Stephen Scott, L., and Geoffroy Vallée. Architecture for the Next Generation System Management Tools. Future Generation Computer Systems, 2011.


  4. Ismael Mejia and Mario Südholt. Structured and flexible gray-box composition using invasive distributed patterns. International Journal on Computer Science and Information Systems, 6:13, March 2011. Note: ISBN = ISSN: 1646-3692. Keyword(s): Software Composition, Software Engineering, Distributed Software, Aspect Oriented Programming, Grid Computing, Middleware.


  5. Rodolfo Toledo, Angel Núñez, Éric Tanter, and Jacques Noyé. Aspectizing Java Access Control. IEEE Transactions on Software Engineering, 38(1):101-117, January 2011.


  6. Nicolas Anquetil, Uira Kulesza, Ricardo Mateus, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, and Andreas Rummler. Managing Information Flow in SPL Development Processes. In Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, pages 222-262. Cambridge University Press, September 2011. Note: ISBN 978-0-521-76722-4.


  7. Vaidas Gasiunas, Angel Núñez, Jacques Noyé, and Mira Mezini. Product line implementation with ECaesarJ. In Awais Rashid, Jean-Claude Royer, and Andreas Rummler, editors, Aspect-Oriented, Model-Driven Software Product Lines - The AMPLE Way. Cambridge University Press, September 2011.


  8. Phil Greenwood, Vander Alves, John Hutchinson, Christa Schwanninger, and Nicolas Anquetil. Empirical research in software product line engineering. In Awais Rashid, Jean-Claude Royer, and Andreas Rummler, editors, Aspect-Oriented, Model-Driven Software Product Lines -- The AMPLE way, pages 411-443. Cambridge University Press, 2011. Keyword(s): ample lse-pub raweb2011.


  9. Awais Rashid, Jean-Claude Royer, and Andreas Rummler. Introduction. In Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, pages 3-26. Cambridge University Press, September 2011. Note: ISBN 978-0-521-76722-4.


2010
  1. Nicolas Anquetil, Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, and André Sousa. A model-driven traceability framework for software product lines. Software and Systems Modeling, 9(4):427-451, 2010.


  2. Jérôme Gallard and Adrien Lèbre. Managing Virtual Resources: Fly through the Sky. ERCIM News, pp 36-37, October 2010. Keyword(s): Cloud Computing, Sky Computing, Virtual Machines, IaaS.


  3. Awais Rashid, Thomas Cottenier, Phil Greenwood, Ruzanna Chitchyan, Meunier Regine, Coelho Roberta, Mario Südholt, and Wouter Joosen. Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe. IEEE COMPUTER, 43(2):19-26, February 2010.


  4. Awais Rashid, Regine Meunier, Thomas Cottenier, Phil Greenwood, Roberta Coelho, Ruzanna Chitchyan, Mario Südholt, and Wouter Joosen. Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe. IEEE Computer, 2010.


  5. Nicolas Tabareau, Jean-Jacques Slotine, and Quang-Cuong Pham. How synchronization protects from noise.. PLoS Computational Biology, 6(1):e1000637, 2010.


  6. Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, and Mario Südholt. Scoping strategies for distributed aspects. Science of Computer Programming, 75(12):1235-1261, October 2010.


2009
  1. Nicolas Anquetil, Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, and André Sousa. A Model-Driven Traceability Framework for Software Product Lines. Software and Systems Modeling, 2009.


  2. Pierre-Charles David, Thomas Ledoux, Marc Léger, and Thierry Coupaye. FPath and FScript: Language Support for Navigation and Reliable Reconfiguration Fractal Architectures. Annals of Telecommunications, 64:45-63, February 2009.


  3. Xavier Leroy and Hervé Grall. Coinductive big-step operational semantics. Information and Computation, 207:284-304, 2009. [Abstract]


2008
  1. Nicolas Anquetil, Hugo Arboleda, Fabricio Fernandes, Angel Nuñez, and Jean-Claude Royer. Lignes de produits logiciels et usines logicielles. RSTI - L'objet, Usines logicielles et lignes de produits logiciels, 14(3):15-31, November 2008.


  2. Nicolas Anquetil, Joost Noppen, and Ismenia Galvão. La traçabilité dans les lignes de produits logiciels. RSTI - L'objet, Usines logicielles et lignes de produits logiciels, 14(3):47-57, 2008.


  3. Fabricio Fernandes and Jean-Claude Royer. The STSLib Project: Towards a Formal Component Model Based on STS. Electronic Notes in Theoretical Computer Science, (215):131-149, 2008.


  4. Joost Noppen and Jean-Claude Royer. The Ample Project, Traceability of Software Product Line Development: Models and Uncertainty. Revue du Génie Logiciel, (85):43-48, June 2008.


  5. Éric Tanter, Rodolfo Toledo, Guillaume Pothier, and Jacques Noyé. Flexible Metaprogramming and AOP in Java. Science of Computer Programming, 72(1-2):22-30, 2008. Note: Special issue on Experimental Software and Toolkits.


2007
  1. Rémi Douence and Pascal Fradet. The next 700 Krivine machines. Higher-Order and Symbolic Computation, 20(3):237-255, September 2007. Keyword(s): Krivine machine, abstract machines, program transformation, compilation, functional language implementations.. [Abstract]


  2. Kelly Garces, C. Parra, Hugo Arboleda, A. Yie, and Rubby Casallas. Variability Management in a Model-Driven Software Product Line. Avances en Sistemas e InformÃ!'tica, 4(2):3-12, September 2007.


  3. Pierre Cointe, Hervé Albin-Amiot, and Rémi Douence. Le langage Java ou JavaHanoi : un cadre pour l'enseignement de Java. In Pierre Cointe, editor, Les langages à objets. Hermès, 2007. Note: Traité multi-volumes sur les sciences de l'ingénieur, série 4C.


2006
  1. Johan Brichau, Ruzanna Chitchyan, Siobhán Clarke, Ellie D'Hondt, Alessandro Garcia, Michael Haupt, Wouter Joosen, Shmuel Katz, Jacques Noyé, Awais Rashid, and Mario Südholt. A Model Curriculum for Aspect-Oriented Software Development. IEEE Software, 23(6):18, nov/dec 2006. Note: Special issue on Software Engineering Curriculum Development.


  2. Pierre Cointe. La programmation par aspects relève le défi des usines logicielles. 01 Informatique, pp 28, 30 juin 2006. Note: Carte blanche à l'occasion d'ECOOP 2006.


  3. Simon Denier and Pierre Cointe. Expression and Composition of Design Patterns with AspectJ. RSTI - L'objet, 12(2-3):41-61, 2006. Note: JFDLPA 2005.


  4. 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. Transactions on Aspect-Oriented Software Development, 3880:174-213, March 2006.


  5. Hervé Grall. A Confinement Criterion for Securely Executing Mobile Code. Journal of Automata, Languages and Combinatorics, 11(1):59-106, 2006.


  6. Pascal Poizat and Jean-Claude Royer. A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic. Journal of Universal Computer Science, 12(12):1741-1782, 2006.


  7. Marc Ségura-Devillechaise, Jean-Marc Menaud, Nicolas Loriant, Thomas Fritz, Rémi Douence, Mario Südholt, and Egon Wuchner. Dynamic Adaptation of the Squid Web Cache with Arachne. IEEE Software, 23(1):34-41, 2006. Note: Special Issue on Aspect-Oriented Computing.


2005
  1. Pierre-Charles David and Thomas Ledoux. Une approche par aspects pour le développement de composants Fractal adaptatifs. RSTI - L'objet, 12(2-3):113-132, 2005. Keyword(s): composants, Fractal, reconfiguration dynamique, aspect d'adaptation. [Abstract]


  2. Simon Denier. Traits Programming with AspectJ. RSTI - L'objet, 11(3):69-86, 2005.


  3. Rodrìguez Leonardo, Éric Tanter, and Jacques Noyé. La réflexion comportementale partielle comme infrastructure de programmation par aspects - Étude du cas des coupes dynamiques. RSTI - L'objet, 11(3):31-52, November 2005.


  4. Jacques Noyé, Rémi Douence, and Mario Südholt. Composants et aspects. In Mourrad Oussalah, editor, Ingénierie des composants : Concepts, techniques et outils, chapter 6, pages 169-195. pub.vui, 2005.


2004
  1. Pierre Cointe, Jacques Noyé, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Gilles Muller, and Mario Südholt. Programmation post-objets : des langages d'aspects aux langages de composants. RSTI - L'objet, 10(4):119-143, 2004.


  2. Jean-Claude Royer. Checking Class Schema Usefulness. Journal of Object Technology (JOT), 3(1):157-176, January 2004.


  3. Noury M. Bouraqadi-Saâdani and Thomas Ledoux. Supporting AOP Using Reflection. In Mehmet Aksit, SiobhÃ!'n Clarke, Tzilla Elrad, and Robert E. Filman, editors, Aspect-Oriented Software Development, pages 261-282. Addison-Wesley, 2004.


  4. Rémi Douence, Pascal Fradet, and Mario Südholt. Trace-Based Aspects. In Mehmet Aksit, SiobhÃ!'n Clarke, Tzilla Elrad, and Robert E. Filman, editors, Aspect-Oriented Software Development, pages 201-218. Addison-Wesley, 2004.


2003
  1. Gilles Muller, Julia Lawall, Scott Thibault, and Rasmus Erik Voel Jensen. A Domain-Specific Language Approach to Programmable Networks. IEEE Transactions on Systems, Man and Cybernetics, 33(3):370-381, August 2003.


  2. Jean-Claude Royer. Temporal Logic Verifications for UML: the Vending Machine Example. RSTI - L'objet, 9(4):73-92, 2003.


  3. Jean-Claude Royer. The GAT Approach to Specify Mixed Systems. Informatica, 27(1):89-103, 2003.


2002
  1. Jean-Claude Royer. An Operational Approach to the Semantics of Classes: Application to Type Checking. Programming and Computer Software, 27(3):127-147, 2002.


  2. David Touzet, Jean-Marc Menaud, Frédéric Weis, Paul Couderc, and Michel Banâtre. SIDE Surfer: Enriching Casual Meetings with Spontaneous Information Gathering. ACM SIGARCH CAN, 29(5), December 2002. Note: ISSN 0163-5964.


2001
  1. Noury M. Bouraqadi-Saâdani and Thomas Ledoux. Le point sur la programmation par aspects. RSTI - Technique et Science Informatique, 20(4), 2001.


  2. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. The Korrigan Environment. Journal of Universal Computer Science, 7(1):19-36, 2001.


  3. Rémi Douence and Mario Südholt. A generic reification technique for object-oriented reflective languages. Higher-Order and Symbolic Computation, 14(1):7-34, March 2001. Keyword(s): reflection, object-oriented programming, program transformation. [Abstract]


2000
  1. Pierre Cointe. Langages à objets. RSTI - Technique et Science Informatique, 19(1-2-3), 2000. [Abstract]


  2. Mireille Ducassé and Jacques Noyé. Tracing Prolog Programs by Source Instrumentation is Efficient Enough. Journal of Logic Programming, 42(2):157-172, May 2000.


  3. Luke Hornof and Jacques Noyé. Accurate Binding-Time Analysis for Imperative Languages: Flow, Context and Return Sensitivity. Journal of Theoritical Computer Science, 248(1-2):3-27, October 2000. [Abstract]


1999
  1. Isabelle Borne and Nicolas Revault. Comparaison d'outils de mise en oeuvre de Design Patterns. L'Objet, 5(2), 1999. Keyword(s): outils de mise en oeuvre, instantiation de design patterns, génération de code. [Abstract]


1998
  1. Charles Consel, Luke Hornof, Julia Lawall, Renaud Marlet, Gilles Muller, Jacques Noyé, Scott Thibault, and Eugen-Nicolae Volanschi. Partial Evaluation for Software Engineering. ACM Computing Surveys, 30(3), September 1998.


  2. Charles Consel, Luke Hornof, Julia Lawall, Renaud Marlet, Gilles Muller, Jacques Noyé, Scott Thibault, and Eugen-Nicolae Volanschi. Tempo: Specializing Systems Applications and Beyond. ACM Computing Surveys, 30(3), September 1998.


  3. H. A. Sahraoui, N. Revault, G. Blain, and J.-F. Perrot. Un outil pour la conception de bases de données à objets. Revue Technique et Science Informatique (TSI), 17(7), 1998. Keyword(s): génie logiciel, modélisation sémantique, méta-modélisation, méta-outils, bases de données à objets, acquisition des connaissances, programmation par règles.. [Abstract]


1997
  1. Pierre Cointe, Isabelle Borne, and P. Krief. Smalltalk à l'École des Mines de Nantes. L'Objet, 3(4), 1997. Keyword(s): teaching, research, reflection, object-oriented programming. [Abstract]


1996
  1. M. Aksit, A. Black, L. Cardelli, P. Cointe, J. Coplien, R. Guerraoui, G. Kiczales, D. Lea, O. Madsen, B. Magnusson, J. Meseguer, H. Moessenboeck, J. Palsberg, and D. Schmidt. Strategic Research Directions in Object-Oriented Programming. ACM Computing Surveys, 28(4):691-700, December 1996. Keyword(s): object-oriented programming, aspect-oriented programming, distributed programming, design pattern, framework.


  2. D. Badouel and Pierre Cointe. Java : quelque part entre Smalltalk et C++. L'Objet, 2(5):15-22, June 1996.


  3. Pierre Cointe. Reflective Languages and MetaLevel Architectures. ACM Computing Surveys, 28(4), December 1996. Note: Extended version of [aksit-black-al.acmcs1996].


  4. Jacques Malenfant, Christophe Dony, and Pierre Cointe. A Semantics of Introspection in a Reflective Prototype-Based Language. Lisp and Symbolic Computation, 9(2/2):153-179, May 1996. Keyword(s): objet oriented programming, programming language semantics, reflection. [Abstract]


1993
  1. Pierre Cointe. CLOS and Smalltalk: a Comparison. In A. Paepcke, editor, Object-Oriented Programming: The CLOS perspectives?, chapter 9, pages 215-250. The MIT Press, 1993.



BACK TO INDEX




Disclaimer:

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.




Last modified: Mon Jul 21 17:04:13 2014
Author: rcherr12.


This document was translated from BibTEX by bibtex2html