Publications de l'équipe ASCOLA

2013

Articles dans des revues avec comité de lecture

Titre

Modular and Flexible Causality Control on the Web

Auteurs

Paul Leger; Éric Tanter; Rémi Douence

Détail

Science of Computer Programming, Elsevier, 2013

Accès au bibtex

Communications avec actes

Titre

Practical use of static composition of refactoring operations

Auteurs

Julien Cohen; Akram Ajouli

Détail

ACM Symposium On Applied Computing, Mar 2013, Portugal. 6 p.

Accès au bibtex

2012

Articles dans des revues avec comité de lecture

Titre

Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS

Auteurs

Flavien Quesnel ; Adrien Lèbre; Mario Südholt

Détail

Concurrency and Computation: Practice and Experience, 2012, pp. XX

Accès au bibtex

Titre

An Automatic Reversible Transformation from Composite to Visitor in Java

Auteurs

Akram Ajouli

Détail

CIEL 2012, P. Collet, P. Merle (eds.); Conférence en IngénieriE du Logiciel (CIEL), 2012

Accès au texte intégral et bibtex

Titre

btrScript : a safe management system for virtualized data center

Auteurs

Jean-Marc Menaud; Rémy Pottier

Détail

ICAS 2012, XPS, 2012

Accès au texte intégral et bibtex

Titre

Essential AOP: The A Calculus

Auteurs

Bruno De Fraine; Erik Ernst; Mario Südholt

Détail

ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2012

Accès au bibtex

Titre

Self-management of cloud applications and infrastructure for energy optimization

Auteurs

Frederico Alvares De Oliveira Jr.; Thomas Ledoux

Détail

SIGOPS Operating Systems Review, ACM, 2012, 46 (2)

Accès au bibtex

Communications avec actes

Titre

SLA-driven Capacity Planning for Cloud applications

Auteurs

Yousri Kouki; Thomas Ledoux

Détail

IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2012), Dec 2012, Taipei, Taiwan, Province Of China. pp. 0-0

Accès au bibtex

Titre

Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE

Auteurs

Omar Chebaro ; Michael Delahaye; Nikolai Kosmatov

Détail

24th International Conference on Software & Systems Engineering and their Applications (ICSSEA 2012), Oct 2012, Paris, France. http://icssea.enst.fr/icssea12/

Accès au bibtex

Titre

Extending Type Theory with Forcing

Auteurs

Guilhem Jaber; Nicolas Tabareau; Matthieu Sozeau

Détail

LICS 2012 : Logic In Computer Science, Jun 2012, Dubrovnik, Croatia. pp. _

Accès au texte intégral et bibtex

Titre

A lesson on structural testing with PathCrawler-online.com

Auteurs

Omar Chebaro ; Nikolai Kosmatov; Nicky Williams; Bernard Botella; Muriel Roger

Détail

6th International Conference on Tests & Proofs, May 2012, Prague, Czech Republic. pp. 0-0

Accès au bibtex

Titre

E\{Java, CaesarJ, Scala\} : un exercice d'intégration de la programmation par objets, par aspects et par évènements

Auteurs

Jacques Noyé

Détail

Duchien, Laurence and Barais, Olivier. Quatrièmes journées nationales du GDR GPL, Jun 2012, Rennes, France. pp. 85-86

Accès au texte intégral et bibtex

Titre

A Message-Passing Model for Service Oriented Computing

Auteurs

Diana Allam; Rémi Douence; Hervé Grall; Jean-Claude Royer; Mario Südholt

Détail

Karl-Heinz Krempels and José Cordeiro. WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. SciTePress Digital Library

Accès au texte intégral et bibtex

Titre

CSLA : a Language for Improving Cloud SLA Management

Auteurs

Yousri Kouki; Thomas Ledoux

Détail

International Conference on Cloud Computing and Services Science, CLOSER 2012., Apr 2012, Porto, Portugal. pp. 0-0

Accès au bibtex

Titre

Invertible Program Restructurings for Continuing Modular Maintenance

Auteurs

Julien Cohen; Rémi Douence; Akram Ajouli

Détail

Tom Mens, Anthony Cleve, Rudolf Ferenc. 16th European Conference on Software Maintenance and Reengineering (CSMR 2012), Mar 2012, Szeged, Hungary. IEEE, pp. 347-352

Accès au texte intégral et bibtex

Titre

Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing

Auteurs

Frederico Alvares De Oliveira Jr.; Remi Sharrock ; Thomas Ledoux

Détail

COORDINATION - International Conference on Coordination Models and Languages - 2012, Jun 2012, Stockholm, Sweden.

Accès au bibtex

Titre

Taming Aspects with Membranes

Auteurs

Éric Tanter; Nicolas Tabareau; Rémi Douence

Détail

Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany.

Accès au texte intégral et bibtex

Titre

A Practical Monadic Aspect Weaver

Auteurs

Ismael Figueroa; Éric Tanter; Nicolas Tabareau

Détail

Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany.

Accès au texte intégral et bibtex

Titre

A Monadic Interpretation of Execution Levels and Exceptions for AOP

Auteurs

Nicolas Tabareau

Détail

Modularity: AOSD'12, Mar 2012, Postdam, Germany. ACM Press

Accès au texte intégral et bibtex

Titre

A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts

Auteurs

Diana Allam

Détail

