Equipe de recherche TRISKELL

Publications de l'équipe TRISKELL

2012

Articles dans des revues avec comité de lecture

Titre: Kompren: Modeling and Generating Model Slicers
Auteurs: Arnaud Blouin; Benoit Combemale; Benoit Baudry; Olivier Beaudoux
Détail: Software and Systems Modeling, Springer, 2012
Accès au texte intégral et bibtex

Titre: Bridging the Chasm Between MDE and the World of Compilation
Auteurs: Jean-Marc Jézéquel; Benoît Combemale; Steven Derrien; Clément Guy ; Sanjay Rajopadhye
Détail: Journal of Software and Systems Modeling (SoSyM), Springer, 2012, 11 (4), pp. 581-597
Accès au texte intégral et bibtex

Titre: Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
Auteurs: Philippe Dhaussy; Frédéric Boniol; Jean-Charles Roger; Amine Raji; Yves Le Traon; Benoît Baudry
Détail: Technique et Science Informatiques (TSI), 2012, VOL 31 (6), pp. 797-826
Accès au bibtex

Titre: Usage and Testability of AOP: an empirical study of AspectJ
Auteurs: Freddy Munoz; Benoit Baudry ; Romain Delamare; Yves Le Traon
Détail: Information and Software Technology, Elsevier, 2012
Accès au texte intégral et bibtex

Titre: P2POEM: Function optimization in P2P networks
Auteurs: Marco Biazzini ; Alberto Montresor
Détail: Peer-to-Peer Networking and Applications, 2012, pp. 1-20
Accès au texte intégral et bibtex

Titre: Fixing Generalization Defects in UML Use Case Diagrams
Auteurs: Xavier Dolques; Marianne Huchard ; Clémentine Nebut; Philippe Reitz
Détail: Fundamenta Informaticae, IOS PRESS, 2012, 115 (4), pp. 327-356
Accès au bibtex

Titre: User Data Confidentiality in an Orchestration of Web Services
Auteurs: Thomas Demongeot; Eric Totel; Valérie Viet Triem Tong; Yves Le Traon
Détail: International Journal of Information Assurance and Security, 2012, 7, pp. nc
Accès au bibtex

Titre: Modeling Modeling Modeling
Auteurs: Pierre-Alain Muller; Frédéric Fondement; Benoit Baudry; Benoit Combemale
Détail: SOSYM, Springer-Verlag, 2012, 11 (3), pp. 347-359
Accès au texte intégral et bibtex

Titre: Reusable model transformations
Auteurs: Sagar Sen; Naouel Moha; Vincent Mahé; Olivier Barais; Benoit Baudry; Jean-Marc Jézéquel
Détail: Software and Systems Modeling (SoSyM), Springer, 2012, 11 (1), pp. 111-125
Accès au texte intégral et bibtex

Articles dans des revues sans comité de lecture

Titre: Comment allons-nous développer d'ici 5 à 10 ans ?
Auteurs: Didier Vojtisek
Détail: Programmez!, Magazine Programmez, 2012, 150, pp. 44-46
Accès au texte intégral et bibtex

Communications avec actes

Titre: Leveraging CVL to Manage Variability in Software Process Lines
Auteurs: Emmanuelle Rouillé; Benoit Combemale; Olivier Barais; David Touzet; Jean-Marc Jézéquel
Détail: Asia-Pacific Software Engineering Conference, Dec 2012, Hong Kong, China.
Accès au texte intégral et bibtex

Titre: A Design Pattern to Build Executable DSMLs and associated V&V tools
Auteurs: Benoit Combemale ; Xavier Crégut ; Marc Pantel
Détail: The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Dec 2012, Hong Kong, Hong Kong. IEEE
Accès au texte intégral et bibtex

Titre: Managing Execution Environment Variability during Software Testing: an industrial experience
Auteurs: Aymeric Hervieu; Benoit Baudry; Arnaud Gotlieb
Détail: International Conference on Testing Software and Systems, Nov 2012, Aalborg, Denmark. Springer
Accès au texte intégral et bibtex

Titre: Specification and Detection of SOA Antipatterns
Auteurs: Naouel Moha; Francis Palma; Mathieu Nayrolles; Benjamin Joyen Conseil; Guéhéneuc Yann-Gael; Benoit Baudry ; Jean-Marc Jézéquel
Détail: Chengfei Liu, Heiko Ludwig, Farouk Toumani. International Conference on Service Oriented Computing, Nov 2012, Shanghai, China.
Accès au texte intégral et bibtex

Titre: A Vision for Behavioural Model-Driven Validation of Software Product Lines
Auteurs: Xavier Devroey; Maxime Cordy ; Gilles Perrouin; Eun-Young Kang; Pierre-Yves Schobbens ; Patrick Heymans; Axel Legay; Benoit Baudry
Détail: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Heraclion, Greece.
Accès au texte intégral et bibtex

Titre: Towards Behavioural Model-Driven Validation of Software Product Lines
Auteurs: Xavier Devroey; Maxime Cordy ; Gilles Perrouin; Eun-Young Kang; Pierre-Yves Schobbens ; Patrick Heymans ; Axel Legay; Benoit Baudry
Détail: 5th International Sympoisum on Leveraging Applications of Formal Methods, Oct 2012, Héraklion, Crète, Greece.
Accès au bibtex

Titre: An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements
Auteurs: François Fouquet; Grégory Nain; Brice Morin; Erwan Daubert; Olivier Barais; Noël Plouzeau; Jean-Marc Jézéquel
Détail: Models 2012, Oct 2012, Innsbruck, Austria.
Accès au texte intégral et bibtex

Titre: Aligning SysML with the B Method to Provide V&V for Systems Engineering
Auteurs: Erwan Bousse ; David Mentré; Benoit Combemale ; Benoit Baudry ; Katsuragi Takaya
Détail: Model-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), Sep 2012, Innsbruck, Austria.
Accès au texte intégral et bibtex

Titre: Defining and Retrieving Themes in Nuclear Regulations
Auteurs: Nicolas Sannier; Benoit Baudry
Détail: Fifth International Workshop on Requirements Engineering and Law (RELAW 2012), Sep 2012, Chicago, United States.
Accès au texte intégral et bibtex

Titre: Toward Multilevel Textual Requirements Traceability Using Model-Driven Engineering and Information Retrieval
Auteurs: Nicolas Sannier ; Benoit Baudry
Détail: Second International Model-Driven Requirements Engineering (MoDRE) Workshop, Sep 2012, Chicago, United States.
Accès au texte intégral et bibtex

Titre: A Model-Driven Approach for Virtual Machine Image Provisioning in Cloud Computing
Auteurs: Tam Le Nhan; Gerson Sunyé; Jean-Marc Jézéquel
Détail: European Conference on Service-Oriented and Cloud Computing (ESOCC 2012), Sep 2012, Bertinoro, Italy. Springer-Verlag Berlin Heidelberg, pp. 107-121
Accès au bibtex

Titre: An Approach for Semantic Enrichment of Software Product Lines
Auteurs: J.B.F. Filho; Olivier Barais; Benoit Baudry; Windson Viana; Rossana Andrade
Détail: Third International Workshop on Knowledge Oriented Product Line Engineering (KOPLE), Sep 2012, Salvador, Brazil.
Accès au bibtex

Titre: Model-Based Product Line Evolution: an Incremental Growing by Extension
Auteurs: Stephen Creff; Joël Champeau; Jean-Marc Jezequel
Détail: 16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. II, pp. 107-114
Accès au bibtex

Titre: A Dynamic Component Model for Cyber Physical Systems
Auteurs: François Fouquet; Olivier Barais; Noël Plouzeau; Jean-Marc Jézéquel; Brice Morin; Franck Fleurey
Détail: 15th International ACM SIGSOFT Symposium on Component Based Software Engineering, Jul 2012, Bertinoro, Italy.
Accès au texte intégral et bibtex

Titre: On Model Subtyping
Auteurs: Clément Guy ; Benoit Combemale ; Steven Derrien ; James Steel; Jean-Marc Jézéquel
Détail: ECMFA - 8th European Conference on Modelling Foundations and Applications, Jul 2012, Kgs. Lyngby, Denmark.
Accès au texte intégral et bibtex

Titre: Specifying and Running Rich Graphical Components with Loa
Auteurs: Olivier Beaudoux; Mickaël Clavreul; Arnaud Blouin; Mengqiang Yang; Olivier Barais; Jean-Marc Jézéquel
Détail: EICS'12: Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems, Jun 2012, Copenhagen, Denmark. pp. 169-178
Accès au texte intégral et bibtex

Titre: Dissemination of reconfiguration policies on mesh networks
Auteurs: François Fouquet; Erwan Daubert; Noël Plouzeau; Olivier Barais; Johann Bourcier; Jean-Marc Jézéquel
Détail: DAIS 2012, Jun 2012, Stockholm, Sweden.
Accès au texte intégral et bibtex

Titre: Kevoree : une approche model@runtime pour les systèmes ubiquitaires
Auteurs: François Fouquet; Erwan Daubert; Noël Plouzeau; Olivier Barais; Johann Bourcier; Arnaud Blouin
Détail: UbiMob2012, Jun 2012, Anglet, France.
Accès au texte intégral et bibtex

Titre: A Categorical Model of Model Merging and Weaving
Auteurs: Jonathan Marchand; Benoit Combemale; Benoit Baudry
Détail: MiSe 2012 - 4th International Workshop on Modeling in Software Engineering, Jun 2012, Zurich, Switzerland. Conference Publishing Solutions
Accès au texte intégral et bibtex

Titre: Leveraging variability modeling for multi-dimensional Model-driven Software Product Lines
Auteurs: J.B.F. Filho; Olivier Barais; Benoit Baudry; Jérôme Le Noir
Détail: 3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE), Jun 2012, Zurich, Switzerland. pp. 5-8
Accès au bibtex

Titre: Towards flexible evolution of Dynamically Adaptive Systems
Auteurs: Gilles Perrouin; Brice Morin; Franck Chauvel; Franck Fleurey; Jacques Klein; Yves Le Traon; Olivier Barais; Jean-Marc Jézéquel
Détail: 34th International Conference on Software Engineering (ICSE), NIER Track, Jun 2012, Zurich, Switzerland. pp. 1353-1356
Accès au bibtex

Titre: Dependability-Driven Runtime Management of Service Oriented Architectures
Auteurs: Haouas Hanen; Johann Bourcier
Détail: PESOS - 4th International Workshop on Principles of Engineering Service-Oriented Systems - 2012, Jun 2012, Zurich, Switzerland.
Accès au texte intégral et bibtex

Titre: From Abstract to Executable BPEL Processes with Continuity Support
Auteurs: Zeina Azmeh; Marianne Huchard ; Fady Hamoui; Naouel Moha
Détail: Carole Goble and Peter Chen and Jia Zhang. ICWS 2012: 19th International Conference on Web Services, Application and Experience Track, Jun 2012, Honolulu, Hawaii, United States. IEEE Computer Society, pp. 368-374
Accès au bibtex

Titre: Une organisation des Lignes de Produits Logiciels autour d'un motif architectural
Auteurs: Stephen Creff; Joël Champeau; Arnaud Monégier; Jean-Marc Jézéquel
Détail: CAL 2012, May 2012, Montpellier, France. pp. xx
Accès au bibtex

Titre: Searching the boundaries of a modeling space to test metamodels
Auteurs: Juan Cadavid; Benoit Baudry; Houari Sahraoui
Détail: Fifth IEEE International Conference on Software Testing, Verification and Validation, Apr 2012, Montréal, Canada.
Accès au texte intégral et bibtex

Titre: A Tridimensional Approach for Studying the Formal Verification of Model Transformations
Auteurs: Moussa Amrani; Levi Lucio; Gehan Selim; Benoit Combemale ; Jürgen Dingel; Hans Vangheluwe; Yves Le Traon; James R. Cordy
Détail: Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada. IEEE
Accès au texte intégral et bibtex

Titre: Formally Defining and Iterating Infinite Models
Auteurs: Benoit Combemale ; Xavier Thirioux; Benoit Baudry
Détail: R.B. France et al.. ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012), Sep 2012, Innsbruck, Austria. Springer-Verlag Berlin Heidelberg, 7590, pp. 119-133, LNCS
Accès au texte intégral et bibtex

Titre: Impact of Footprinting on Model Quality: An Experimental Evaluation
Auteurs: Cédric Jeanneret; Martin Glinz; Benoit Baudry; Benoit Combemale
Détail: MODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP AT RE 2012, Sep 2012, Chicago, Illinois, United States. IEEE, pp. 78-87
Accès au texte intégral et bibtex

Titre: Bridging the Chasm between Executable Metamodeling and Models of Computation
Auteurs: Benoit Combemale ; Cécile Hardebolle; Christophe Jacquet; Frédéric Boulanger; Benoit Baudry
Détail: SLE2012 - 5th International Conference on Software Language Engineering, Sep 2012, Dresden, Germany. Springer, LNCS
Accès au texte intégral et bibtex

