Publications of year 2010
Books and proceedings
  1. Eric Cariou and Jean-Claude Royer. Langages et Modèles à Objets. Université de Pau et des pays de l'adour, March 2010. Note: ISSN 2105-102X.

  2. Proceedings of the 9th Int. Conference on Aspect-Oriented Software Development, March 2010. ACM.

  1. Kelly Garces. Une approche pour l'adaptation et l'évaluation de stratégies génériques d'alignement de modèles. THESE, Université de Nantes, September 2010. Keyword(s): Génie des Modèles, Transformation de modèles, Alignement de modèles.

Articles in journal or book chapters
  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.

Conference articles
  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.
    Systems-of-systems are formed through integration of individual complex systems, often not designed to work together. A number of factors can make this integration very challenging which often leads to catastrophic failures. In this paper, we focus on three major classes of system-of-system integration problems: managerial independence, interface incompatibility, and component-system complexity. We then present an aspect-oriented requirements description language (RDL) which uses natural language analysis capabilities to reason about dependencies across the documentation of the constituent systems of a system-of-systems. The aspect-oriented compositions in the RDL also facilitate specification of cross-document constraints and inconsistency resolution strategies, which can be used for deriving proof obligations and test cases for verification and validation of the emergent behaviour of a system-of-systems. We showcase the capabilities of our RDL through a case study of a real-world emergency response system. Our analysis shows that the querying and composition capabilities of the RDL provide valuable support for reasoning across documentation of multiple systems and specifying suitable integration constraints.

  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.

Internal reports
  1. Gilles Chabert and Rémi Douence. Controlling Contractors with Monads for Hybrid Dynamical Systems. Research Report RR-7451, INRIA, November 2010. Keyword(s): hybrid dynamical systems, continuous constraints, monads.

  2. Jérôme Gallard, Geoffroy Vallée, Thomas Naughton, J., Adrien Lèbre, Stephen Scott, L., and Christine Morin. Architecture for the Next Generation System Management Tools for Distributed Computing Platforms. Research Report RR-7325, INRIA, May 2010.

  3. Vaidas Gasiunas, Lucas Satabin, Mira Mezini, Angel Núñez, and Jacques Noyé. Declarative Events for Object-Oriented Programming. Research Report RR-7313, INRIA, May 2010. Keyword(s): Event-Driven Programming, Object-Oriented Programming, Aspect-Oriented Programming, Declarative Events, Scala.

  1. Guilhem Jaber. Krivine Realizability for Compiler Correctness. Master's thesis, June 2010.

  2. Hervé Grall. Proving Fixed Points. , 2010. Keyword(s): fixed points, partially ordered sets, inference systems, induction, coinduction.

  3. Hervé Grall and Nicolas Tabareau. Linear logic as a foundation for service-oriented computing. , 2010.



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: Wed May 31 15:05:58 2017
Author: helene.

This document was translated from BibTEX by bibtex2html