Proceedings of the 11th annual international conference on Aspect-oriented Software Deve. AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. ACM, pp. 9-10

Accès au texte intégral et bibtex

Titre

Proceedings of the seventh workshop on Domain-Specific Aspect Languages (DSAL 2012)

Auteurs

Tom Dinkelaker; Johan Fabry; Jacques Noyé

Détail

ACM Press. AOSD - Aspect-Oriented Software Development - 2012, Mar 2012, Potsdam, Germany.

Accès au bibtex

Titre

Adding high-level concurrency to EScala

Auteurs

Jurgen Van Ham

Détail

Aspect-oriented software development, Mar 2012, Potsdam, Germany. ACM Press, Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion, pp. 19-20

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

Self-management of applications and systems to optimize energy in data centers

Auteurs

Frederico Alvares De Oliveira Jr.; Adrien Lèbre; Thomas Ledoux; Jean-Marc Menaud

Détail

Ivona Brandic and Massimo Villari and Francesco Tusa. Achieving Federated and Self-Manageable Cloud Infrastructures: Theory and Practice, IGI Global, Feb. 2012

Accès au bibtex

Ouvrages scientifiques

Titre

Model-Driven and Software Product Line Engineering

Auteurs

Hugo Arboleda; Jean-Claude Royer

Détail

ISTE LTd and John Wiley & Sons, Inc., pp. 288, Aug. 2012, 978-1-84821-427-9

Accès au bibtex

Rapports

Titre

Refactoring Composite to Visitor and Inverse Transformation in Java

Auteurs

Akram Ajouli; Julien Cohen

Détail

[Report], 2012

Accès au texte intégral et bibtex

Titre

Adding Virtualization Capabilities to Grid'5000

Auteurs

Daniel Balouek; Alexandra Carpen Amarie; Ghislain Charrier; Frédéric Desprez; Emmanuel Jeannot; Emmanuel Jeanvoine; Adrien Lèbre; David Margery; Nicolas Niclausse; Lucas Nussbaum; Olivier Richard; Christian Pérez ; Flavien Quesnel ; Cyril Rohr ; Luc Sarzyniec

Détail

[Research Report], 2012, pp. 18. RR-8026

Accès au texte intégral et bibtex

Titre

From Implicit to Explicit Pavings

Auteurs

Gilles Chabert; Rémi Douence

Détail

[Research Report], 2012. RR-8028

Accès au texte intégral et bibtex

Titre

Well-Typed Services Cannot Go Wrong

Auteurs

Diana Allam; Rémi Douence ; Hervé Grall; Jean-Claude Royer; Mario Südholt

Détail

[Research Report], 2012. RR-7899

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine

Auteurs

Hervé Grall ; Mayleen Lacouture

Détail

Mar. 2012

Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre

Aspects Preserving Properties

Auteurs

Simplice Djoko Djoko; Rémi Douence; Pascal Fradet

Détail

Science of Computer Programming, Elsevier, 2011

Accès au bibtex

Titre

Structured and flexible gray-box composition using invasive distributed patterns

Auteurs

Ismael Mejia; Mario Südholt

Détail

International Journal on Computer Science and Information Systems, IADIS Press, 2011, 1, 6, pp. 13

Accès au texte intégral et bibtex

Titre

Aspectizing Java Access Control

Auteurs

Rodolfo Toledo; Angel Núñez; Éric Tanter; Jacques Noyé

Détail

IEEE Transactions on Software Engineering, IEEE Computer Society, 2011, 38 (1), pp. 101-117

Accès au bibtex

Titre

Energy-QoS Tradeoffs in J2EE Hosting Centers.

Auteurs

Aeiman Gadafi; Daniel Hagimont; Laurent Broto; Remi Sharrock ; Noël De Palma

Détail

International Journal of Autonomic Computing, IJAC, Inderscience, 2011

Accès au bibtex

Titre

Architecture for the Next Generation System Management Tools

Auteurs

Jérôme Gallard; Adrien Lèbre; Christine Morin; Thomas Naughton; Stephen Scott; Geoffroy Vallée

Détail

Future Generation Computer Systems, Elsevier, 2011

Accès au bibtex

Communications avec actes

Titre

Cross-layer SLA selection for Cloud services

Auteurs

Yousri Kouki; Thomas Ledoux; Remi Sharrock

Détail

IEEE International Symposium on Network Cloud Computing and Applications, NCCA 2011., Nov 2011, Toulouse, France. pp. 143-147

Accès au bibtex

Titre

Static Analysis of Aspect Interaction and Composition in Component Models

Auteurs

Abdelhakim Hannousse; Rémi Douence; Gilles Ardourel

Détail