Titre: Peer-to-Peer Load Testing
Auteurs: Jorge Meira; Eduardo Cunha De Almeida; Yves Le Traon; Gerson Sunyé
Détail: Giuliano Antoniol and Antonia Bertolino and Yvan Labiche. 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Apr 2012, Montreal, Canada. pp. 642-647
Accès au bibtex

Titre: Comparaison de Modèles Filtrée pour le Test de Transformations de Modèles
Auteurs: Olivier Finot; Jean-Marie Mottu ; Gerson Sunyé ; Christian Attiogbé
Détail: CIEL 2012, 2012, Rennes, France.
Accès au bibtex

Titre: Using CVL to Operationalize Product Line Development with Reusable Aspect Models
Auteurs: Benoit Combemale ; Olivier Barais; Omar Alam; Jörg Kienzle
Détail: VARY@MoDELS'12: VARiability for You, Sep 2012, Innsbruck, Austria. ACM
Accès au texte intégral et bibtex

Directions d'ouvrages

Titre: Actes des 4èmes journées du GDR Génie de la Programmation et du Logiciel, Rennes, 2012
Auteurs: Olivier Barais; Laurence Duchien
Détail: Olivier Barais, Laurence Duchien. Université de Rennes, pp. 256, Jun. 2012
Accès au bibtex

Autres publications

Titre: Découpez vos Modèles avec Kompren : une Démonstration
Auteurs: Arnaud Blouin; Benoit Combemale; Benoit Baudry
Détail: Jun. 2012. Démonstration, 4emes journées nationales du GDR-GPL 2012, p. 201--202
Accès au texte intégral et bibtex

Ouvrages scientifiques

Titre: Ingénierie Dirigée par les Modèles : des concepts à la pratique...
Auteurs: Jean-Marc Jézéquel; Benoit Combemale; Didier Vojtisek
Détail: Ellipses. Ellipses, pp. 144, Feb. 2012, Références sciences, 9782729871963
Accès au bibtex

Documents associés à des manifestations scientifiques (Tutoriel, poster/prés./préface, papier court, digest de conférence, …)

Titre: Ingénierie dirigée par les modèles pour structurer et partager un référentiel d'exigences de sûreté dans la durée
Auteurs: Nicolas Sannier
Détail: [Poster]. 4emes journées nationales du GDR-GPL 2012, Jun 2012, Rennes, France, pp. 203
Accès au texte intégral et bibtex

Titre: On Model Subtyping
Auteurs: Clément Guy
Détail: [Poster]. 4emes journées nationales du GDR-GPL 2012, Jun 2012, Rennes, France
Accès au texte intégral et bibtex

Rapports

Titre: A Design Pattern for Executable DSML
Auteurs: Benoit Combemale; Xavier Crégut; Marc Pantel
Détail: [Research Report], 2012, pp. 19. RR-8063
Accès au texte intégral et bibtex

Titre: Towards Ecology Inspired Software Engineering
Auteurs: Benoit Baudry; Martin Monperrus
Détail: [Research Report], 2012. RR-7952
Accès au texte intégral et bibtex

Titre: Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices
Auteurs: Juan Cadavid; Benoit Combemale; Benoit Baudry
Détail: [Research Report], 2012. RR-7882
Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre: Guest Editorial for Special Section on Mutation Testing.
Auteurs: Benoit Baudry; Gordon Fraser; Jeremy Bradbury
Détail: Information and Software Technology, Elsevier, 2011
Accès au bibtex

Titre: Une approche centrée exigences pour la composition de services web
Auteurs: Maha Driss; Yassine Jamoussi; Naouel Moha; Jean-Marc Jézéquel; Henda Hajjami Ben Ghézala
Détail: Ingenierie des Systemes d Information, Lavoisier, Paris, 2011, 16 (2), pp. 97-125
Accès au texte intégral et bibtex

Titre: An Approach for Testing Pointcut Descriptors in AspectJ
Auteurs: Romain Delamare; Benoit Baudry; Sudipto Ghosh; Shashank Gupta; Yves Le Traon
Détail: Software Testing, Verification and Reliability, Wiley, 2011
Accès au texte intégral et bibtex

Titre: AutoHome: an Autonomic Management Framework for Pervasive Home Applications
Auteurs: Johann Bourcier; Ada Diaconescu; Philippe Lalanda; Mccann Julie
Détail: ACM Transactions on Autonomous and Adaptive Systems (TAAS), ACM, 2011, 6 (1)
Accès au texte intégral et bibtex

Titre: Analysis and improvement of the alignment between business and information system for telecom services
Auteurs: Jacques Simonin; Emmanuel Bertin; Yves Le Traon; Jean-Marc Jezequel; Noel Crespi
Détail: International Journal On Advances in Software, 2011, 4 (1 & 2), pp. 117-128
Accès au bibtex

Titre: Automated Measurement of Models of Requirements
Auteurs: Martin Monperrus; Benoit Baudry; Joël Champeau; Brigitte Hoeltzener; Jean-Marc Jézéquel
Détail: Software Quality Journal, Springer, 2011
Accès au texte intégral et bibtex

Titre: Model-driven Generative Development of Measurement Software
Auteurs: Martin Monperrus; Jean-Marc Jézéquel; Benoit Baudry; Joël Champeau; Brigitte Hoeltzener
Détail: Software and Systems Modeling (SoSyM), Springer, 2011, 10 (4), pp. 537-552
Accès au texte intégral et bibtex

Communications avec actes

Titre: A Multi-Perspective Approach for Web Service Composition
Auteurs: Maha Driss; Yassine Jamoussi; Jean-Marc Jézéquel; Henda Hajjami Ben Ghézala
Détail: iiWAS 2011, Dec 2011, Ho Chi Minh City, Viet Nam.
Accès au texte intégral et bibtex

Titre: PACOGEN : Automatic Generation of Pairwise Test Configurations from Feature Models
Auteurs: Aymeric Hervieu; Baudry Benoit; Arnaud Gotlieb
Détail: ISSRE, Nov 2011, Hiroshima, Japan.
Accès au bibtex

Titre: Multiple Feature Models & Relationships in a Model-Based Product Line Process
Auteurs: Stephen Creff; Arnaud Monégier; Joël Champeau; Jean-Marc Jézéquel
Détail: Lignes de produits, Oct 2011, Paris, France. pp. xx
Accès au bibtex

Titre: Formal Extension of Use Cases for Context-Aware Verification
Auteurs: Amine Raji; Philippe Dhaussy; Benoît Baudry
Détail: MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand. pp. xx
Accès au bibtex

Titre: Modeling Model Slicers
Auteurs: Arnaud Blouin; Benoit Combemale; Benoit Baudry; Olivier Beaudoux
Détail: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. Springer Berlin / Heidelberg, 6981, pp. 62-76
Accès au texte intégral et bibtex

Titre: Model-Driven Engineering and Optimizing Compilers: A bridge too far?
Auteurs: Antoine Floch; Tomofumi Yuki; Clément Guy; Steven Derrien; Benoit Combemale; Sanjay Rajopadhye; Robert France
Détail: International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand.
Accès au texte intégral et bibtex

Titre: MDE to Manage Communications with and between Resource-Constrained Systems
Auteurs: Franck Fleurey; Brice Morin; Arnor Solberg; Olivier Barais
Détail: Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. 6981/2011, pp. 16
Accès au bibtex

Titre: Empirical evaluation of the conjunct use of MOF and OCL
Auteurs: Juan Cadavid; Benoit Baudry; Benoit Combemale
Détail: Michel Chaudron and Marcela Genero and Parastoo Mohagheghi and Lars Pareto. Experiences and Empirical Studies in Software Modelling (EESSMod 2011), Oct 2011, Wellington, New Zealand. CEUR
Accès au texte intégral et bibtex

Titre: A Proof Assistant Based Formalization of components in MDE
Auteurs: Mounira Kezadri; Benoit Combemale; Marc Pantel; Xavier Thirioux
Détail: 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Sep 2011, Oslo, Norway.
Accès au texte intégral et bibtex

Titre: Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering
Auteurs: Nicolas Sannier; Benoit Baudry; Thuy Nguyen
Détail: Model-Driven Requirements Engineering Workshop (MoDRE), Aug 2011, Trento, Italy.
Accès au texte intégral et bibtex

Titre: Selection of Composable Web Services Driven by User Requirements
Auteurs: Zeina Azmeh ; Maha Driss; Fady Hamoui; Marianne Huchard; Naouel Moha; Chouki Tibermacine
Détail: IEEE Computer Society. ICWS'11: 9th IEEE International Conference on Web Services - Applications and Experiences Track, Jul 2011, Washington DC, United States. pp. 8
Accès au texte intégral et bibtex

Titre: Combining Aspect-Oriented Modeling with Property-Based Reasoning to Improve User Interface Adaptation
Auteurs: Arnaud Blouin; Brice Morin; Olivier Beaudoux; Grégory Nain; Patrick Albers; Jean-Marc Jézéquel
Détail: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2011, Pise, Italy. pp. 85-94
Accès au texte intégral et bibtex

Titre: Specifying and implementing UI Data Bindings with Active Operations
Auteurs: Olivier Beaudoux; Arnaud Blouin; Olivier Barais; Jean-Marc Jézéquel
Détail: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2011, Pise, Italy. pp. 127-136
Accès au texte intégral et bibtex

Titre: Movida studio: a modeling environment to create viewpoints and manage variability in views
Auteurs: Marie Gouyette; Olivier Barais; Jérôme Le Noir; Cédric Brun; Marcos Almeida Da Silva; Xavier Blanc; Daniel Exertier; Jean-Marc Jézéquel
Détail: Ileana Ober. IDM- 7éme journées sur l'Ingénierie Dirigée par les Modèles-2011, Jun 2011, Lille, France. service reprographie de Polytech, Université Lille I, Journées sur l'Ingénierie Dirigée par les Modèles IDM 2011 Lille, 7-8 juin 2011, 1, pp. 141-145
Accès au texte intégral et bibtex

Titre: A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics
Auteurs: Benoit Combemale; Laure Gonnord; Vlad Rusu
Détail: Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. Springer Verlag, 6698, pp. 35-51, Lecture Notes in Computer Science
Accès au texte intégral et bibtex

Titre: Easing Model Transformation Learning with Automatically Aligned Examples
Auteurs: Xavier Dolques; Aymen Dogui; Jean-Rémy Falleri; Marianne Huchard; Clémentine Nebut; François Pfister
Détail: Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige. ECMFA'11: 7th European Conference Modelling -- Foundation and Applications, Jun 2011, Birmingham, UK, France. Springer, 6698, pp. 189-204, LNCS: Lecture Notes in Computer Science
Accès au texte intégral et bibtex

Titre: Estimating Footprints of Model Operations
Auteurs: Cédric Jeanneret; Martin Glinz; Benoit Baudry
Détail: International Conference on Software Engineering, May 2011, Honolulu, United States.
Accès au texte intégral et bibtex

Titre: Model Driven Mutation Applied to Adaptative Systems Testing
Auteurs: Alexandre Bartel; Benoit Baudry; Freddy Munoz; Jacques Klein; Tejeddine Mouelhi; Yves Le Traon
Détail: IEEE International Conference on Software Testing, Verification and Validation, Mutation Analysis Workshop (Mutation 2011), Mar 2011, Berlin, Germany. pp. 6
Accès au texte intégral et bibtex

Titre: Tailored Shielding and Bypass Testing of Web Applications
Auteurs: Tejeddine Mouelhi; Yves Le Traon; Erwan Abgrall; Benoit Baudry ; Sylvain Gombault
Détail: International Conference on Software Testing Verification and Validation, Mar 2011, Berlin, Germany.
Accès au texte intégral et bibtex

Titre: Distribution and Self-Adaptation of a Framework for Dynamic Adaptation of Services
Auteurs: Françoise André; Erwan Daubert; Guillaume Gauvrit
Détail: The Sixth International Conference on Internet and Web Applications and Services (ICIW), Mar 2011, St. Maarten, Netherlands Antilles. pp. 16-21
Accès au texte intégral et bibtex

Titre: Pairwise Testing of Dynamic Composite Services
Auteurs: Ajay Kattepur; Sagar Sen; Benoit Baudry; Albert Benveniste; Claude Jard
Détail: The 6th international symposium on Software engineering for adaptive and self-managing systems, May 2011, Waikiki, Honolulu, Hawaii, United States. ACM, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, pp. 138-147, 1988028
Accès au texte intégral et bibtex

