Publications HAL du labo/EPI Triskell

Journal articles

titre
Un processus à base de modèles pour les systèmes auto-adaptatifs
auteur
Franck Chauvel, Olivier Barais, Jean-Marc Jézéquel, Isabelle Borne
article
La Revue de l'électricité et de l'électronique, 2009, 2, pp.38--44
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468653/file/ree_chauvel_et_al.pdf BibTex
titre
Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification
auteur
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
article
Journal of Software, 2009, 4 (9), pp.943-958
Accès au texte intégral et bibtex
https://hal.science/hal-00371553/file/jsw-2009-CCGT_preliminary.pdf BibTex
titre
Qualifying Input Test Data for Model Transformations
auteur
Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon
article
Software and Systems Modeling, 2009, 8 (2), pp.185-203. ⟨10.1007/s10270-007-0074-8⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00880639/file/MIPS_2008_04_MANUSCRIT.pdf BibTex
titre
Editorial for the Special Issue on Aspects and Model-Driven Engineering
auteur
Robert France, Jean-Marc Jézéquel
article
LNCS Transactions on Aspect-Oriented Software Development, 2009, LNCS 5560, pp.16-21
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468654/file/France09a.pdf BibTex
titre
Processus MOPCOM pour SoC/SoPC
auteur
Ali Koudri, Joël Champeau, Denis Aulagnier, Didier Vojtisek
article
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468656/file/Koudri09a.pdf BibTex
titre
Models at Runtime to Support Dynamic Adaptation
auteur
Brice Morin, Olivier Barais, Jean-Marc Jézéquel, Franck Fleurey, Arnor Solberg
article
Computer, 2009, pp.46-53
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477529/file/Morin09f.pdf BibTex
titre
Towards Domain-specific Model Editors with Automatic Model Completion
auteur
Sagar Sen, Benoit Baudry, Hans Vangheluwe
article
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2009, 3 (12), pp.109-126. ⟨10.1177/0037549709340530⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468513/file/Sen09c.pdf BibTex
titre
Introduction à la construction d'un DSL sous Eclipse
auteur
Didier Vojtisek
article
Programmez !, 2009, 120, pp.70-72
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468511/file/Vojtisek09a.pdf BibTex
titre
OpenEmbeDD : La plate-forme et ses outils d'ingénierie de modèles
auteur
Didier Vojtisek
article
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 89, pp.31-37
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468512/file/Vojtisek09b.pdf BibTex

Conference papers