the 10th International Conference on Generative Programming and Component Engineering (GPCE'11), Oct 2011, Portland, Oregon, United States. pp. 18

Accès au texte intégral et bibtex

Titre

Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures

Auteurs

Muhammed Sabir Idrees; Gabriel Serme; Yves Roudier; Anderson Santana De Oliveira; Hervé Grall; Mario Südholt

Détail

4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium.

Accès au bibtex

Titre

Composable Controllers in Fractal: Implementation and Interference Analysis

Auteurs

Abdelhakim Hannousse; Rémi Douence; Gilles Ardourel

Détail

the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'11), Aug 2011, Oulu, Finland. pp. 99

Accès au texte intégral et bibtex

Titre

Cooperative Dynamic Scheduling of Virtual Machines in Distributed Systems

Auteurs

Flavien Quesnel; Adrien Lèbre

Détail

6th Workshop on Virtualization in High-Performance Cloud Computing, Aug 2011, Bordeaux, France. Springer-Verlag, 7156, pp. 457-466, Lecture Notes in Computer Science

Accès au bibtex

Titre

DISCOVERY, Beyond the Clouds - DIStributed and COoperative framework to manage Virtual EnviRonments autonomicallY: a prospective study

Auteurs

Adrien Lèbre; Paolo Anedda; Massimo Gaggero; Flavien Quesnel

Détail

Virtualization for High Performance Cloud Computing workshop (colocated with EUROPAR 2011), Aug 2011, Bordeaux, France.

Accès au bibtex

Titre

Towards a Unified Formal Model for Service Orchestration and Choreography

Auteurs

Diana Allam; Hervé Grall; Jean-Claude Royer

Détail

Yves Ledru, Anne-Françoise Le Meur, Olivier Caron. Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), Jun 2011, Lille, France.

Accès au texte intégral et bibtex

Titre

The Synthesis Problem for Trusted Service-based Collaborations

Auteurs

Diana Allam; Rémi Douence; Hervé Grall; Jean-Claude Royer; Mario Südholt

Détail

Actes des troisi{é}mes journ{é}es nationales du Groupement De Recherche CNRS du G{é}nie de la Programmation et du Logiciel, Jun 2011, Lille, France.

Accès au bibtex

Titre

Program Transformation based Views for Modular Maintenance (poster)

Auteurs

Akram Ajouli; Julien Cohen; Rémi Douence

Détail

Yves Ledru, Anne-Françoise Le Meur, Olivier Caron. Troisièmes journées nationales du GDR GPL, Jun 2011, Lille, France. pp. 218-219

Accès au texte intégral et bibtex

Titre

Kalimucho: Contextual Deployment for QoS Management

Auteurs

Christine Louberry; Philippe Roose; Marc Dalmau

Détail

Distributed Applications and Interoperable Systems, Jun 2011, Reykjavik, Iceland. Springer, 6723, pp.43-56, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Consolidation dynamique d'applications Web haute-disponibilité

Auteurs

Fabien Hermenier ; Julia L. Lawall; Jean-Marc Menaud; Gilles Muller

Détail

CFSE - 8ème Conférence Francophone sur les Systèmes d'Exploitation, May 2011, St Malo, France.

Accès au bibtex

Titre

Kalimucho : Plateforme d'Adaptation des Applications Mobiles

Auteurs

Christine Louberry; Philippe Roose; Marc Dalmau

Détail

NOTERE 201- Conférence Internationale sur les NOuvelles Technologies de la REpartition, May 2011, Paris, France. pp. 83-90

Accès au texte intégral et bibtex

Titre

Invasive composition for the evolution of a health information system

Auteurs

Ismael Mejia; Mario Südholt; Luis Daniel Benavides Navarro

Détail

ACM Digital Library. 2nd International Workshop on Variability & Composition (VariComp 2011), Mar 2011, Pernambuco, Brazil. ACM New York, NY, USA, ISBN: 978-1-4503-0646-1

Accès au texte intégral et bibtex

Titre

Towards a robust model for distributed aspects

Auteurs

Ismael Mejia; Mario Südholt

Détail

ACM Digital Library. 1st Workshop In Modularity in Systems Software (MISS), Mar 2011, Pernambuco, Brazil. ACM New York, NY, USA, ISBN: 978-1-4503-0647-8

Accès au texte intégral et bibtex

Titre

Proceedings of the sixth annual workshop on Domain-specific aspect languages (DSAL 2011)

Auteurs

Tom Dinkelaker; Jacques Noyé; Éric Tanter

Détail

AOSD - Aspect-Oriented Software Development - 2011, Mar 2011, Porto de Galinhas, Brazil. ACM Press

Accès au bibtex

Titre

EScala: Modular Event-Driven Object Interactions in Scala

Auteurs

Vaidas Gasiūnas; Lucas Satabin; Mira Mezini; Angel Núñez; Jacques Noyé

Détail

10th International Conference on Aspect-Oriented Software Development (AOSD 2011), Mar 2011, Porto de Galinhas, Brazil. ACM Press

Accès au bibtex

Titre

Component types qualification in Java legacy code driven by communication integrity rules

Auteurs

Hugo Arboleda; Jean-Claude Royer

Détail

ACM. ISEC 2011 : India Software Engineering Conference, Feb 2011, Thiruvananthapuram, Kerala, India. pp. 155-164

Accès au bibtex

Titre

Operating Systems and Virtualization Frameworks: From Local to Distributed Similarities

Auteurs

Flavien Quesnel; Adrien Lèbre

Détail

19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing, Feb 2011, Ayia Napa, Cyprus. pp. 495

Accès au bibtex

Titre

Self-management of applications QoS for energy optimization in datacenters

Auteurs

Frederico Alvares De Oliveira Jr.; Thomas Ledoux

Détail