Titre: PACOGEN : Automatic Generation of Pairwise Test Configurations from Feature Models
Auteurs: Aymeric Hervieu; Benoit Baudry; Arnaud Gotlieb
Détail: Proc. of Int. Symp. on Soft. Reliability Engineering (ISSRE'11), Nov 2011, Hiroshima, Japan.
Accès au texte intégral et bibtex

Titre: Testing MapReduce-Based Systems
Auteurs: João Eugenio Marynowski; Michel Albonico; Eduardo Cunha De Almeida; Gerson Sunyé
Détail: SBBD - XXVI Simpósio Brasileiro de Banco de Dados, Oct 2011, Florianopolis, SC, Brazil.
Accès au bibtex

Titre: Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior
Auteurs: Mickaël Clavreul; Sébastien Mosser; Mireille Blay-Fornarino; Robert B. France
Détail: Whittle, John and Clark, Tony and Kühne, Thomas. Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. Springer Berlin / Heidelberg, Model Driven Engineering Languages and Systems, 6981, pp. 289-303, Lecture Notes in Computer Science
Accès au texte intégral et bibtex

Communications sans actes

Titre: Teaching MDE through the Formal Verification of Process Models
Auteurs: Benoit Combemale ; Xavier Crégut; Arnaud Dieumegard; Marc Pantel; Faiez Zalila
Détail: ECEASST. 7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Oct 2011, Wellington, New Zealand.
Accès au texte intégral et bibtex

Titre: Vers un rapprochement de l'IDM et de la compilation
Auteurs: Clément Guy; Steven Derrien; Benoit Combemale; Jean-Marc Jézéquel
Détail: Journées sur l'Ingénierie Dirigée par les Modèles, Jun 2011, Lille, France.
Accès au texte intégral et bibtex

Titre: Bridging the Gap Between Software Process and Software Development
Auteurs: Emmanuelle Rouillé; Benoit Combemale; Olivier Barais; Touzet David; Jean-Marc Jézéquel
Détail: IDM, Jun 2011, Lille, France.
Accès au texte intégral et bibtex

Titre: Défis pour la variabilité et la traçabilité des exigences en ingénierie système
Auteurs: Nicolas Sannier; Benoît Baudry
Détail: INFORSID 2011, May 2011, Lille, France.
Accès au texte intégral et bibtex

Titre: Adaptation multi-niveaux : l'infrastructure au service des applications
Auteurs: Erwan Daubert; Françoise André; Olivier Barais
Détail: Conférence Française en Systèmes d'Exploitation (CFSE), May 2011, St Malo, France.
Accès au texte intégral et bibtex

Conférences invitées

Titre: Formal and Relational Concept Analysis approaches in Software Engineering: an overview and an application to learn model transformation patterns in examples
Auteurs: Xavier Dolques; Marianne Huchard; Clémentine Nebut; Hajer Saada
Détail: ICESE'11: First ICESE Virtual Workshop, Search-based Model-Driven Engineering, May 2011, Qatar.
Accès au texte intégral et bibtex

Thèses

Titre: Approche multi-perspective centrée exigences de composition de services Web
Auteurs: Maha Driss
Détail: informatique. Université Rennes 1, Dec. 2011. French
Accès au texte intégral et bibtex

Titre: Composition de modèles et de métamodèles : Séparation des correspondances et des interprétations pour unifier les approches de composition existantes
Auteurs: Mickaël Clavreul
Détail: informatique. Université Rennes 1, Dec. 2011. English
Accès au texte intégral et bibtex

Titre: EnTiMid : Un modèle de composants pour intégrer des objets communicants dans des applications à base de services
Auteurs: Grégory Nain
Détail: informatique. Université Rennes 1, Dec. 2011. French
Accès au texte intégral et bibtex

Titre: Le Développement Agile de Services de Télécommunication Intégrés via des techniques d'ingénierie des modèles.
Auteurs: Mariano Belaunde
Détail: Université Rennes 1, Jan. 2011. French
Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre: Contract Aware Components, 10 years after
Auteurs: Antoine Beugnard; Jean-Marc Jézéquel; Noël Plouzeau
Détail: Electronic Proceedings in Theoretical Computer Science, EPTCS, 2010, 37, pp. 86-100
Accès au texte intégral et bibtex

Titre: Construction de tests qualifiés de transformations de modèles
Auteurs: Jean-Marie Mottu; Benoit Baudry; Yves Le Traon
Détail: Revue Technique et Science Informatiques (TSI), 2010, 29 (2010), pp 537-569
Accès au bibtex

Titre: A family of languages for architecture constraint specification
Auteurs: Chouki Tibermacine; Régis Fleurquin; Salah Sadou
Détail: Journal of Systems and Software, 2010, 83 (5), pp. 815-831
Accès au texte intégral et bibtex

Titre: A Comparison of Six UML-Based Languages for Software Process Modeling
Auteurs: Reda Bendraou; Jean-Marc Jézéquel; Marie-Pierre Gervais; Xavier Blanc
Détail: IEEE Transactions on Software Engineering, IEEE, 2010
Accès au texte intégral et bibtex

Titre: Evaluation of Kermeta on Graph Transformation Problems
Auteurs: Naouel Moha; Sagar Sen; Cyril Faucher; Olivier Barais; Jean-Marc Jézéquel
Détail: International Journal on Software Tools for Technology Transfer, Springer Berlin Heidelberg, 2010
Accès au texte intégral et bibtex

Titre: Conception fonctionnelle de services d'entreprise fondée sur l'alignement entre coeur de métier et Système d'Information
Auteurs: Jacques Simonin; Philippe Picouet; Jean-Marc Jézéquel
Détail: Ingénierie des Systèmes d'Information, Hermès, 2010
Accès au texte intégral et bibtex

Titre: Ingénierie Dirigé par les Modèles : du design-time au runtime
Auteurs: Jean-Marc Jézéquel
Détail: Génie Logiciel - Ingéniérie dirigée par les modèles, Revue Génie Logiciel - AFCET, 2010, 93
Accès au texte intégral et bibtex

Titre: From a Domain Analysis to the Specification and Detection of Code and Design Smells
Auteurs: Naouel Moha; Yann-Gaël Guéhéneuc; Anne-Françoise Le Meur; Laurence Duchien; Alban Tiberghien
Détail: Formal Aspects of Computing, Springer, 2010, 22 (3-4), pp. 345-361
Accès au texte intégral et bibtex

Titre: Model-driven Architecture of a Maritime Surveillance System Simulator
Auteurs: Martin Monperrus; Benoit Long; Joël Champeau; Brigitte Hoeltzener; Gabriel Marchalot; Jean-Marc Jézéquel
Détail: Systems Engineering, John Wiley \& Sons, 2010, 13 (3), pp. 290-297
Accès au texte intégral et bibtex

Titre: Achieving Process modeling and Execution through the Combination of Aspect and Model-Driven Engineering Approaches
Auteurs: Reda Bendraou; Jean-Marc Jézéquel; Franck Fleurey
Détail: Journal of Software Maintenance and Evolution, Wiley, 2010
Accès au texte intégral et bibtex

Titre: DECOR: A Method for the Specification and Detection of Code and Design Smells
Auteurs: Naouel Moha; Yann-Gaël Guéhéneuc; Laurence Duchien; Anne-Françoise Le Meur
Détail: IEEE Transactions on Software Engineering, IEEE Computer Society, 2010, 36, X-Country = US, X-Editorial-Board = yes, X-International-Audience = yes, X-Language = EN, X-Pays (1), pp. 20-36
Accès au texte intégral et bibtex

Titre: Barriers to Systematic Model Transformation Testing
Auteurs: Benoit Baudry; Sudipto Ghosh; Franck Fleurey; Robert France; Yves Le Traon; Jean-Marie Mottu
Détail: Communications- ACM, ACM, 2010, 53 (6)
Accès au texte intégral et bibtex

Titre: QoS Assurance for Service-Based Applications Using Discrete-Event Simulation
Auteurs: Yassine Jamoussi; Maha Driss; Jean-Marc Jézéquel; Henda Hajjami Ben Ghézala
Détail: International Journal of Computer Science, IJCSI, 2010, 7 (6)
Accès au texte intégral et bibtex

Communications avec actes

Titre: Efficient Distributed Test Architectures for Large-Scale Systems
Auteurs: Eduardo Cunha De Almeida; João Eugenio Marynowski; Gerson Sunyé; Yves Le Traon; Patrick Valduriez
Détail: Alexandre Petrenko and Adenilso da Silva Simão and José Carlos Maldonado. International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. LNCS, Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010
Accès au bibtex

Titre: SAFDIS: A Framework to Bring Self-Adaptability to Service-Based Distributed Applications
Auteurs: Guillaume Gauvrit; Erwan Daubert; Françoise André
Détail: 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Sep 2010, Lille, France. pp. 211-218
Accès au texte intégral et bibtex

Titre: Good Architecture = Good (ADL + Practices)
Auteurs: Vincent Le Gloahec; Régis Fleurquin; Salah Sadou
Détail: 6th International Conference on the Quality of Software Architectures (QoSA'10), Jun 2010, Prague, Czech Republic. Springer, 6093, pp. 167-182, Lecture Notes in Computer Science
Accès au texte intégral et bibtex

Titre: Towards a Generic Context-Aware Framework for Self-Adaptation of Service-Oriented Architectures
Auteurs: Françoise André; Erwan Daubert; Guillaume Gauvrit
Détail: 5th International Conference on Internet and Web Applications and Services, May 2010, Barcelona, Spain. pp. 309-314
Accès au texte intégral et bibtex

Titre: Language-specific vs. language-independent approaches: embedding semantics on a metamodel for testing and verifying access control policies
Auteurs: Yves Le Traon; Tejeddine Mouelhi; Franck Fleurey; Benoit Baudry
Détail: Workshop on Quality of Model-Based Testing (QuoMBaT), Apr 2010, Paris, France.
Accès au texte intégral et bibtex

Titre: Business and information system alignment: a formal solution for telecom services
Auteurs: Jacques Simonin; Emmanuel Bertin; Yves Le Traon; Jean-Marc Jézéquel; Noël Crespi
Détail: ICSEA 2010 : The Fifth International Conference on Software Engineering Advances, Aug 2010, Nice, France. CPS, pp. 278-283
Accès au texte intégral et bibtex

Titre: Automatic and Scalable T-wise Test Case Generation Strategies for Software Product Lines
Auteurs: Gilles Perrouin; Sagar Sen; Jacques Klein; Benoit Baudry; Yves Le Traon
Détail: International Conference on Software Testing, 2010, Paris, France, France. Springer Lecture Notes in Computer Science (LNCS)
Accès au texte intégral et bibtex

Titre: Improving modularity and usability of interactive systems with Malai
Auteurs: Arnaud Blouin; Olivier Beaudoux
Détail: EICS'10: Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, 2010, Berlin, Germany, Germany.
Accès au texte intégral et bibtex

Titre: Towards an Automation of Software Evolution Good Practices
Auteurs: Chouki Tibermacine; Soraya Sakhraoui; Vincent Le Gloahec; Régis Fleurquin; Salah Sadou
Détail: SEKE'10: Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering, 2010, Redwood City, USA, United States. Knowledge Systems Institute, pp. 1-6
Accès au texte intégral et bibtex

Titre: Aspect-Oriented Modeling to Support Dynamic Adaptation
Auteurs: Brice Morin; Franck Fleurey; Olivier Barais; Jean-Marc Jézéquel
Détail: Forum Demo at AOSD'10, 2010, Rennes and St Malo, France, France.
Accès au texte intégral et bibtex

Titre: Good Practices as a Quality-Oriented Modeling Assistant
Auteurs: Vincent Le Gloahec; Régis Fleurquin; Salah Sadou
Détail: QSIC'10: Proceedings of the 10th International Conference on Quality Software, 2010, Zhangjiajie, China, China. IEEE, pp. 345-348
Accès au texte intégral et bibtex

Titre: Generative technologies for model animation in the TopCased platform
Auteurs: Xavier Crégut; Benoit Combemale; Marc Pantel; Raphaël Faudoux; Jonatas Pavei
Détail: 6th European Conference on Modelling Foundations and Applications (ECMFA 2010), 2010, Paris, France, South Africa. Springer, 6138, pp. 90-103, Lecture Notes in Computer Science (LNCS)
Accès au texte intégral et bibtex

Titre: End-User Modelling
Auteurs: Patrick Albert; Mireille Blay-Fornarino; Philippe Collet; Benoit Combemale; Sophie Dupuy-Chessa; Agnès Front; Anthony Grost; Philippe Lahire; Xavier Le Pallec; Lionel Ledrich; Thierry Nodenot; Anne-Marie Pinna-Dery; Stéphane Rusinek
Détail: Défis du Génie de la Programmation et du Logiciel, journées nationales du GDR GPL, 2010, Pau, France, France.
Accès au texte intégral et bibtex

Titre: Integrating Legacy Systems with MDE
Auteurs: Mickael Clavreul; Olivier Barais; Jean-Marc Jézéquel
Détail: ICSE'10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering and ICSE Workshops, 2010, Cape Town, South Africa. 2, pp. 69-78
Accès au texte intégral et bibtex

Titre: Linking Data and Presentations: from Mapping to Active Transformations
Auteurs: Olivier Beaudoux; Arnaud Blouin
Détail: DocEng'10: Proceedings of the 2010 ACM symposium on Document engineering, 2010, Manchester, England, United Kingdom.
Accès au texte intégral et bibtex

Titre: Using Model Driven Engineering technologies for building authoring applications
Auteurs: Olivier Beaudoux; Arnaud Blouin; Jean-Marc Jézéquel
Détail: DocEng'10: Proceedings of the 2010 ACM symposium on Document engineering, 2010, Manchester, England, United Kingdom.
Accès au texte intégral et bibtex

Titre: Flexible Model Element Introduction Policies for Aspect-Oriented Modeling
Auteurs: Brice Morin; Jacques Klein; Jörg Kienzle; Jean-Marc Jézéquel
Détail: 13rd ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (MODELS 2010), 2010, Oslo, Norway, Norway.
Accès au texte intégral et bibtex

Titre: Crossing Model Driven Engineering and Agility: Preliminary Thought on Benefits and Challenges
Auteurs: Vincent Mahé; Benoit Combemale; Juan Cadavid
Détail: 3rd Workshop on Model-Driven Tool & Process Integration, in conjunction with ECMFA 2010, 2010, Paris, France, France.
Accès au texte intégral et bibtex

Titre: Managing variability in multi-views engineering : A live demo
Auteurs: Marie Gouyette; Olivier Barais; Jérôme Le Noir; Jean-Marc Jézéquel
Détail: Journée Lignes de Produits, Oct 2010, Paris, France, France.
Accès au texte intégral et bibtex

Titre: Integrating IoT and IoS with a Component-Based approach
Auteurs: Grégory Nain; François Fouquet; Brice Morin; Olivier Barais; Jean-Marc Jézéquel
Détail: Procedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2010), Date-Added = 2010-06-07 10:37:26 +0200, Date-Modified = 2010-07-23 09:56:36 +0200, 2010, Lille, France, France.
Accès au texte intégral et bibtex

Titre: Security-Driven Model-Based Dynamic Adaptation
Auteurs: Brice Morin; Tejeddine Mouelhi; Franck Fleurey; Yves Le Traon; Olivier Barais; Jean-Marc Jézéquel
Détail: 25nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), 2010, Antwerp, Belgium, Belgium.
Accès au texte intégral et bibtex

