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



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



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



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

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. Diana Allam. A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts, March 2012. Note: Poster- AOSD 2012 (Aspect-Oriented Software Development) Student Research Competition. Keyword(s): Formal Methods, Security, Reference Monitors, Aspects, Service-Oriented Architecture.



2. Hervé Grall and Mayleen Lacouture. Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine. , 2012. Keyword(s): Distributed Computing, Concurrent Computing, Service-Oriented Computing, Chemical Semantics, Web Services, Interoperability.

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