2nd International Workshop on Green Computing Middleware (GCM'2011), Dec 2011, Portugal. pp. 0-0

Accès au bibtex

Titre

Aspect oriented programming: a language for 2-categories

Auteurs

Nicolas Tabareau

Détail

Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, Mar 2011, Porto de Galinhas, Brazil. ACM, pp. 13-17

Accès au bibtex

Communications sans actes

Titre

The Journey of Biorthogonal Logical Relations to the Realm of Assembly Code

Auteurs

Guilhem Jaber; Nicolas Tabareau

Détail

Workshop LOLA 2011, Syntax and Semantics of Low Level Languages, Jun 2011, Toronto, Canada.

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Introduction

Auteurs

Awais Rashid; Jean-Claude Royer; Andreas Rummler

Détail

Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp. 3-26, Sep. 2011

Accès au bibtex

Titre

Managing Information Flow in SPL Development Processes

Auteurs

Nicolas Anquetil; Uira Kulesza; Ricardo Mateus; Ralf Mitschke; Ana Moreira; Jean-Claude Royer; Andreas Rummler

Détail

Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp. 222-262, Sep. 2011

Accès au bibtex

Titre

Product line implementation with ECaesarJ

Auteurs

Vaidas Gasiūnas; Angel Núñez; Jacques Noyé; Mira Mezini

Détail

Awais Rashid and Jean-Claude Royer and Andreas Rummler. Aspect-Oriented, Model-Driven Software Product Lines - The AMPLE Way, Cambridge University Press, Sep. 2011, ISBN-13: 9780521767224

Accès au bibtex

Titre

Empirical research in software product line engineering

Auteurs

Phil Greenwood; Vander Alves; John Hutchinson; Christa Schwanninger; Nicolas Anquetil

Détail

Awais Rashid and Jean-Claude Royer and Andreas Rummler. Aspect-Oriented, Model-Driven Software Product Lines -- The AMPLE way, Cambridge University Press, pp. 411-443, 2011, 978-0-521-76722-4

Accès au bibtex

Directions d'ouvrages

Titre

Aspect-Oriented, Model-Driven Software Product Lines The AMPLE Way

Auteurs

Awais Rashid; Jean-Claude Royer; Andreas Rummler

Détail

Cambridge University Press, pp. 470, Sep. 2011

Accès au bibtex

Rapports

Titre

Exploring Membranes for Controlling Aspects

Auteurs

Éric Tanter; Nicolas Tabareau; Rémi Douence

Détail

[Research Report], 2011, pp. 33. RR-7739

Accès au texte intégral et bibtex

Titre

Modular and Flexible Causality Control on the Web

Auteurs

Paul Leger; Éric Tanter; Rémi Douence

Détail

[Research Report], 2011. RR-7742

Accès au texte intégral et bibtex

Titre

Aspect Oriented Programming: a language for 2-categories

Auteurs

Nicolas Tabareau

Détail

[Research Report], 2011, pp. 30. RR-7527

Accès au texte intégral et bibtex

Titre

Dynamic Consolidation of Highly Available Web Applications

Auteurs

Fabien Hermenier; Julia Lawall; Jean-Marc Menaud; Gilles Muller

Détail

[Research Report], 2011, pp. 26. RR-7545

Accès au texte intégral et bibtex

Thèses

Titre

Aspectualizing Component Models : implementation and Interferences Analysis

Auteurs

Abdelhakim Hannousse

Détail

Ecole des Mines de Nantes, Nov. 2011. English

Accès au texte intégral et bibtex

Titre

A VPA-based Aspect Language

Auteurs

Dong Ha Nguyen

Détail

informatique. Université de Nantes, Oct. 2011. English

Accès au texte intégral et bibtex

Titre

Un interpréteur extensible pour le prototypage des langages d'aspects

Auteurs

Ali Assaf

Détail

informatique. Université de Nantes, Oct. 2011. English

Accès au texte intégral et bibtex

Titre

Un modèle de programmation intégrant classes, événements et aspects

Auteurs

Angel Núñez

Détail

informatique. Université de Nantes, Jun. 2011. English

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Decomposing Logical Relations with Forcing

Auteurs

Guilhem Jaber; Nicolas Tabareau

Détail

Mar. 2011

Accès au texte intégral et bibtex

Titre

Views, Program Transformations, and the Evolutivity Problem in a Functional Language

Auteurs

Julien Cohen; Rémi Douence

Détail

Jan. 2011. 19 pages

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Scoping strategies for distributed aspects

Auteurs

Éric Tanter; Johan Fabry; Rémi Douence; Jacques Noyé; Mario Südholt

Détail

Science of Computer Programming, Elsevier, 2010, 75 (12), pp. 1235-1261

Accès au bibtex

Titre

Managing Virtual Resources: Fly through the Sky

Auteurs

Jérôme Gallard; Adrien Lèbre

Détail

ERCIM News, ERCIM News, 2010, Cloud Computing, Platforms, Software and Applications, pp. 36-37

Accès au bibtex

Titre

Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe

Auteurs

Awais Rashid; Thomas Cottenier; Phil Greenwood; Ruzanna Chitchyan; Meunier Regine; Coelho Roberta; Mario Südholt; Wouter Joosen

Détail

IEEE COMPUTER, 2010, 43 (2), pp. 19-26

Accès au bibtex

Titre

How synchronization protects from noise.

Auteurs

Nicolas Tabareau; Jean-Jacques Slotine; Quang-Cuong Pham

Détail

PLoS Computational Biology, International Society for Computational Biology, 2010, 6 (1), pp. e1000637

Accès au bibtex

Communications avec actes

Titre

Architecture for the Next Generation System Management Tools.

Auteurs

Jérôme Gallard; Christine Morin; Geoffroy Vallée; Thomas Naughton; Stephen Scott; Adrien Lèbre

Détail

First International Conference on Utility and Cloud Computing (UCC 2010), Dec 2010, Chennai, India.

Accès au bibtex

Titre

A Comparison of Model Migration Tools

Auteurs

Louis Rose; Markus Herrmannsdoerfer; James Williams; Dimitrios Kolovos; Kelly Garcés; Richard Paige; Fiona Polack

Détail

Proc. of Models 2010 Foundation Track, Oct 2010, Norway.

Accès au texte intégral et bibtex

Titre

Fiesta Toolkit: Model-Driven Software Product Lines in Practice

Auteurs

Hugo Arboleda; Andres Romero; Rubby Casallas; Jean-Claude Royer

Détail

Brazilian Conference on Software: Theory and Practice, Sep 2010, Brazil. pp. 61-66

Accès au bibtex

Titre

Automated Reasoning for Derivation of Model-Driven SPLs

Auteurs

Hugo Arboleda; Victor Vargas; Francisco Diaz Juan; Jean-Claude Royer

Détail

Lancaster University. 2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) at SPLC 2010, Sep 2010, Korea, Republic Of. Volume 2, pp. 181-188