Titre: PeerUnit: a framework for testing peer-to-peer systems
Auteurs: Eduardo Cunha De Almeida; João Eugenio Marynowski; Gerson Sunyé; Patrick Valduriez
Détail: Charles Pecheur and Jamie Andrews and Elisabetta Di Nitto. ASE, 2010, Antwerp, Belgium. ACM, Proceedings of the IEEE/ACM international conference on Automated software engineering, pp. 169-170
Accès au bibtex

Titre: Building a Kermeta Compiler using Scala: an Experience Report.
Auteurs: François Fouquet; Olivier Barais; Jean-Marc Jézéquel
Détail: Workshop Scala Days 2010, 2010, Lausanne, Switzerland. EPFL
Accès au texte intégral et bibtex

Titre: Active Operations on Collections
Auteurs: Olivier Beaudoux; Arnaud Blouin; Olivier Barais; Jean-Marc Jézéquel
Détail: ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10), 2010, Oslo, Norway, Norway. pp. 91-105
Accès au texte intégral et bibtex

Titre: A Requirement-Centric Approach to Web Service Modeling, Discovery, and Selection
Auteurs: Maha Driss; Naouel Moha; Yassine Jamoussi; Jean-Marc Jézéquel; Henda Hajjami Ben Ghézala
Détail: ICSOC International Conference on Service Oriented Computing, 2010, San Francisco, California, United States. Springer
Accès au texte intégral et bibtex

Titre: Trust in MDE Components: the DOMINO Experiment
Auteurs: Benoit Baudry; Pierre Bazex; Jean-Charles Dalbin; Philippe Dhaussy; Hubert Dubois; Christian Percebois; Erwann Poupart; Laurent Sabatier
Détail: SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria.
Accès au texte intégral et bibtex

Titre: Vidock: a Tool for Impact Analysis of Aspect Weaving on Test Cases
Auteurs: Romain Delamare; Freddy Munoz; Benoit Baudry; Yves Le Traon
Détail: International Conference on Testing Software and Systems, 2010, Natal, Brazil, Brazil. IFIP
Accès au texte intégral et bibtex

Titre: Variability Modeling and QoS Analysis of Web Services Orchestrations
Auteurs: Ajay Kattepur; Sagar Sen; Benoit Baudry; Albert Benveniste; Claude Jard
Détail: International Conference on Web Services, 2010, Miami, FL, USA, United States. IEEE
Accès au texte intégral et bibtex

Communications sans actes

Titre: F4Plan: An Approach to build Efficient Adaptation Plans
Auteurs: Françoise André; Erwan Daubert; Grégory Nain; Brice Morin; Olivier Barais
Détail: 7th International ICST Conference on Mobile and Ubiquitous Systems (MobiQuitous), Dec 2010, Sydney, Australia.
Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre: Model Driven Language Engineering with Kermeta
Auteurs: Jean-Marc Jézéquel; Olivier Barais; Franck Fleurey
Détail: Joao M. Fernandes, Ralf Lammel, Joao Saraiva, Joost Visser. 3rd Summer School on Generative and Transformational Techniques in Software Engineering, LNCS 6491, Springer, 2010
Accès au texte intégral et bibtex

Directions d'ouvrages