titre
Présentation des résultats du projet OpenEmbeDD
auteur
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
article
Neptune, May 2009, Paris, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00381639/file/Neptune-09.pdf BibTex
titre
Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Simulation
auteur
Reda Bendraou, Jean-Marc Jézéquel, Franck Fleurey
article
ICSP 2009 - International Conference on Software Process, May 2009, Vancouver, Canada. pp.148-160, ⟨10.1007/978-3-642-01680-6_15⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468652/file/Bendraou09a.pdf BibTex
titre
Composition et expression qualitative de politiques d'adaptation pour les composants Fractal
auteur
Franck Chauvel, Olivier Barais, Noël Plouzeau, Isabelle Borne, Jean-Marc Jézéquel
article
Actes des Journées nationales du GDR GPL 2009, 2009, Toulouse, France, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00542773/file/Chauvel09b.pdf BibTex
titre
Adaptation de services en environnement distribué
auteur
Erwan Daubert, Guillaume Gauvrit, Françoise André, Olivier Barais
article
RenPar'19, Sep 2009, Toulouse, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00411514/file/Daubert_Gauvrit_poster_renpar2009.pdf BibTex
titre
A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ
auteur
Romain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon
article
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
https://inria.hal.science/inria-00477530/file/Delamare09a.pdf BibTex
titre
AjMutator: A Tool For The Mutation Analysis Of AspectJ Pointcut Descriptors
auteur
Romain Delamare, Benoit Baudry, Yves Le Traon
article
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
https://inria.hal.science/inria-00477531/file/Delamare09b.pdf BibTex
titre
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
auteur
Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry
article
Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00470523/file/models_cdl_12juillet09_Final_Version.pdf BibTex
titre
Dynamic Software Product Lines for Service-Based Systems
auteur
Paul Istoan, Grégory Nain, Gilles Perrouin, Jean-Marc Jézéquel
article
9th IEEE International Conference on Computer and Information Technology, 2009, Xiamen, CHINA, China
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468655/file/Istoan09a.pdf BibTex
titre
Aspect Model Unweaving
auteur
Jacques Klein, Jörg Kienzle, Brice Morin, Jean-Marc Jézéquel
article
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
https://inria.hal.science/inria-00504677/file/Morin09d.pdf BibTex
titre
Formalisation de bonnes pratiques dans les procédés de développement logiciels
auteur
Vincent Le Gloahec, Régis Fleurquin, Salah Sadou
article
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
https://inria.hal.science/inria-00504679/file/legloahec09a.pdf BibTex
titre
Generic Model Refactorings
auteur
Naouel Moha, Vincent Mahé, Olivier Barais, Jean-Marc Jézéquel
article
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
https://inria.hal.science/inria-00468657/file/Moha09c.pdf BibTex
titre
Leveraging Models From Design-time to Runtime. A Live Demo
auteur
Brice Morin, Grégory Nain, Olivier Barais, Jean-Marc Jézéquel
article
4th International Workshop on Models@Run.Time (at MODELS'09), 2009, Denver, Colorado, USA, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468520/file/Morin09e.pdf BibTex
titre
Taming Dynamically Adaptive Systems with Models and Aspects
auteur
Brice Morin, Olivier Barais, Grégory Nain, Jean-Marc Jézéquel
article
31st International Conference on Software Engineering (ICSE'09), 2009, Vancouver, Canada, Canada
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468516/file/Morin09a.pdf BibTex
titre
Unifying Runtime Adaptation and Design Evolution
auteur
Brice Morin, Thomas Ledoux, Mahmoud Ben Hassine, Franck Chauvel, Olivier Barais, Jean-Marc Jézéquel
article
IEEE 9th International Conference on Computer and Information Technology (CIT'09), 2009, Xiamen, China, China
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468517/file/Morin09b.pdf BibTex
titre
Weaving Variability into Domain Metamodels
auteur
Brice Morin, Gilles Perrouin, Philippe Lahire, Olivier Barais, Gilles Vanwormhoudt, Jean-Marc Jézéquel
article
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
https://inria.hal.science/inria-00468519/file/Morin09c.pdf BibTex
titre
Transforming and selecting functional test cases for security policy testing
auteur
Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry
article
ICST, 2009, Denver, CO, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00538390/file/mouelhi09.pdf BibTex
titre
Modeling Modeling
auteur
Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry
article
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
https://inria.hal.science/inria-00477528/file/muller09.pdf BibTex
titre
A Framework for Testing Model Composition Engines
auteur
Freddy Munoz, Benoit Baudry
article
SC '09: Proceedings of the 8th International Conference on Software Composition, 2009, Berlin, Heidelberg, France. pp.125--141
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00504693/file/munoz09b.pdf BibTex
titre
Inquiring the usage of aspect-oriented programming: an empirical study
auteur
Freddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon
article
25th IEEE International Conference on Software Maintenance (ICSM'09), 2009, Edmonton, Alberta, Canada, Canada
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00504676/file/munoz09a.pdf BibTex
titre
EntiMid : un middleware aux services de la maison
auteur
Grégory Nain, Olivier Barais, Régis Fleurquin, Jean-Marc Jézéquel
article
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
https://inria.hal.science/inria-00468521/file/Nain09a.pdf BibTex
titre
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective
auteur
Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon
article
Proceedings of the International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ2009), 2009, Amsterdam, Netherlands, Netherlands
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468522/file/Perrouin09a.pdf BibTex
titre
Automatic Model Generation Strategies for Model Transformation Testing
auteur
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
article
Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009., Jun 2009, Zurich, Switzerland. pp.148-164
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468256/file/Sen09a.pdf BibTex
titre
Meta-model Pruning
auteur
Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel
article
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
https://inria.hal.science/inria-00468514/file/Sen09b.pdf BibTex
titre
Tracking Design Smells: Lessons from a Study of God Classes
auteur
Stéphane Vaucher, Foutse Khomh, Naouel Moha, Yann-Gaël Guéhéneuc
article
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
https://inria.hal.science/inria-00512134/file/Moha09b.pdf BibTex

Book sections

titre
SoC/SoPC development using MDD and MARTE profile
auteur
Denis Aulagnier, Ali Koudri, Stéphane Lecomte, Philippe Soulard, Joël Champeau, Jorgiano Vidal, Gilles Perrouin, Pierre Leray
article
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
https://inria.hal.science/inria-00468650/file/Aulagnier09a.pdf BibTex
titre
Testing Model Transformations: A case for Test Generation from Input Domain Models
auteur
Benoit Baudry
article
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
https://inria.hal.science/inria-00468651/file/Baudry09b.pdf BibTex

Reports

titre
Artificial table testing dynamically adaptive systems
auteur
Freddy Munoz, Benoit Baudry
article
[Research Report] RR-6866, INRIA. 2009, pp.29
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00365874/file/rrrt-model-rennes.pdf BibTex
titre
Guide pour l'écriture des transformations pivot vers plates-formes
auteur
Noël Plouzeau, Nicolas Ferry, Mireille Blay-Fornarino, Anne-Françoise Le Meur, Sébastien Mosser, Lionel Seinturier, Jean-Yves Tigli, Guillaume Waignier
article
[Rapport Technique] 2009
Accès au bibtex
BibTex

Theses

titre
Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles.
auteur
Erwan Brottier
article
Génie logiciel [cs.SE]. Université Rennes 1, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00512174/file/Brottier09.pdf BibTex
titre
Analyses Automatiques pour le Test de Programmes Orientés Aspect
auteur
Romain Delamare
article
Génie logiciel [cs.SE]. Université Rennes 1, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00512178/file/Delamare09c.pdf BibTex
titre
Conception de l'architecture d'un système dirigée par un modèle d'urbanisme fonctionnel
auteur
Jacques Simonin
article
Génie logiciel [cs.SE]. Université Rennes 1, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00512182/file/Simonin09a.pdf BibTex