Accès au bibtex

Titre

CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources

Auteurs

Mayleen Lacouture; Hervé Grall; Thomas Ledoux

Détail

M.R. Mousavi and G. Salaün. International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Sep 2010, PARIS, France.

Accès au texte intégral et bibtex

Titre

FICS 2010

Auteurs

Dale Miller; Arnaud Carayol; Panos Rondogiannis; Lars Birkedal; Marek Czarnecki; Hervé Grall; Paul Levy; Matteo Mio; Keiko Nakata; Andrei Romashchenko; Jan Schwinghammer; Kristian Støvring; Tarmo Uustalu; Pawel Waszkiewicz

Détail

Luigi Santocanale. 7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp. 89

Accès au texte intégral et bibtex

Titre

Performance and Power Management for Cloud Infrastructures

Auteurs

Jean-Marc Menaud; Hien Nguyen Van; Frédéric Dang Tran

Détail

Cloud 2010, Jul 2010, Miami - Florida, United States. pp. 329-336

Accès au bibtex

Titre

La contrainte Increasing NValue

Auteurs

Nicolas Beldiceanu; Fabien Hermenier; Xavier Lorca; Thierry Petit

Détail

JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp. 61-70

Accès au texte intégral et bibtex

Titre

Essential AOP: The A Calculus

Auteurs

Bruno De Fraine; Erik Ernst; Mario Südholt

Détail

Theo De Hondt. European Conference on Object-Oriented Programming, Jun 2010, Maribor, Slovenia. Springer Verlag, pp. 000, LNCS

Accès au bibtex

Titre

Reliable Dynamic Reconfiguration in a Reflective Component Model

Auteurs

Marc Léger; Thomas Ledoux; Thierry Coupaye

Détail

Springer Berlin / Heidelberg. CBSE 2010, Jun 2010, Czech Republic. pp. 74-92, LNCS

Accès au bibtex

Titre

Cluster-Wide Context Switch of Virtualized Jobs

Auteurs

Fabien Hermenier; Adrien Lèbre; Jean-Marc Menaud

Détail

VTDC10 - The 4th International Workshop on Virtualization Technologies in Distributed Computing, Jun 2010, Chicago, United States.

Accès au texte intégral et bibtex

Titre

Views for Aspectualizing Component Models

Auteurs

Abdelhakim Hannousse; Gilles Ardourel; Rémi Douence

Détail

the 9th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2010), Mar 2010, St-Malo, France. acp4is10

Accès au bibtex

Titre

Vers une réification de l'énergie dans le domaine du logiciel

Auteurs

Jean-Marc Menaud; Adrien Lèbre; Thomas Ledoux; Jacques Noyé; Pierre Cointe; Rémi Douence; Mario Südholt

Détail

Journées du GDR Génie de la Programmation et du Logiciel, Mar 2010, France. pp. 000

Accès au bibtex

Titre

Automatizing the Evaluation of Model Matching Systems

Auteurs

Kelly Garcés; Wolfgang Kling; Frédéric Jouault

Détail

Workshop on matching and meaning 2010, Mar 2010, Leicester, United Kingdom.

Accès au texte intégral et bibtex

Titre

Cross-Document Dependency Analysis for System-of-System Integration

Auteurs

Asad Naqvi; Ruzanna Chitchyan; Steffen Zschaler; Awais Rashid; Mario Südholt

Détail