Titre: Proceedings of the International Workshop on Principles of Software Evolution and ERCIM Workshop on Software Evolution (IWPSE-EVOL'2010)
Auteurs: Andrea Capiluppi; Anthony Cleve; Naouel Moha
Détail: Andrea Capiluppi, Anthony Cleve and Naouel Moha. ACM, pp. 98, Sep. 2010, International Conference Proceedings Series, 1-59593-036-1
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

HDR

Titre: Question-learn-test-feedback pattern to test emerging software construction paradigms
Auteurs: Benoit Baudry
Détail: Université Européenne de Bretagne, Dec. 2010. French
Accès au texte intégral et bibtex

Titre: Des langages pour améliorer le développement et la maintenance des logiciels à base de composants
Auteurs: Régis Fleurquin
Détail: Université de Bretagne Sud; Université Européenne de Bretagne, Jul. 2010. French
Accès au texte intégral et bibtex

Autres publications

Titre: Composition&Variability'2010. First International Workshop on Composition: Objects, Aspects, Components, Services and Product Lines
Auteurs: Philippe Lahire; Geri Georg; Mourad Oussalah; Jon Whittle; Naouel Moha; Stefan Van Baelen
Détail: Mar. 2010. Proceedings of the workshop "Composition&Variability'2010" that had been held at the AOSD Conference.
Accès au texte intégral et bibtex

Ouvrages scientifiques

Titre: Simulation et vérification de modèle par métamodélisation executable
Auteurs: Benoit Combemale
Détail: éditions Universitaires Européennes, 208p, 2010, 978-613-1-50584-3
Accès au bibtex

Titre: Les Patrons Abimes - Détection, Explications et Restructuration
Auteurs: Cédric Bouhours
Détail: Editions Universitaires Europeennes, pp. 220, 2010, 978-6131535017
Accès au bibtex

Titre: Service Research Challenges and Solutions for the Future Internet
Auteurs: Françoise André; Vasilios Andrikopoulos; Olivier Barais; Luciano Baresi; George Baryannis; Salima Benbernou; Ivona Brandic; Antonio Bucchiarone; Cinzia Cappiello; Claudia Di Napoli; Elisabetta Di Nitto; Maha Driss; Juan Carlos Dueñas; Schahram Dustdar; Guillaume Gauvrit; Manuel Carro; Noel Carroll; Marco Comuzzi; Félix Cuadrado; Olha Danylevych; Erwan Daubert; Maurizio Giordano; Qing Gu; Mohand-Said Hacid; François Hantry; Rafiq Haque; Willem-Jan Van Den Heuvel; Dimka Karastoyanova; Raman Kazhamiakin; Attila Kertész; Kyriakos Kritikos; Andrea Mocci; Zsolt Németh; Christos Nikolau; Mike Papazoglou; Michael Parkin; Jean-Louis Pazat; Stephen Lane; Winfried Lamersdorf; Frank Leymann; Philipp Leitner; Valentina Mazza; Andreas Metzger; Barbara Pernici; Pierluigi Plebani; Klaus Pohl; Harald Psaier; Wolfgang Renz; Ita Richardson; Florian Rosenberg; Fabrizio Silvestri; Jan Sudeikat; Maike Uhlig; Branimir Wetzstein; Eoin Whelan
Détail: 6500. Mike Papazoglou and Klaus Pohl and Michael Parkin and Andreas Metzger. Springer, pp. 374, 2010, Lecture Notes in Computer Science, 978-3-642-17598-5
Accès au bibtex

Rapports

Titre: Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics
Auteurs: Vlad Rusu; Laure Gonnord; Benoît Combemale
Détail: [Research Report], 2010. RR-7423
Accès au texte intégral et bibtex

Titre: QoS-Driven Selection of Composable Web Services
Auteurs: Zeina Azmeh ; Driss Maha; Huchard Marianne; Moha Naouel; Chouki Tibermacine
Détail: [Report], 2010
Accès au texte intégral et bibtex

Thèses

Titre: Validation des moteurs de raisonnement et mécanismes d'adaptation pour les systèmes auto-adaptatifs
Auteurs: Freddy Munoz
Détail: informatique. Université Rennes 1, Sep. 2010. English
Accès au texte intégral et bibtex

Titre: Modèles à la Conception et à l'Exécution pour Gérer la Variability Dynamique
Auteurs: Brice Morin
Détail: informatique. Université Rennes 1, Sep. 2010. English
Accès au texte intégral et bibtex

Titre: Découverte automatique de modèles effectifs
Auteurs: Sagar Sen
Détail: informatique. Université Rennes 1, Jun. 2010. English
Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre: Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification
Auteurs: Benoît Combemale; Xavier Crégut; Pierre-Loïc Garoche; Xavier Thirioux
Détail: Journal of Software (JSW), 2009, 4 (9), pp. 943-958
Accès au texte intégral et bibtex

Titre: Introduction à la construction d'un DSL sous Eclipse
Auteurs: Didier Vojtisek
Détail: Programmez!, Magazine Programmez, 2009, 120, pp. 70-72
Accès au texte intégral et bibtex

Titre: OpenEmbeDD : La plate-forme et ses outils d'ingénierie de modèles
Auteurs: Didier Vojtisek
Détail: Génie Logiciel - Neptune - Ingéniérie dirigée par les modèles, Revue Génie Logiciel - AFCET, 2009, 89, pp. 31-37
Accès au texte intégral et bibtex

Titre: Towards Domain-specific Model Editors with Automatic Model Completion
Auteurs: Sagar Sen; Benoit Baudry; Hans Vangheluwe
Détail: Simulation Journal, SAGE, 2009, 3 (12), pp. 109-126
Accès au texte intégral et bibtex

Titre: Un processus à base de modèles pour les systèmes auto-adaptatifs
Auteurs: Franck Chauvel; Olivier Barais; Jean-Marc Jézéquel; Isabelle Borne
Détail: Revue de l'Electricité et de l'Electronique (REE), SEE, 2009, 2, pp. 38-44
Accès au texte intégral et bibtex

Titre: Editorial for the Special Issue on Aspects and Model-Driven Engineering
Auteurs: Robert France; Jean-Marc Jézéquel
Détail: Transactions on Aspect-Oriented Software Development (TAOSD), Springer, 2009, LNCS 5560, pp. 16-21
Accès au texte intégral et bibtex

Titre: Processus MOPCOM pour SoC/SoPC
Auteurs: Ali Koudri; Joël Champeau; Denis Aulagnier; Didier Vojtisek
Détail: Génie Logiciel - Ingéniérie dirigée par les modèles, Revue Génie Logiciel - AFCET, 2009, pp. xxx
Accès au texte intégral et bibtex

Titre: Models at Runtime to Support Dynamic Adaptation
Auteurs: Brice Morin; Olivier Barais; Jean-Marc Jézéquel; Franck Fleurey; Arnor Solberg
Détail: IEEE COMPUTER, IEEE Computer Society, 2009, pp. 46-53
Accès au texte intégral et bibtex

Communications avec actes

Titre: Adaptation de services en environnement distribué
Auteurs: Erwan Daubert; Guillaume Gauvrit; Françoise André; Olivier Barais
Détail: RenPar'19, Sep 2009, Toulouse, France.
Accès au texte intégral et bibtex

Titre: Automatic Model Generation Strategies for Model Transformation Testing
Auteurs: Sagar Sen; Benoit Baudry; Jean-Marie Mottu
Détail: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009., Jun 2009, Zurich, Switzerland. pp. 148-164
Accès au bibtex

Titre: Weaving Variability into Domain Metamodels
Auteurs: Brice Morin; Gilles Perrouin; Philippe Lahire; Olivier Barais; Gilles Vanwormhoudt; Jean-Marc Jézéquel
Détail: 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'2009), ACM/IEEE, Oct 2009, Denver, United States. Springer, pp. 15, LNCS
Accès au bibtex

Titre: Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
Auteurs: Philippe Dhaussy; Pierre-Yves Pillain; Stephen Creff; Amine Raji; Yves Le Traon; Benoit Baudry
Détail: Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. Springer Berlin / Heidelberg, 5795/2009, pp. 438-452
Accès au texte intégral et bibtex

Titre: Présentation des résultats du projet OpenEmbeDD
Auteurs: Charles André; Mariano Belaunde; Bernard Berthomieu; Christian Brunette; Agusti Canals; Hubert Garavel; Susanne Graf; Frederic Lang; Vincent Mahé; Michel Nakhlé; Rémi Schnekenburger; Robert De Simone; Jean-Pierre Talpin; François Vernadat
Détail: Pierre Bazex and Agusti Canals and Thierry Millan. Neptune, May 2009, Paris, France. Revue Génie Logiciel - AFCET
Accès au texte intégral et bibtex

Titre: Automatic Model Generation Strategies for Model Transformation Testing
Auteurs: Sagar Sen; Benoit Baudry; Jean-Marie Mottu
Détail: ICMT, 2009, Zurich, Switzerland.
Accès au texte intégral et bibtex

Titre: Meta-model Pruning
Auteurs: Sagar Sen; Naouel Moha; Benoit Baudry; Jean-Marc Jézéquel
Détail: ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009, Denver, Colorado, USA, United States.
Accès au texte intégral et bibtex

Titre: Taming Dynamically Adaptive Systems with Models and Aspects
Auteurs: Brice Morin; Olivier Barais; Grégory Nain; Jean-Marc Jézéquel
Détail: 31st International Conference on Software Engineering (ICSE'09), 2009, Vancouver, Canada, Canada.
Accès au texte intégral et 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

Titre: Weaving Variability into Domain Metamodels
Auteurs: Brice Morin; Gilles Perrouin; Philippe Lahire; Olivier Barais; Gilles Vanwormhoudt; Jean-Marc Jézéquel
Détail: ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009, Denver, Colorado, USA, United States.
Accès au texte intégral et bibtex

Titre: Leveraging Models From Design-time to Runtime. A Live Demo
Auteurs: Brice Morin; Grégory Nain; Olivier Barais; Jean-Marc Jézéquel
Détail: 4th International Workshop on Models@Run.Time (at MODELS'09), 2009, Denver, Colorado, USA, United States.
Accès au texte intégral et bibtex

Titre: EntiMid : un middleware aux services de la maison
Auteurs: Grégory Nain; Olivier Barais; Régis Fleurquin; Jean-Marc Jézéquel
Détail: 3ème Conférence Francophone sur les Architectures Logicielles (CAL'O9), 2009, Nancy, France, France. pp. 59-72
Accès au texte intégral et bibtex

Titre: Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective
Auteurs: Gilles Perrouin; Erwan Brottier; Benoit Baudry; Yves Le Traon
Détail: Proceedings of the International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ2009), 2009, Amsterdam, Netherlands, Netherlands. Springer Lecture Notes in Computer Science (LNCS)
Accès au texte intégral et bibtex

Titre: Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Simulation
Auteurs: Reda Bendraou; Jean-Marc Jézéquel; Franck Fleurey
Détail: Proceedings of the International Conference on Software Process (ICSP2009), 2009, Vancouver, Canada, Canada. Springer Lecture Notes in Computer Science (LNCS)
Accès au texte intégral et bibtex

Titre: Dynamic Software Product Lines for Service-Based Systems
Auteurs: Paul Istoan; Grégory Nain; Gilles Perrouin; Jean-Marc Jézéquel
Détail: 9th IEEE International Conference on Computer and Information Technology, 2009, Xiamen, CHINA, China.
Accès au texte intégral et bibtex

Titre: Generic Model Refactorings
Auteurs: Naouel Moha; Vincent Mahé; Olivier Barais; Jean-Marc Jézéquel
Détail: ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009, Denver, Colorado, USA, United States.
Accès au texte intégral et bibtex

Titre: Modeling Modeling
Auteurs: Pierre-Alain Muller; Frédéric Fondement; Benoit Baudry
Détail: ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009, Denver, Colorado, USA, United States. pp. 2-16
Accès au texte intégral et bibtex

Titre: A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ
Auteurs: Romain Delamare; Benoit Baudry; Sudipto Ghosh; Yves Le Traon
Détail: ICST '09: Proceedings of the 2$^nd$ International Conference on Software Testing, Verification, and Validation, 2009, Denver, Colorado, USA, United States.
Accès au texte intégral et bibtex

Titre: AjMutator: A Tool For The Mutation Analysis Of AspectJ Pointcut Descriptors
Auteurs: Romain Delamare; Benoit Baudry; Yves Le Traon
Détail: Mutation'09: Proceedings of the 4th International Workshop on Mutation Analysis, 2009, Denver, Colorado, USA, United States.
Accès au texte intégral et bibtex

Titre: Inquiring the usage of aspect-oriented programming: an empirical study
Auteurs: Freddy Munoz; Benoit Baudry; Romain Delamare; Yves Le Traon
Détail: 25th IEEE International Conference on Software Maintenance (ICSM'09), 2009, Edmonton, Alberta, Canada, Canada.
Accès au texte intégral et bibtex

Titre: Aspect Model Unweaving
Auteurs: Jacques Klein; Jörg Kienzle; Brice Morin; Jean-Marc Jézéquel
Détail: ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009, Denver, Colorado, USA, United States.
Accès au texte intégral et bibtex

Titre: Formalisation de bonnes pratiques dans les procédés de développement logiciels
Auteurs: Vincent Le Gloahec; Régis Fleurquin; Salah Sadou
Détail: 5èmes Journées de l'Ingénierie dirigée par les modèles (IDM 2009), 2009, Nancy, France, France. pp. 95-100
Accès au texte intégral et bibtex

Titre: A Framework for Testing Model Composition Engines
Auteurs: Freddy Munoz; Benoit Baudry
Détail: SC '09: Proceedings of the 8th International Conference on Software Composition, 2009, Berlin, Heidelberg, France. Springer-Verlag, pp. 125-141
Accès au texte intégral et bibtex

Titre: Tracking Design Smells: Lessons from a Study of God Classes
Auteurs: Stéphane Vaucher; Foutse Khomh; Naouel Moha; Yann-Gaël Guéhéneuc
Détail: 16th Working Conference on Reverse Engineering (WCRE 2009), IEEE Computer Society Press (WCRE'09), 2009, Lille, France, France.
Accès au texte intégral et bibtex

Titre: Transforming and selecting functional test cases for security policy testing
Auteurs: Tejeddine Mouelhi; Yves Le Traon; Benoit Baudry
Détail: ICST, 2009, Denver, CO, United States.
Accès au texte intégral et bibtex

Titre: Composition et expression qualitative de politiques d'adaptation pour les composants Fractal
Auteurs: Franck Chauvel; Olivier Barais; Noël Plouzeau; Isabelle Borne; Jean-Marc Jézéquel
Détail: Actes des Journées nationales du GDR GPL 2009, 2009, Toulouse, France, France.
Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre: SoC/SoPC development using MDD and MARTE profile
Auteurs: Denis Aulagnier; Ali Koudri; Stéphane Lecomte; Philippe Soulard; Joël Champeau; Jorgiano Vidal; Gilles Perrouin; Pierre Leray
Détail: Babau, Jean-Philippe and Blay-Fornarino, Mireille and Champeau, Joël and Gèrard, Sèbastien and Robert, Sylvain and Sabetta, Antonino. Model Driven Engineering for Distributed Real-time Embedded Systems, ISTE, 2009
Accès au texte intégral et bibtex

Titre: Testing Model Transformations: A case for Test Generation from Input Domain Models
Auteurs: Benoit Baudry
Détail: Babau, Jean-Philippe and Blay-Fornarino, Mireille and Champeau, Joël and Gèrard, Sèbastien and Robert, Sylvain and Sabetta, Antonino. Model Driven Engineering for Distributed Real-time Embedded Systems, ISTE, 2009
Accès au texte intégral et bibtex

Rapports

Titre: Guide pour l'écriture des transformations pivot vers plates-formes
Auteurs: Noël Plouzeau; Nicolas Ferry; Mireille Blay-Fornarino; Anne-Françoise Le Meur; Sébastien Mosser; Lionel Seinturier; Jean-Yves Tigli; Guillaume Waignier
Détail: [Technical Report], 2009
Accès au bibtex

Titre: Artificial table testing dynamically adaptive systems
Auteurs: Freddy Munoz; Benoit Baudry
Détail: [Research Report], 2009, pp. 29. RR-6866
Accès au texte intégral et bibtex

Thèses

Titre: Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles.
Auteurs: Erwan Brottier
Détail: Université Rennes 1, Dec. 2009. French
Accès au texte intégral et bibtex

Titre: Analyses Automatiques pour le Test de Programmes Orientés Aspect
Auteurs: Romain Delamare
Détail: Université Rennes 1, Dec. 2009. French
Accès au texte intégral et bibtex

Titre: Conception de l'architecture d'un système dirigée par un modèle d'urbanisme fonctionnel
Auteurs: Jacques Simonin
Détail: Université Rennes 1, Jan. 2009. French
Accès au texte intégral et bibtex

2008

Articles dans des revues avec comité de lecture

Titre: Génération d'ontologie à partir d'un modèle métier UML annoté
Auteurs: Cyril Faucher; Frédéric. Bertrand; Jean-Yves Lafaye
Détail: REVUE DES NOUVELLES TECHNOLOGIES DE L'INFORMATION, 2008, E (12), pp. 65 à 84
Accès au bibtex

Titre: Vers des Lignes de Produits Flexibles
Auteurs: Jean-Marc Jézéquel; Gilles Perrouin
Détail: RSTI-L'Objet, Hermès Sciences, 2008, 14 (3), pp. 33-45
Accès au texte intégral et bibtex

Titre: Génération d'ontologie à partir d'un modèle métier UML annoté
Auteurs: Cyril Faucher; Frédéric Bertrand; Jean-Yves Lafaye
Détail: RNTI, Cépaduès, 2008, 12, pp. 65-84
Accès au texte intégral et bibtex

Titre: Model Driven analysis and synthesis of textual concrete syntax
Auteurs: Pierre-Alain Muller; Frédéric Fondement; Franck Fleurey; Michel Hassenforder; Rémi Schnekenburger; Sébastien Gérard; Jean-Marc Jézéquel
Détail: Journal of Software and Systems Modeling (SoSyM), Springer, 2008, 7 (4), pp. 423-442
Accès au texte intégral et bibtex

Titre: Model Driven Design and Aspect Weaving
Auteurs: Jean-Marc Jézéquel
Détail: Journal of Software and Systems Modeling (SoSyM), Springer, 2008, 7 (2), pp. 209-218
Accès au texte intégral et bibtex

Communications avec actes

Titre: Managing Variability Complexity in Aspect Oriented Modelling
Auteurs: Brice Morin; Gilles Vanwormhoudt; Philippe Lahire; Alban Gaignard; Olivier Barais; Jean-Marc Jézéquel
Détail: 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'2009), ACM/IEEE, Sep 2008, Toulouse, France. Springer, 5301/2008, pp. 797-812, LNCS
Accès au bibtex

Titre: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
Auteurs: Sagar Sen; Benoit Baudry; Jean-Marie Mottu
Détail: IEEE International Conference on Software Testing, ICST'08, Lillehammer, Norway, 2008, Apr 2008, France. pp. 328-337
Accès au bibtex

Titre: Using MARTE in a Co-Design Methodology
Auteurs: Ali Koudri; Denis Aulagnier; Didier Vojtisek; Philippe Soulard; Christophe Moy; Joël Champeau; Jorgiano Vidal; Jean-Christophe Le Lann
Détail: MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p.
Accès au texte intégral et bibtex

Titre: Testing Peers' Volatility
Auteurs: Eduardo De Almeida; Gerson Sunye; Yves Le Traon; Patrick Valduriez
Détail: 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008, L'Aquila, Italy, Italy.
Accès au texte intégral et bibtex

Titre: Composing Multi-View Aspect Models
Auteurs: Olivier Barais; Jacques Klein; Benoit Baudry; Andrew Jackson; Siobhan Clarke
Détail: 7th IEEE International Conference on Composition-Based Software Systems (ICCBSS), 2008, Madrid, Spain, Spain.
Accès au texte intégral et bibtex

Titre: V3Studio: A Component-Based Architecture Modeling Language
Auteurs: Diego Alonso; Cristina Vicente-Chicote; Olivier Barais
Détail: 15th IEEE International Conference on Engineering of Computer-Based Systems (ECBS'O8), 2008, Belfast, Northern Ireland, Ireland.
Accès au texte intégral et bibtex

Titre: Vers l'Exécutabilité des Modèles de Procédés Logiciels
Auteurs: Reda Bendraou; Marie-Pierre Gervais; Xavier Blanc; Jean-Marc Jézéquel
Détail: Langage Modèles et Objets LMO'08, 2008, Montréal, Quebec, Canada.
Accès au texte intégral et bibtex

Titre: A Framework for Testing Peer-to-Peer Systems
Auteurs: Eduardo De Almeida; Gerson Sunye; Yves Le Traon; Patrick Valduriez
Détail: 19th IEEE International Symposium on Software Reliability Engineering (ISSRE 2008), 2008, Seattle, WA, USA, United States.
Accès au texte intégral et bibtex

Titre: A Model-Driven Process for Self-Adaptive Software
Auteurs: Franck Chauvel; Isabelle Borne; Jean-Marc Jézéquel; Olivier Barais
Détail: 4th European Congress ERTS Embedded Real-Time Software, Jan 2008, Toulouse, France, France. pp. CD-ROM
Accès au texte intégral et bibtex

Titre: Expression qualitative de politiques d'adaptation pour Fractal
Auteurs: Franck Chauvel; Olivier Barais; Noël Plouzeau; Isabelle Borne; Jean-Marc Jézéquel
Détail: Langages Modèles et Objets (LMO'08), 2008, Montréal, Québec, Canada. Cepadués, pp. 5-20, RNTI
Accès au texte intégral et bibtex

Titre: Regression Test Selection when Evolving Software with Aspects
Auteurs: Romain Delamare; Benoit Baudry; Yves Le Traon
Détail: Proceedings of LATE workshop in conjunction with AOSD'08, 2008, Brussels, Belgium, Belgium.
Accès au texte intégral et bibtex

Titre: Model-driven Simulation of a Maritime Surveillance System
Auteurs: Martin Monperrus; Franck Jaozafy; Gabriel Marchalot; Joël Champeau; Brigitte Hoeltzener; Jean-Marc Jézéquel
Détail: 4th European Conference on Model Driven Architecture Foundations and Applications (ECMDA'2008), 2008, Berlin, Germany, Germany.
Accès au texte intégral et bibtex

Titre: Model-driven Engineering Metrics for Real Time Systems
Auteurs: Martin Monperrus; Jean-Marc Jézéquel; Joël Champeau; Brigitte Hoeltzener
Détail: 4th European Congress ERTS Embedded Real-Time Software, 2008, Toulouse, France, France.
Accès au texte intégral et bibtex

Titre: A Model-driven Measurement Approach
Auteurs: Martin Monperrus; Jean-Marc Jézéquel; Joël Champeau; Brigitte Hoeltzener
Détail: In Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), 2008, Toulouse, France, France.
Accès au texte intégral et bibtex

Titre: Weaving Aspect Configurations for Managing System Variability
Auteurs: Brice Morin; Olivier Barais; Jean-Marc Jézéquel
Détail: 2nd International Workshop on Variability Modelling of Software-intensive Systems, 2008, Essen, Germany, Germany.
Accès au texte intégral et bibtex

Titre: A Generic Weaver for Supporting Product Lines
Auteurs: Brice Morin; Jacques Klein; Olivier Barais; Jean-Marc Jézéquel
Détail: International Workshop on Early Aspects at ICSE'08, 2008, Leipzig, Germany, Germany.
Accès au texte intégral et bibtex

Titre: K@RT: An Aspect-Oriented and Model-Oriented Framework for Dynamic Software Product Lines
Auteurs: Brice Morin; Olivier Barais; Jean-Marc Jézéquel
Détail: Proceedings of the 3rd International Workshop on Models@Runtime, at MoDELS'08, 2008, Toulouse, France, France.
Accès au texte intégral et bibtex

Titre: Test de Transformation de Modèles : Expression d'Oracles
Auteurs: Jean-Marie Mottu; Benoit Baudry; Yves Le Traon
Détail: 4ièmes Journées sur l'Ingénierie Dirigée par les Modèles, 2008, Mulhouse, France, France.
Accès au texte intégral et bibtex

Titre: Improving Maintenance in AOP Through an Interaction Specification Framework
Auteurs: Freddy Munoz; Benoit Baudry; Olivier Barais
Détail: ICSM08, 24th International conference on Software Maintentance, 2008, Beijing, China, China. IEEE Computer Society Press
Accès au texte intégral et bibtex

Titre: Validation challenges in model composition: The case of adaptive systems
Auteurs: Freddy Munoz; Benoit Baudry
Détail: In Proceedings of ChaMDE 2000 - Workshop on Challenges in Model Driven Engineering in conjounction with MODELS'08, 2008, Toulouse, France, France.
Accès au texte intégral et bibtex

Titre: Using MDE to Build a Schizofrenic Middleware for Home/Building Automation
Auteurs: Grégory Nain; Erwan Daubert; Olivier Barais; Jean-Marc Jézéquel
Détail: In ServiceWave'08: Networked European Software \& Services Initiative (NESSI) Conference, 2008, Madrid, Spain.
Accès au texte intégral et bibtex

Titre: Reconciling Automation and Flexibility in Product Derivation
Auteurs: Gilles Perrouin; Jacques Klein; Nicolas Guelfi; Jean-Marc Jézéquel
Détail: 12th International Software Product Line Conference (SPLC 2008), 2008, Limerick, Ireland, Ireland. IEEE Computer Society, pp. 339-348
Accès au texte intégral et bibtex

Titre: EA4UP: an Enterprise Architecture-Assisted Telecom Service Development Method
Auteurs: Jacques Simonin; Yves Le Traon; Jean-Marc Jézéquel; Bertrand Nicolas; Francis Alizon; Jean-Pierre Deschrevel
Détail: EDOC'08 (Entreprise Distributed Object Computing Conference), 2008, Munchen, Germany, Germany.
Accès au texte intégral et bibtex

Titre: Modeling the Variability Space of Self-Adaptive Applications
Auteurs: Gilles Perrouin; Franck Chauvel; Julien Deantoni; Jean-Marc Jézéquel
Détail: Steffen Thiel and Klaus Pohl. 2nd Dynamic Software Product Lines Workshop (SPLC 2008, Volume 2), 2008, Limerick, Ireland, Ireland. IEEE Computer Society, pp. 15-22
Accès au texte intégral et bibtex

Titre: Modeling and Validating Dynamic Adaptation
Auteurs: Franck Fleurey; Vegard Delhen; Nelly Bencomo; Brice Morin; Jean-Marc Jézéquel
Détail: Proceedings of the 3rd International Workshop on Models@Runtime, at MoDELS'08, 2008, Toulouse, France, France.
Accès au texte intégral et bibtex

Titre: Model transformation testing : oracle issue
Auteurs: Jean-Marie Mottu; Benoit Baudry; Yves Le Traon
Détail: MoDeVVa workshop colocated with ICST'08, 2008, Lillehammer, Norway, Norway.
Accès au texte intégral et bibtex

Titre: Model-Based Tests for Access Control Policies
Auteurs: Alexander Pretschner; Tejeddine Mouelhi; Yves Le Traon
Détail: ICST 2008 : First IEEE International Conference on Software, Testing, Verification and Validation, April 9-11, Lillehammer, Norway, 2008, Lillehammer, Norway.
Accès au texte intégral et bibtex

Titre: Test-Driven Assessment of Access Control in Legacy Applications
Auteurs: Yves Le Traon; Tejeddine Mouelhi; Alexander Pretschner; Benoit Baudry
Détail: ICST 2008 : First IEEE International Conference on Software, Testing, Verification and Validation (ICST), April 9-11, Lillehammer, Norway, 2008, Lillehammer, Norway.
Accès au texte intégral et bibtex

Titre: A Generic Metamodel For Security Policies Mutation
Auteurs: Tejeddine Mouelhi; Franck Fleurey; Benoit Baudry
Détail: SecTest 08: 1st International ICST workshop on Security Testing, April 9, Lillehammer, Norway, 2008, Lillehammer, Norway. 8 p.
Accès au texte intégral et bibtex

Titre: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
Auteurs: Sagar Sen; Benoit Baudry; Jean-Marie Mottu
Détail: International Conference on Software Testing, Verification, and Validation, ICST'08., 2008, Lillehammer, Norway, Norway.
Accès au texte intégral et bibtex

Titre: Managing Variability Complexity in Aspect-Oriented Modeling
Auteurs: Brice Morin; Gilles Vanwormhoudt; Philippe Lahire; Alban Gaignard; Olivier Barais; Jean-Marc Jézéquel
Détail: In Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), 2008, Toulouse, France, France.
Accès au texte intégral et bibtex

Titre: A Discrete-Events Simulation Approach for Evaluation of Service-Based Applications
Auteurs: Maha Driss; Yassine Jamoussi; Jean-Marc Jézéquel; Henda Hajjami Ben Ghézala
Détail: In Proceedings of the 6th IEEE European Conference on Web Services, 2008, Dublin, Ireland, Ireland.
Accès au texte intégral et bibtex

Titre: An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability
Auteurs: Brice Morin; Franck Fleurey; Nelly Bencomo; Jean-Marc Jézéquel; Arnor Solberg; Vegard Dehlen; Gordon Blair
Détail: In Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), 2008, Toulouse, France, France.
Accès au texte intégral et bibtex

Titre: QoS testing of service-based applications
Auteurs: Maha Driss; Yassine Jamoussi; Henda Hajjami Ben Ghézala
Détail: In Proceedings of the 3rd IEEE International Design and Test Workshop (IDT '08), 2008, Monastir, Tunisia, Tunisia. pp. 45-50
Accès au texte intégral et bibtex

Titre: Composition of Qualitative Adaptation Policies
Auteurs: Franck Chauvel; Olivier Barais; Isabelle Borne; Jean-Marc Jézéquel
Détail: 23rd IEEE/ACM International Conference on Automated Software Engineering - ASE'08, 2008, L'Aquila, Italy, Italy. pp. 455 - 458
Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre: Software Architecture Evolution
Auteurs: Olivier Barais; Anne-Françoise Le Meur; Laurence Duchien ; Julia Lawall
Détail: Tom Mens and Serge Demeyer. Software Evolution, Springer Verlag, pp. 233-262, 2008, 978-3-540-76439-7
Accès au bibtex

Titre: Software Architecture Evolution
Auteurs: Olivier Barais; Anne-Françoise Le Meur; Laurence Duchien; Julia Lawall
Détail: Tom Mens and Serge Demeyer eds. Software Evolution, Springer Verlag, pp. 233-262, 2008
Accès au texte intégral et bibtex

Ouvrages scientifiques

Titre: Oracles et qualification du test de transformations de modèles.
Auteurs: Jean-Marie Mottu
Détail: Université de Rennes 1, 192 p., Nov. 2008
Accès au bibtex

Rapports

Titre: A classification of invasive patterns in AOP
Auteurs: Freddy Munoz; Benoit Baudry; Olivier Barais
Détail: [Research Report], 2008. RR-6501
Accès au texte intégral et bibtex

Titre: Generating regression tests for software migration
Auteurs: Franck Fleurey; Benoit Baudry; Alain Nicolas; Erwan Breton; Jean-Marc Jézéquel
Détail: [Research Report], 2008, pp. 46. RR-6971
Accès au texte intégral et bibtex

Thèses

Titre: Oracles et qualification du test de transformations de modèles
Auteurs: Jean-Marie Mottu
Détail: Université Rennes 1, Nov. 2008. French
Accès au texte intégral et bibtex

Titre: La mesure des modèles par les modèles : une approche générative
Auteurs: Martin Monperrus
Détail: Université Rennes 1, Oct. 2008. French
Accès au texte intégral et bibtex

Titre: Méthodes et outils pour la conception de systèmes logiciels auto-adaptatifs
Auteurs: Franck Chauvel
Détail: Université de Bretagne Sud, Sep. 2008. French
Accès au texte intégral et bibtex

2007

Articles dans des revues avec comité de lecture

Titre: Évaluation de l'apport des aspects, des sujets et des vues pour la composition et la réutilisation des modèles
Auteurs: Olivier Barais; Philippe Lahire; Alexis Muller; Noël Plouzeau
Détail: L'Objet, logiciel, base de données, réseaux (RSTI série), 2007, 13 (2-3), pp. 177-212
Accès au texte intégral et bibtex

Titre: On Model Typing
Auteurs: Jim Steel; Jean-Marc Jézéquel
Détail: Journal of Software and Systems Modeling (SoSyM), Springer, 2007, 6 (4), pp. 401-414
Accès au texte intégral et bibtex

Titre: On Model Typing
Auteurs: Jim Steel; Jean-Marc Jézéquel
Détail: Journal of Software and Systems Modeling (SoSyM), Springer, 2007, 6 (4), pp. 401-414
Accès au texte intégral et bibtex

Titre: Test Synthesis from UML Models of Distributed Software
Auteurs: Simon Pickin; Claude Jard; Thierry Jéron; Jean-Marc Jézéquel; Yves Le Traon
Détail: IEEE Transactions on Software Engineering, IEEE, 2007, 33 (4), pp. 252-268
Accès au texte intégral et bibtex

Titre: Towards Dependable Model Transformations: Qualifying Input Test Data
Auteurs: Franck Fleurey; Benoit Baudry; Pierre-Alain Muller; Yves Le Traon
Détail: Journal of Software and Systems Modeling (SoSyM), Springer, 2007
Accès au texte intégral et bibtex

Titre: Weaving Multiple Aspects in Sequence Diagrams
Auteurs: Jacques Klein; Franck Fleurey; Jean-Marc Jézéquel
Détail: Transactions on Aspect-Oriented Software Development (TAOSD), Springer, 2007, LNCS 4620, pp. 167-199
Accès au texte intégral et bibtex

Communications avec actes

Titre: Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles
Auteurs: Jean-Marie Mottu; Olivier Barais; Mark Skipper; Didier Vojtisek; Jean-Marc Jézéquel
Détail: 8e conférence AFADL, Approches Formelles dans l'Assistance au D´eveloppement de Logiciels, 2007, Namur, Belgique, Jun 2007, France. pp. 283-285
Accès au bibtex

Titre: Model-Driven Engineering for implementing the ISO 19100 series of international standards
Auteurs: Cyril Faucher; Jean-Yves Lafaye
Détail: CoastGIS 07, the 8th International Symposium on GIS and Computer Mapping for Coastal Zone Management, Oct 2007, Santander, Spain. pp. 424-433
Accès au bibtex

Titre: An enterprise architecture alignment measure for telecom service development
Auteurs: Jacques Simonin; Yves Le Traon; Jean-Marc Jézéquel
Détail: EDOC'07 : the 11th IEEE international EDOC conference : Entreprise distributed object computing conference, Oct 2007, Annapolis, United States. pp. 476
Accès au bibtex

Titre: An enterprise architecture alignment measure for telecom service development
Auteurs: Jacques Simonin; Yves Le Traon; Jean-Marc Jézéquel
Détail: EDOC'07 : the 11th IEEE international EDOC conference : Entreprise distributed object computing conference, Oct 2007, Annapolis, United States. pp. 476
Accès au bibtex

Titre: Providing Support for Model Composition in Metamodels
Auteurs: Robert France; Franck Fleurey; Raghu Reddy; Benoit Baudry; Sudipto Ghosh
Détail: EDOC'07, Oct 2007, Annapolis, MD, United States.
Accès au texte intégral et bibtex

Titre: Modeling and Integrating Aspects into Component Architectures
Auteurs: Lydia Michotte; Robert France; Franck Fleurey
Détail: EDOC'07, Oct 2007, Annapolis, MD, United States.
Accès au texte intégral et bibtex

Titre: Using Aspect Oriented Modeling to localize implementation of executable models
Auteurs: Zaid Altahat; Tzilla Elrad; Didier Vojtisek
Détail: Models and Aspects workshop, at ECOOP 2007, Jul 2007, Berlin, Germany.
Accès au texte intégral et bibtex

Titre: Integration of Time Issues into Component-Based Applications
Auteurs: Sébastien Saudrais; Noël Plouzeau; Olivier Barais
Détail: CBSE, Jul 2007, Boston, United States.
Accès au texte intégral et bibtex

Titre: PLiBS: an Eclipse-based tool for Software Product Line Behavior Engineering
Auteurs: Tewfik Ziadi; Jean-Marc Jézéquel
Détail: Proc. of 3rd Workshop on Managing Variability for Software Product Lines, SPLC 2007, 2007, Kyoto, Japan, Japan.
Accès au texte intégral et bibtex

Titre: PLiBS: an Eclipse-based tool for Software Product Line Behavior Engineering
Auteurs: Tewfik Ziadi; Jean-Marc Jézéquel
Détail: Proc. of 3rd Workshop on Managing Variability for Software Product Lines, SPLC 2007, 2007, Kyoto, Japan, Japan.
Accès au texte intégral et bibtex

Titre: Domain-specific Model Editors with Model Completion
Auteurs: Sagar Sen; Benoit Baudry; Hans Vangheluwe
Détail: In Proceedings of MPM Workshop associated to MoDELS'07, 2007, Nashville, TN, USA, United States.
Accès au texte intégral et bibtex

Titre: Intégration de propriétés temporelles dans des applications à base de composants
Auteurs: Sébastien Saudrais; Olivier Barais; Laurence Duchien; Noël Plouzeau
Détail: Dixième Anniversaire de la Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), 2007, Namur, Belgium, Belgium.
Accès au texte intégral et bibtex

Titre: Monitoring your Lego Mindstorms with Giotto
Auteurs: Sébastien Saudrais; Olivier Barais; Noël Plouzeau; Jean-Marc Jézéquel
Détail: in Proceedings of ARTIST International Workshop on Tool Platforms for Modeling, Analysis and Validation of Embedded Systems, 2007, Berlin, Germany, Germany.
Accès au texte intégral et bibtex

Titre: Matching Model-Snippets
Auteurs: Rodrigo Ramos; Olivier Barais; Jean-Marc Jézéquel
Détail: In Proceedings of ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 07), 2007, Nashville, TN, USA, United States.
Accès au texte intégral et bibtex

Titre: Vigilant usage of Aspects
Auteurs: Freddy Munoz; Olivier Barais; Benoit Baudry
Détail: in Proceedings of ADI 2007 - Workshop on Aspects, Dependencies, and Interactions at ECOOP 2007, 2007, Berlin, Germany, Germany.
Accès au texte intégral et bibtex

Titre: Introducing variability into Aspect-Oriented Modeling approaches
Auteurs: Philippe Lahire; Brice Morin; Gilles Vanwormhoudt; Alban Gaignard; Olivier Barais; Jean-Marc Jézéquel
Détail: In Proceedings of ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 07), 2007, Nashville, TN, USA, United States.
Accès au texte intégral et bibtex

Titre: Counts count
Auteurs: Martin Monperrus; Joël Champeau; Brigitte Hoeltzener
Détail: Proceedings of the 2nd Workshop on Model Size Metrics (MSM'07) co-located with MoDELS'2007, 2007, Nashville, United States.
Accès au texte intégral et bibtex

Titre: Introduction du test dans la modélisation par aspects
Auteurs: Jacques Klein; Benoit Baudry; Olivier Barais; Andrew Jackson
Détail: Troisième Journées sur l'Ingénierie Dirigée par les Modèles (IDM'2007), 2007, Toulouse, France, France. INPT
Accès au texte intégral et bibtex

Titre: Modeling and Aspect Weaving
Auteurs: Jean-Marc Jézéquel
Détail: Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa. Methods for Modelling Software Systems (MMOSS), 2007, Schloss Dagstuhl, Germany, Germany. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl Seminar Proceedings
Accès au texte intégral et bibtex

Titre: Model-Driven Engineering for Software Migration in a Large Industrial Context
Auteurs: Franck Fleurey; Erwan Breton; Benoit Baudry; Alain Nicolas; Jean-Marc Jézéquel
Détail: MoDELS'07, 2007, Nashville, TN, USA, United States.
Accès au texte intégral et bibtex

Titre: A Generic Approach For Automatic Model Composition
Auteurs: Franck Fleurey; Benoit Baudry; Robert France; Sudipto Ghosh
Détail: Aspect Oriented Modeling (AOM) Workshop, 2007, Nashville, USA, United States.
Accès au texte intégral et bibtex

Titre: Producing a Global Requirement Model from Multiple Requirement Specifications
Auteurs: Erwan Brottier; Benoit Baudry; Yves Le Traon; David Touzet; Bertrand Nicolas
Détail: EDOC'07 (Entreprise Distributed Object Computing Conference), 2007, Annapolis, MD, USA, United States.
Accès au texte intégral et bibtex

Titre: Modelling Adaptation Policies for Self-Adaptive Component Architectures
Auteurs: Franck Chauvel; Olivier Barais
Détail: Gordon Blair and Nelly Bencomo and Robert France. 1st Workshop on Model-driven Software Adaptation M-ADAPT'07 at ECOOP 2007, 2007, Berlin, Germany, Germany. pp. 61-68
Accès au texte intégral et bibtex

Titre: Towards a Generic Aspect-Oriented Modeling Framework
Auteurs: Brice Morin; Olivier Barais; Jean-Marc Jézéquel; Rodrigo Ramos
Détail: Models and Aspects workshop, at ECOOP 2007, 2007, Berlin, Germany, Germany.
Accès au texte intégral et bibtex

Titre: Model-driven Development of Complex Software: A Research Roadmap
Auteurs: Robert France; Bernhard Rumpe
Détail: FOSE '07: 2007 Future of Software Engineering, May 2007, Washington, DC, United States. IEEE Computer Society, pp. 37-54
Accès au bibtex

Titre: Model-driven Engineering for Requirements Analysis
Auteurs: Benoit Baudry; Clémentine Nebut; Yves Le Traon
Détail: EDOC'07: "The Enterprise Computing Conference". pp. 459-466, 2007
Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre: Generative Software Engineering
Auteurs: Jean-Marc Jézéquel
Détail: Labit, Claude. Shaping the Future: 10 years of IrisaTech, IrisaTech, pp. 51-54, 2007
Accès au texte intégral et bibtex

Autres publications

Titre: Séparation des préoccupations en phase de méta-modélisation
Auteurs: Olivier Barais
Détail: 2007. http://www2.lifl.fr/~mullera/CoMo07.htm
Accès au texte intégral et bibtex

Titre: Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.
Auteurs: Jean-Marie Mottu; Olivier Barais; Mark Skipper; Didier Vojtisek; Jean-Marc Jézéquel
Détail: 2007. Ce document présente succintement l'intégration du support OCL pour le langage de méta-modélisation exécutable Kermeta. L'accent dans cette courte présentation est mis sur les cas d'utilisation possibles de cette brique logicielle et l'intér{ê}t des choix techniques retenus : un support natif du paradigme de Conception par Contrats (Design by Contract) dans Kermeta et une transformation de modèle du méta-modèle OCL au méta-modèle Kermeta pour le support de la syntaxe concrète OCL.
Accès au texte intégral et bibtex

Titre: Model Driven Engineering for implementing the ISO 19100 series of international standards
Auteurs: Cyril Faucher; Jean-Yves Lafaye
Détail: 2007. http://www.coastgis07.com
Accès au texte intégral et bibtex

Thèses

Titre: Performance des systèmes distribués : proposition d'une plateforme fédératrice de la supervision
Auteurs: Marouane Himda
Détail: informatique. Université Rennes 1, Dec. 2007. French
Accès au texte intégral et bibtex

Titre: Qualité de Service Temporelle pour Composants Logiciels
Auteurs: Sébastien Saudrais
Détail: informatique. Université Rennes 1, Dec. 2007. French
Accès au texte intégral et bibtex

Titre: Typage de Modèles
Auteurs: James Steel
Détail: informatique. Université Rennes 1, Apr. 2007. English
Accès au texte intégral et bibtex

2006

Articles dans des revues avec comité de lecture

Titre: Design by Contract to improve Software Vigilance
Auteurs: Yves Le Traon; Benoit Baudry; Jean-Marc Jézéquel
Détail: IEEE Transactions on Software Engineering, IEEE, 2006, 32 (8), pp. 571-586
Accès au texte intégral et bibtex

Titre: Automatic Test Generation: A Use Case Driven Approach
Auteurs: C. Nebut; F. Fleurey; Y. Le Traon; J.M. Jezequel
Détail: IEEE Transactions on Software Engineering, 2006, 32 (3), pp. 140-155
Accès au texte intégral et bibtex

Communications avec actes

Titre: Reusable MDA Components: A Testing-for-Trust Approach
Auteurs: Jean-Marie Mottu; Benoit Baudry; Le Traon Yves
Détail: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006., Oct 2006, Genova, Italy. pp. 589-603
Accès au bibtex

Titre: Model Transformation Testing Challenges
Auteurs: Benoit Baudry; Trung Dinh-Trong; Jean-Marie Mottu; Devon Simmonds; Robert France; Sudipto Ghosh; Franck Fleurey; Yves Le Traon
Détail: IMDT workshopon Integration of Model Driven Development and Model Driven Testing in conjunction with ECMDA'06, Bilbao, Spain, 2006., Jul 2006, Bilbao, Spain. pp. baudry
Accès au bibtex

Titre: Mutation Analysis Testing for Model Transformations
Auteurs: Jean-Marie Mottu; Baudry Benoit; Yves Le Traon
Détail: European Conference on Model Driven Architecture (ECMDA 06), Jul 2006, Bilbao, Spain, Spain. pp 376 – 390
Accès au bibtex

Titre: On-Demand Quality-Oriented Assistance in Component-Based Software Evolution
Auteurs: Chouki Tibermacine; Régis Fleurquin; Salah Sadou
Détail: 9th International Symposium on Component-Based Software Engineering (CBSE'06), Jun 2006, Västerås, Sweden. Springer, 4063, pp. 294-309, Lecture Notes in Computer Science
Accès au texte intégral et bibtex

Titre: Tissage d'Aspects Comportementaux
Auteurs: Jacques Klein; Franck Fleurey
Détail: Langages et Modèles à Objets: LMO'06, Mar 2006, Nimes, France.
Accès au texte intégral et bibtex

Titre: Model Driven Aspect Weaving
Auteurs: Jean-Marc Jézéquel
Détail: 1st European Summer School on Aspect-oriented Software Development, 2006, Vrije Universiteit Brussel, Belgium, Belgium.
Accès au bibtex

Titre: Testing Executable Themes
Auteurs: Andrew Jackson; Jacques Klein; Benoit Baudry; Siobhan Clarke
Détail: In Second Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at {ECOOP 06}, 2006, Nantes, France, France.
Accès au texte intégral et bibtex

Titre: Executable Aspect Oriented Models for Improved Model Testing
Auteurs: Andrew Jackson; Jacques Klein; Benoit Baudry; Siobhan Clarke
Détail: ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., 2006, Bilbao, Spain, Spain.
Accès au texte intégral et bibtex

Titre: Reifying the Semantic Domains of Component Contracts
Auteurs: Jean-Marc Jézéquel
Détail: 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, 2006, Braga, Portugal, Portugal. Springer SBM
Accès au texte intégral et bibtex

Titre: Reverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces
Auteurs: Romain Delamare; Benoit Baudry; Yves Le Traon
Détail: Workshop on Object-Oriented Reengineering at {ECOOP 06}, 2006, Nantes, France, France.
Accès au texte intégral et bibtex

Titre: Mutation-based Model Synthesis in Model Driven Engineering
Auteurs: Sagar Sen; Benoit Baudry
Détail: Mutation'06 workshop associtaed to ISSRE'06, 2006, Raleigh, NC, USA, United States.
Accès au texte intégral et bibtex

Titre: Composants avec Propriétés Temporelles
Auteurs: Sébastien Saudrais; Olivier Barais; Noël Plouzeau
Détail: Proceedings of the CAL 2006, 2006, Nantes, France, France.
Accès au texte intégral et bibtex

Titre: Using Model-Driven Engineering to generate QoS Monitors from a formal specification
Auteurs: Sébastien Saudrais; Olivier Barais; Laurence Duchien
Détail: Proceedings of the Aquserm 2006, 2006, Hong Kong, China, China.
Accès au texte intégral et bibtex

Titre: Model Transformation Testing Challenges
Auteurs: Benoit Baudry; Trung Dinh-Trong; Jean-Marie Mottu; Devon Simmonds; Robert France; Sudipto Ghosh; Franck Fleurey; Yves Le Traon
Détail: ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., 2006, Bilbao, Spain.
Accès au texte intégral et bibtex

Titre: Semantic Join Point Models: Motivations, Notions and Requirements
Auteurs: Walter Cazzola; Jean-Marc Jézéquel; Awais Rashid
Détail: SPLAT 2006 (Software Engineering Properties of Languages and Aspect Technologies), 2006, Bonn, Germany, Germany.
Accès au texte intégral et bibtex

Titre: Improving Test Suites for Efficient Fault Localization
Auteurs: Benoit Baudry; Franck Fleurey; Yves Le Traon
Détail: 28th International Conference on Software Engineering (ICSE 06), 2006, Shanghai, China. ACM
Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre: On Metamodels and Language Engineering
Auteurs: Pierre-Alain Muller
Détail: Jean-Philippe Babau and Joël Champeau and Sébastien Gérard. From MDD Concepts to Experiments and Illustrations, ISTE, pp. 13-22, Sep. 2006, 9781905209590
Accès au bibtex

Titre: Consolidated Product Line Variability Modeling
Auteurs: J. Bayer; Sébastien Gérard; O. Haugen; J. Mansell; B. Moller-Pedersen; J. Oldevik; P. Tessier; Jean-Philippe Thibault; T. Widen
Détail: Timo Käköla and Juan Duenas. Software Product Lines, Springer Verlag, Aug. 2006, 978-3-540-33252-7
Accès au bibtex

Titre: System Testing of Product Families: from Requirements to Test Cases
Auteurs: Clémentine Nebut; Yves Le Traon; Jean-Marc Jézéquel
Détail: K. Pohl. Software Product Lines, Springer Verlag, pp. 447-478, 2006
Accès au texte intégral et bibtex

Titre: Patrons de conception
Auteurs: Jean-Marc Jézéquel
Détail: Akoka, Jacky and Comyn-Wattiau, Isabelle. Encyclopédie Vuibert de l'informatique, Vuibert, 2006
Accès au texte intégral et bibtex

Titre: Le génie logiciel et l'IDM : une approche unificatrice par les modèles
Auteurs: Jean-Marc Jézéquel; Sébastien Gérard; Benoit Baudry
Détail: J. Estublier. L'ingénierie dirigée par les modèles, Lavoisier, Hermes-science, 2006
Accès au texte intégral et bibtex

Titre: Product Line Engineering with the UML: Deriving Products
Auteurs: Tewfik Ziadi; Jean-Marc Jézéquel
Détail: K. Pohl. Software Product Lines, Springer Verlag, pp. 557-586, 2006
Accès au texte intégral et bibtex

Titre: System Testing of Product Lines: From Requirements to Test Cases
Auteurs: Clémentine Nebut; Yves Le Traon; Jean-Marc Jézéquel
Détail: Timo Käkölä, Juan C. Dueñas. Software Product Lines - Research Issues in Engineering and Management, pp. 447-478, 2006, 978-3-540-33252-7
Accès au bibtex

HDR

Titre: De la modélisation objet des logiciels à la metamodélisation des langages informatiques
Auteurs: Pierre-Alain Muller
Détail: Université Rennes 1, Nov. 2006. French
Accès au texte intégral et bibtex

Autres publications

Titre: QVT : un standard de transformation pour l'Ingénierie Dirigèe par les Modèles
Auteurs: Didier Vojtisek
Détail: Jan. 2006. http://www.standarmedia.com
Accès au texte intégral et bibtex

Titre: SpoonEMF, une brique logicielle pour l'utilisation de l'IDM dans le cadre de la réingénierie de programmes Java5
Auteurs: Olivier Barais
Détail: 2006. 2 ième Journée sur l'Ingénièrie Dirigée par les Modèles
Accès au texte intégral et bibtex

Titre: L'ingénierie des modèles
Auteurs: Jean-Marc Jézéquel
Détail: 2006. Performance, Silicomp-AQL
Accès au texte intégral et bibtex

Titre: Multi-Language Support for Model-Driven Requirement Analysis and Test Generation
Auteurs: Clémentine Nebut; Benoit Baudry; Souha Kamoun; Waqas Saeed
Détail: 2006
Accès au bibtex

Thèses

Titre: Aspects Comportementaux et Tissage
Auteurs: Jacques Klein
Détail: informatique. Université Rennes 1, Dec. 2006. French
Accès au texte intégral et bibtex

Titre: Langage et méthode pour une ingénierie des modèles fiable
Auteurs: Franck Fleurey
Détail: Université Rennes 1, Oct. 2006. French
Accès au texte intégral et bibtex

2005

Articles dans des revues avec comité de lecture

Titre: Platform independent Web application modeling and development with Netsilon
Auteurs: Pierre-Alain Muller; Philippe Studer; Frédéric Fondement; Jean Bézivin
Détail: Software and System Modeling, Springer, 2005, 4 (4), pp. 424–442
Accès au texte intégral et bibtex

Communications avec actes

Titre: On Executable Meta-Languages applied to Model Transformations
Auteurs: Pierre-Alain Muller; Franck Fleurey; Didier Vojtisek; Zoé Drey; Damien Pollet; Frédéric Fondement; Philippe Studer; Jean-Marc Jézéquel
Détail: Model Transformations In Practice Workshop, Oct 2005, Montego Bay, Jamaica.
Accès au texte intégral et bibtex

Titre: Génération automatique de tests pour les transformations de modèles.
Auteurs: Jean-Marie Mottu; Benoit Baudry; Yves Le Traon; Erwan Brottier
Détail: 1ères Journées sur l'Ingénierie Dirigée par les Modèles, Jun 2005, Paris, France. pp. 83-97
Accès au bibtex

Autres publications

Titre: Le test de transformations de modèles : automatisation de l'oracle
Auteurs: Jean-Marie Mottu
Détail: Jun. 2005. Mémoire de Master
Accès au bibtex

2004

Articles dans des revues avec comité de lecture

Titre: MTL and Umlaut NG - Engine and Framework for Model Transformation
Auteurs: Didier Vojtisek; Jean-Marc Jézéquel
Détail: ERCIM News 58, ERCIM News, 2004, ERCIM News 58, 58
Accès au texte intégral et bibtex

2003

Articles dans des revues avec comité de lecture

Titre: Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach.
Auteurs: Albert Benveniste; Eric Fabre; Stefan Haar; Claude Jard
Détail: IEEE Transactions on Automatic Control, IEEE Computer Society Press, 2003, 48 (5), pp. 714-727
Accès au texte intégral et bibtex

Communications avec actes

Titre: Distributed unfoldings: a tool to address distributed discrete event systems diagnosis
Auteurs: Albert Benveniste; Stefan Haar; Eric Fabre; Claude Jard
Détail: Proceedings of the 42nd IEEE Conference on Decision and Control (CDC'03), 2003, Hawaii, USA, United States. IEEE Control System Society, 4, pp. 3742-3747
Accès au bibtex

Titre: Partial Order Diagnosability of Discrete Event Systems Using Petri Net Unfoldings
Auteurs: Stefan Haar; Albert Benveniste; Eric Fabre; Claude Jard
Détail: Proceedings of the 42nd IEEE Conference on Decision and Control (CDC'03), 2003, Hawaii, USA, United States. IEEE Control System Society, 4, pp. 3748-3753
Accès au bibtex

Titre: Distributed Monitoring of Concurrent and Asynchronous Systems
Auteurs: Albert Benveniste; Eric Fabre; Stefan Haar; Claude Jard
Détail: Amadio, Roberto M. and Lugiez, Denis. Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03), 2003, Marseilles, France, France. Springer, 2761, pp. 1-26
Accès au bibtex

2002

Communications avec actes

Titre: Diagnosis of Asynchronous Discrete Event Systems, A~Net Unfolding Approach
Auteurs: Albert Benveniste; Eric Fabre; Stefan Haar; Claude Jard
Détail: Proceedings of the 6th Workshop on Discrete Event Systems (WODES'02), 2002, Zaragoza, Spain, Spain. pp. 182-190
Accès au bibtex

Rapports

Titre: Modélisation de la sémantique formelle des langages de programmation en UML et OCL
Auteurs: Jacques Malenfant
Détail: [Report], 2002. RR-4499
Accès au texte intégral et bibtex

Titre: Synthesis of Distributed Testers from True-concurrency Models of Reactive Systems
Auteurs: Claude Jard
Détail: [Research Report], 2002. RR-4567
Accès au texte intégral et bibtex

Titre: The Design of GCCL: a Generalized Common Contract Language
Auteurs: Jacques Malenfant; Noël Plouzeau; Jean-Marc Jézéquel
Détail: [Research Report], 2002. RR-4502
Accès au texte intégral et bibtex

Titre: Une étude sémantique du langage QML
Auteurs: Jacques Malenfant
Détail: [Research Report], 2002. RR-4497
Accès au texte intégral et bibtex

En savoir plus

Retrouvez toutes les publications scientifiques de nos équipes de recherche sur HAL Inria

Pierre-Louis Lions : Grand Prix Inria

Francis Bach : Prix Inria du jeune chercheur

Ethique & technologies numériques

Lancement d'Inriality

Informatique au Collège de France

Campagne Internships 2013

Ivan Laptev : Faire progresser la vision par ordinateur

Innover avec les sciences du numérique - Connect n° 3

Rencontre Inria-Industrie - Santé

Pierre-Louis Lions : Grand Prix Inria

Francis Bach : Prix Inria du jeune chercheur

Paul-Louis George : lauréat du Prix de l’innovation Inria - Dassault Systèmes 2012

Favoriser l’accueil des étudiants étrangers

Rencontres Inria - Industrie : Efficacité énergétique

Inria et France-Brevets signent un partenariat

iMatch Bio-Med Tech

iMatch Modèles Statistiques

Publications de l'équipe TRISKELL

Archives

En savoir plus

Voir aussi

Siège et centres de recherche Inria

Accès direct

Social

Publications de l'équipe TRISKELL

Partager

Archives

En savoir plus

Voir aussi

Siège et centres de recherche Inria

Accès direct

Social