15th Monterey Workshop - Foundations of Computer Software, Future Trends and Techniques for Development (Monterey'08), 2008, France. Springer Verlag, pp. 0, 2010

Accès au bibtex

Titre

A Reconfiguration Language for Virtualized Grid Infrastructures

Auteurs

Rémy Pottier; Marc Léger; Jean-Marc Menaud

Détail

10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2010, France. 6115, VMScript

Accès au texte intégral et bibtex

Titre

The increasing nvalue constraint

Auteurs

Nicolas Beldiceanu; Fabien Hermenier; Xavier Lorca; Thierry Petit

Détail

7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'10), 2010, Italy. pp. 20-35

Accès au bibtex

Titre

Self-optimisation of the energy footprint in Service-Oriented Architectures

Auteurs

Frederico Alvares De Oliveira Jr.; Thomas Ledoux

Détail

1st International Workshop on Green Computing Middleware, Nov 2010, India. pp. 4-9

Accès au bibtex

Titre

A theory of distributed aspects

Auteurs

Nicolas Tabareau

Détail

ACM. 9th International Conference on Aspect-Oriented Software Development (AOSD '10), Mar 2010, Rennes, Saint-Malo, France. pp. 133-144

Accès au texte intégral et bibtex

Titre

Saline: Improving Best-Effort Job Management in Grids

Auteurs

Jérôme Gallard; Adrien Lèbre; Christine Morin

Détail

PDP 2010: The 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing -- Special Session: Virtualization in Distributed Systems, 2010, Pisa, Italy.

Accès au bibtex

Titre

Structured and flexible gray-box composition: Application to task rescheduling for grid benchmarking

Auteurs

Ismael Mejia; Mario Südholt

Détail

IADIS International Conference APPLIED COMPUTING 2010, Oct 2010, Timisoara, Romania.

Accès au texte intégral et bibtex

Communications sans actes

Titre

Krivine realizability for compiler correctness

Auteurs

Guilhem Jaber; Nicolas Tabareau

Détail

Workshop LOLA 2010, Syntax and Semantics of Low Level Languages, Jul 2010, Edinburgh, United Kingdom.

Accès au texte intégral et bibtex

Directions d'ouvrages

Titre

Langages et Modèles à Objets

Auteurs

Eric Cariou; Jean-Claude Royer

Détail

Université de Pau et des pays de l'adour, pp. 100, Mar. 2010

Accès au bibtex

Titre

Proceedings of the 9th Int. Conference on Aspect-Oriented Software Development

Auteurs

Mario Südholt; Uwe Hohenstein; Jean-Marc Jézéquel; Benoit Baudry

Détail

ACM, pp. 230, Mar. 2010

Accès au bibtex

Mémoires

Titre

Krivine Realizability for Compiler Correctness

Auteurs

Guilhem Jaber

Accès au texte intégral et bibtex

Rapports

Titre

Controlling Contractors with Monads for Hybrid Dynamical Systems

Auteurs

Gilles Chabert; Rémi Douence

Détail

[Research Report], 2010, pp. 20. RR-7451

Accès au texte intégral et bibtex

Titre

Architecture for the Next Generation System Management Tools for Distributed Computing Platforms

Auteurs

Jérôme Gallard; Geoffroy Vallée; Thomas Naughton; Adrien Lèbre; Stephen Scott; Christine Morin

Détail

[Research Report], 2010. RR-7325

Accès au texte intégral et bibtex

Titre

Declarative Events for Object-Oriented Programming

Auteurs

Vaidas Gasiūnas; Lucas Satabin; Mira Mezini; Angel Núñez; Jacques Noyé

Détail

[Research Report], 2010, pp. 38. RR-7313

Accès au texte intégral et bibtex

Thèses

Titre

Une approche pour l'adaptation et l'évaluation de stratégies génériques d'alignement de modèles

Auteurs

Kelly Garces

Détail

informatique. Université de Nantes, Sep. 2010. English

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Proving Fixed Points

Auteurs

Hervé Grall

Détail

Jul. 2010

Accès au texte intégral et bibtex

Titre

Linear logic as a foundation for service-oriented computing

Auteurs

Hervé Grall; Nicolas Tabareau

Détail

Apr. 2010

Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre

A Model-Driven Traceability Framework for Software Product Lines

Auteurs

Nicolas Anquetil; Uira Kulesza; Ralf Mitschke; Ana Moreira; Jean-Claude Royer; Andreas Rummler; André Sousa

Détail

Software and Systems Modeling, 2009, http://www.springerlink.com/content/wvm4hv8r78117785/

Accès au bibtex

Communications avec actes

Titre

JavaCompExt: Extracting Architectural Elements from Java Source Code

Auteurs

Pascal André; Nicolas Anquetil; Gilles Ardourel; Jean-Claude Royer; Petr Hnetynka; Thomas Poch; Dragos Petrascu; Vladiela Petrascu

Détail

Working Conference on Reverse Engineering 2009, Oct 2009, France. ISBN 978-0-7695-3867-9, pp. 317-318

Accès au bibtex

Titre

Dealing with Fine-Grained Configurations in Model-Driven SPLs

Auteurs

Hugo Arboleda; Rubby Casallas; Jean-Claude Royer

Détail

SPLC, Aug 2009, United States. pp. 1-10

Accès au bibtex

Titre

Declarative Definition of Contexts with Polymorphic Events

Auteurs

Angel Núñez; Jacques Noyé; Vaidas Gasiūnas

Détail

Pascal Costanza and Richard P. Gabriel and Robert Hirschfeld and Jorge Vallejos. International Workshop on Context-Oriented Programming at ECOOP '09 (COP '09), Jul 2009, Genova, Italy. ACM Press, European Conference on Object-Oriented Programming - International Workshop on Context-Oriented Programming

Accès au bibtex

Titre

Product Derivation in a Model-Driven Software Product Line using Decision Models

Auteurs

Hugo Arboleda; Andres Romero; Rubby Casallas; Jean-Claude Royer

Détail

IDEAS, Apr 2009, Colombia. pp. 59-72

Accès au bibtex

Titre

Expressive Scoping of Distributed Aspects

Auteurs

Éric Tanter; Johan Fabry; Rémi Douence; Jacques Noyé; Mario Südholt

Détail

AOSD 2009, Mar 2009, Charlottesville, Virginia, United States. ACM Press, Proceedings of the 8th ACM international conference on Aspect-oriented software development, pp. 27-38

Accès au bibtex

Titre

Flexible Pointcut Implementation: An Interpreted Approach

Auteurs

Ali Assaf; Jacques Noyé

Détail

Bernard Carré. Langages et Modèles à Objets (LMO 2009), Mar 2009, Nancy, France. Cépaduès-Editions, pp. 45-60

Accès au bibtex

Titre

Proceedings of the 4th workshop on Domain-specific aspect languages (DSAL 2009)

Auteurs

Thomas Cleenewerck; Johan Fabry; Anne-Françoise Le Meur; Jacques Noyé; Éric Tanter

Détail

Aspect-oriented software development, Mar 2009, Charlottesville, Virginia, United States. ACM Press

Accès au bibtex

Titre

Event Strictness for Components with Complex Bindings

Auteurs

Fabricio Fernandes; Jean-Claude Royer; Robin Passama

Détail

ISEC, Feb 2009, India. pp. 47-56

Accès au bibtex

Titre

JavaCompExt: Extracting Architectural Elements from Java Source Code

Auteurs

Pascal André; Nicolas Anquetil; Gilles Ardourel; Jean-Claude Royer; Petr Hnetynka; Tomás Poch; Dragos Petrascu; Vladiela Petrascu

Détail

WCRE, Oct 2009, Lille, France. IEEE, pp. 317-318

Accès au texte intégral et bibtex

Titre

Managing Model Adaptation by Precise Detection of Metamodel Changes

Auteurs

Kelly Garcés; Frédéric Jouault; Pierre Cointe; Jean Bézivin

Détail

In Proc. of ECMDA 2009, Jun 2009, Enschede,, Netherlands. Springer, pp. 34-49

Accès au texte intégral et bibtex

Titre

A Domain Specific Language for Expressing Model Matching

Auteurs

Kelly Garcés; Frédéric Jouault; Pierre Cointe; Jean Bézivin

Détail

Proceedings of the 5ère Journée sur l'Ingénierie Dirigée par les Modèles (IDM09), Mar 2009, Nancy, France, France. pp. 33-48

Accès au texte intégral et bibtex

Titre

Autonomic virtual resource management for service hosting platforms

Auteurs

Hien Nguyen Van; Frédéric Dang Tran; Jean-Marc Menaud

Détail

Workshop on Software Engineering Challenges in Cloud Computing, May 2009, Vancouver, Canada, Canada. pp. 1-8

Accès au texte intégral et bibtex

Titre

SLA-aware virtual resource management for cloud infrastructures

Auteurs

Hien Nguyen Van; Frederic Dang Tran; Jean-Marc Menaud

Détail

9th IEEE International Conference on Computer and Information Technology (CIT'09), Oct 2009, Xiamen, China. pp. 1-8

Accès au texte intégral et bibtex

Titre

Lazy Composition of Representations in Java

Auteurs

Rémi Douence; Xavier Lorca; Nicolas Loriant

Détail

SC'09 (International Conference on Software Composition), Jul 2009, Lille, France. Springer Verlag, 5634, pp. 55-71

Accès au texte intégral et bibtex

Titre

Complementarity between Virtualization and Single System Image Technologies

Auteurs

Jérôme Gallard; Geoffroy Vallée; Adrien Lèbre; Christine Morin; Pascal Gallard; Stephen Scott

Détail

Euro-Par 2008 Workshops - Parallel Processing: VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Aug 2008, Las Palmas de Gran Canaria, Spain. 2009

Accès au bibtex

Titre

Refinement Proposal of the Goldberg's Theory

Auteurs

Jérôme Gallard; Adrien Lèbre; Geoffroy Vallée; Christine Morin; Pascal Gallard; Stephen Scott

Détail

ICA3PP'09: International Conference on Algorithms and Architectures for Parallel Processing, Jun 2009, Tapei, Taiwan, Province Of China. pp. 853-865

Accès au bibtex

Titre

Entropy: a consolidation manager for clusters

Auteurs

Fabien Hermenier; Xavier Lorca; Jean-Marc Menaud; Gilles Muller; Julia Lawall

Détail

VEE '09: Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, Mar 2009, New York, NY, USA, United States. ACM, pp. 41-50

Accès au bibtex

Titre

Changement de contexte pour tâches virtualisées à l'échelle des grappes

Auteurs

Fabien Hermenier; Adrien Lèbre; Jean-Marc Menaud

Détail

7ème Conférence Francophone sur les Systèmes d'Exploitation (CFSE09), 2009, Toulouse, France.

Accès au texte intégral et bibtex

Titre

Handling Persistent States in Process Checkpoint/Restart Mechanisms for HPC Systems

Auteurs

Pierre Riteau; Adrien Lèbre; Christine Morin

Détail

9th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID '09), May 2009, Shanghai, China.

Accès au bibtex

Titre

Unifying Runtime Adaptation and Design Evolution

Auteurs

Brice Morin; Thomas Ledoux; Mahmoud Ben Hassine; Franck Chauvel; Olivier Barais; Jean-Marc Jézéquel

Détail

IEEE 9th International Conference on Computer and Information Technology (CIT'09), 2009, Xiamen, China, China.

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Designing Open-Ended Languages: An Historical Perspective

Auteurs

Pierre Cointe

Détail

Gerard Assayag and Andrez Gerzso. New Computational Paradigms for Computer Music, Delatour France / IRCAM Centre Georges Pompidou, pp. 49-64, 2009, Musique/Sciences

Accès au bibtex

Ouvrages scientifiques

Titre

Proceedings of the 8th Int. Workshop on Foundations of Aspect-Oriented Languages (FOAL'09)

Auteurs

Mario Südholt

Détail

ACM, pp. 0, Mar. 2009, 978-1-60558-452-2

Accès au bibtex

Rapports

Titre

Aspects Preserving Properties

Auteurs

Simplice Djoko Djoko; Rémi Douence; Pascal Fradet

Détail

[Research Report], 2009. RR-7155

Accès au texte intégral et bibtex

Titre

Cluster-Wide Context Switch of Virtualized Jobs

Auteurs

Fabien Hermenier; Adrien Lèbre; Jean-Marc Menaud

Détail

[Research Report], 2009. RR-6929

Accès au texte intégral et bibtex

Titre

Saline: Improving Best-Effort Job Management in Grids

Auteurs

Jérôme Gallard; Adrien Lèbre; Christine Morin

Détail

[Research Report], 2009. RR-7055

Accès au texte intégral et bibtex

Thèses

Titre

Gestion dynamique des tâches dans les grappes, une approche à base de machines virtuelles

Auteurs

Fabien Hermenier

Détail

informatique. Université de Nantes, Nov. 2009. French

Accès au texte intégral et bibtex

Titre

FieSta: An approach for Fine-Grained Scope Definition, Configuration and Derivation of Model-Driven Software Product Lines

Auteurs

Hugo Arboleda

Détail

Université de Nantes; Universidad Los Andès, Bogota, Oct. 2009. English

Accès au texte intégral et bibtex

Titre

Fiabilité des reconfigurations dynamiques dans les architectures à composants

Auteurs

Marc Léger

Détail

Informatique temps réel, robotique et automatique. École Nationale Supérieure des Mines de Paris, May. 2009. French

Accès au texte intégral et bibtex

2008

Articles dans des revues avec comité de lecture

Titre

La traçabilité dans les lignes de produits logiciels

Auteurs

Nicolas Anquetil; Ismenia Galvão; Joost Noppen

Détail

RSTI - L'OBJET, 2008, 14 (3), pp. 47-57

Accès au bibtex

Communications avec actes

Titre

Traceability for Model Driven, Software Product Line Engineering

Auteurs

Nicolas Anquetil; Birgit Grammel; Ismenia Galvão; Joost Noppen; Soffora Shakil Khan; Hugo Arboleda; Awais Rashid

Détail

ECMDA Traceability Workshop, Jun 2008, Germany. pp. 77-86

Accès au bibtex

Titre

Summary of the third workshop on Domain-Specific Aspect Languages

Auteurs

Thomas Cleenewerck; Jacques Noyé; Johan Fabry; Anne-Françoise Le Meur; Éric Tanter

Détail

DSAL '08: Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages, Mar 2008, Bruxelles, Belgium. ACM Press, pp. 1-5

Accès au bibtex

2005

Communications avec actes

Titre

Automating adaptive image generation for medical devices using Aspect-Oriented Programming

Auteurs

Thomas Fritz; Marc Ségura Devillechaise; Mario Südholt; Egon Wuchner; Jean-Marc Menaud

Détail

10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05), 2005, Italy. pp. 1025-1032

Accès au bibtex

2003

Communications avec actes

Titre

Extensibilité Dynamique dans les Caches Web {:} une Approche par Aspects

Auteurs

Marc Ségura Devillechaise; Jean-Marc Menaud; Julia Lawall; Gilles Muller

Détail

3ème Conférence Française sur les Systèmes d'Exploitation ({CFSE'03}), 2003, La Colle sur Loup, France. pp. 477-487

Accès au bibtex

Titre

Web Cache Prefetching as an aspect{:} Towards a Dynamic-Weaving Based Solution

Auteurs

Marc Ségura Devillechaise; Jean-Marc Menaud; Gilles Muller; Julia Lawall

Détail

2nd AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), 2003, Boston, Massachusetts, USA, United States. pub.acm, pp. 110-119

Accès au bibtex

2000

Articles dans des revues avec comité de lecture

Titre

Tracing Prolog programs by source instrumentation is efficient enough

Auteurs

Mireille Ducassé; Jacques Noyé

Détail

The Journal of Logic Programming, Elsevier, 2000

Accès au bibtex

1994

Articles dans des revues avec comité de lecture

Titre

Logic Programming Environments: Dynamic program analysis and debugging

Auteurs

Mireille Ducassé; Jacques Noyé

Détail

The Journal of Logic Programming, Elsevier, 1994

Accès au bibtex