Journal articles

titre
Guest Editorial for Special Section on Mutation Testing.
auteur
Benoit Baudry, Gordon Fraser, Jeremy Bradbury
article
Information and Software Technology, Elsevier, 2011
Accès au bibtex
BibTex
titre
AutoHome: an Autonomic Management Framework for Pervasive Home Applications
auteur
Johann Bourcier, Ada Diaconescu, Philippe Lalanda, Mccann Julie
article
ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2011, 6 (1)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00554197/file/bourcier10a.pdf BibTex
titre
An Approach for Testing Pointcut Descriptors in AspectJ
auteur
Romain Delamare, Benoit Baudry, Sudipto Ghosh, Shashank Gupta, Yves Le Traon
article
Software Testing, Verification and Reliability, Wiley, 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00641263/file/delamare11.pdf BibTex
titre
Une approche centrée exigences pour la composition de services web
auteur
Maha Driss, Yassine Jamoussi, Naouel Moha, Jean-Marc Jézéquel, Henda Hajjami Ben Ghézala
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2011, 16 (2), pp.97-125
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00648159/file/ISIDriss11.pdf BibTex
titre
Model-driven Generative Development of Measurement Software
auteur
Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener
article
Software and Systems Modeling (SoSyM), Springer, 2011, 10 (4), pp.537-552. 〈10.1007/s10270-010-0165-9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504670/file/Monperrus2010.pdf BibTex
titre
Analysis and improvement of the alignment between business and information system for telecom services
auteur
Jacques Simonin, Emmanuel Bertin, Yves Le Traon, Jean-Marc Jezequel, Noel Crespi
article
International Journal On Advances in Software, IARIA, 2011, 4 (1 & 2), pp.117-128
Accès au bibtex
BibTex

Conference papers

titre
Distribution and Self-Adaptation of a Framework for Dynamic Adaptation of Services
auteur
Françoise André, Erwan Daubert, Guillaume Gauvrit
article
The Sixth International Conference on Internet and Web Applications and Services (ICIW), Mar 2011, St. Maarten, Netherlands Antilles. pp.16-21, 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00553539/file/iciw_2011_1_30_20079.pdf BibTex
titre
Selection of Composable Web Services Driven by User Requirements
auteur
Zeina Azmeh, Maha Driss, Fady Hamoui, Marianne Huchard, Naouel Moha, Chouki Tibermacine
article
IEEE Computer Society. ICWS'11: 9th IEEE International Conference on Web Services - Applications and Experiences Track, Jul 2011, Washington DC, United States. pp.8, 2011, 〈http://conferences.computer.org/icws/2011/〉
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00596346/file/ZAetAl_ICWS_2011.pdf BibTex
titre
Model Driven Mutation Applied to Adaptative Systems Testing
auteur
Alexandre Bartel, Benoit Baudry, Freddy Munoz, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon
article
IEEE International Conference on Software Testing, Verification and Validation, Mutation Analysis Workshop (Mutation 2011), Mar 2011, Berlin, Germany. pp.6, 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00700444/file/article.pdf BibTex
titre
Specifying and implementing UI Data Bindings with Active Operations
auteur
Olivier Beaudoux, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel
article
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2011, Pise, Italy. pp.127--136, 2011, 〈10.1145/1996461.1996506〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00590896/file/EICS_2011.pdf BibTex
titre
Combining Aspect-Oriented Modeling with Property-Based Reasoning to Improve User Interface Adaptation
auteur
Arnaud Blouin, Brice Morin, Olivier Beaudoux, Grégory Nain, Patrick Albers, Jean-Marc Jézéquel
article
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2011, Pise, Italy. pp.85--94, 2011, 〈10.1145/1996461.1996500〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00590891/file/main.pdf BibTex
titre
Modeling Model Slicers
auteur
Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux
article
ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. Springer Berlin / Heidelberg, 6981, pp.62--76, 2011, 〈10.1007/978-3-642-24485-8_6〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00609072/file/BLO11b.pdf BibTex
titre
Empirical evaluation of the conjunct use of MOF and OCL
auteur
Juan Cadavid, Benoit Baudry, Benoit Combemale
article
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, 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00647347/file/eessmod2011-final.pdf BibTex
titre
Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior
auteur
Mickaël Clavreul, Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France
article
Whittle, John and Clark, Tony and Kühne, Thomas. Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. Springer Berlin / Heidelberg, 6981, pp.289-303, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-24485-8_21〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00634943/file/clavreul11.pdf BibTex
titre
A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics
auteur
Benoit Combemale, Laure Gonnord, Vlad Rusu
article
Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. Springer Verlag, 6698, pp.35-51, 2011, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00593425/file/ecmfa11-tracematching-camera.pdf BibTex
titre
Teaching MDE through the Formal Verification of Process Models
auteur
Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila
article
ECEASST. 7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Oct 2011, Wellington, New Zealand. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00646426/file/edusymp2011.pdf BibTex
titre
Multiple Feature Models & Relationships in a Model-Based Product Line Process
auteur
Stephen Creff, Arnaud Monégier, Joël Champeau, Jean-Marc Jézéquel
article
Lignes de produits, Oct 2011, Paris, France. 2011
Accès au bibtex
BibTex
titre
Adaptation multi-niveaux : l'infrastructure au service des applications
auteur
Erwan Daubert, Françoise André, Olivier Barais
article
Conférence Française en Systèmes d'Exploitation (CFSE), May 2011, St Malo, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00603973/file/cfse8_05.pdf BibTex
titre
Easing Model Transformation Learning with Automatically Aligned Examples
auteur
Xavier Dolques, Aymen Dogui, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut, François Pfister
article
Robert B. France; Jochen Malte Küster; Behzad Bordbar; Richard F. Paige. ECMFA'11: 7th European Conference Modelling - Foundation and Applications, Jun 2011, Birmingham, United Kingdom. Springer, LNCS (6698), pp.189-204, 2011, 〈http://www.ecmfa-2011.org/〉. 〈10.1007/978-3-642-21470-7_14〉
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00616271/file/ecmfa11xd.pdf BibTex
titre
Formal and Relational Concept Analysis approaches in Software Engineering: an overview and an application to learn model transformation patterns in examples
auteur
Xavier Dolques, Marianne Huchard, Clémentine Nebut, Hajer Saada
article
ICESE'11: First Virtual Workshop on Search-based Model-Driven Engineering, May 2011, Qatar. 2011, 〈http://www.bis-cmt.com/icese/index.php?option=com_content&view=article&id=47&Itemid=34〉
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00616272/file/Dolques_Huchard.pdf BibTex
titre
A Multi-Perspective Approach for Web Service Composition
auteur
Maha Driss, Yassine Jamoussi, Jean-Marc Jézéquel, Henda Hajjami Ben Ghézala
article
iiWAS 2011, Dec 2011, Ho Chi Minh City, Vietnam. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00648171/file/IIWASDriss11.pdf BibTex
titre
MDE to Manage Communications with and between Resource-Constrained Systems
auteur
Franck Fleurey, Brice Morin, Arnor Solberg, Olivier Barais
article
Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. 6981/2011, pp.16, 2011
Accès au bibtex
BibTex
titre
Model-Driven Engineering and Optimizing Compilers: A bridge too far?
auteur
Antoine Floch, Tomofumi Yuki, Clément Guy, Steven Derrien, Benoit Combemale, Sanjay Rajopadhye, Robert France
article
International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00613575/file/models11-application_1_.pdf BibTex
titre
Movida studio: a modeling environment to create viewpoints and manage variability in views
auteur
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
article
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, 2011, 〈http://rmod.lille.inria.fr/idm-gpl/pier?_s=4Cc2Y7q68lygI2et〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00660864/file/TutorialMovidaArticle.pdf BibTex
titre
Vers un rapprochement de l'IDM et de la compilation
auteur
Clément Guy, Steven Derrien, Benoit Combemale, Jean-Marc Jézéquel
article
Journées sur l'Ingénierie Dirigée par les Modèles, Jun 2011, Lille, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00601670/file/IDM2011-CrossFertilization.pdf BibTex
titre
PACOGEN : Automatic Generation of Pairwise Test Configurations from Feature Models
auteur
Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb
article
Proc. of Int. Symp. on Soft. Reliability Engineering (ISSRE'11), Nov 2011, Hiroshima, Japan. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00699558/file/HBG10.pdf BibTex
titre
Estimating Footprints of Model Operations
auteur
Cédric Jeanneret, Martin Glinz, Benoit Baudry
article
International Conference on Software Engineering, May 2011, Honolulu, United States. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00641091/file/icse2011-final.pdf BibTex
titre
Pairwise Testing of Dynamic Composite Services
auteur
Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard
article
The 6th international symposium on Software engineering for adaptive and self-managing systems, May 2011, Waikiki, Honolulu, Hawaii, United States. ACM, pp.138--147, 2011, 1988028. 〈10.1145/1988008.1988028〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00641340/file/seams2011_cameraready.pdf BibTex
titre
A Proof Assistant Based Formalization of components in MDE
auteur
Mounira Kezadri, Benoit Combemale, Marc Pantel, Xavier Thirioux
article
8th International Symposium on Formal Aspects of Component Software (FACS 2011), Sep 2011, Oslo, Norway. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00614593/file/facs2011-camera.pdf BibTex
titre
Testing MapReduce-Based Systems
auteur
João Eugenio Marynowski, Michel Albonico, Eduardo Cunha de Almeida, Gerson Sunyé
article
SBBD - XXVI Simpósio Brasileiro de Banco de Dados, Oct 2011, Florianopolis, SC, Brazil. 2011
Accès au bibtex
BibTex
titre
Tailored Shielding and Bypass Testing of Web Applications
auteur
Tejeddine Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Baudry, Sylvain Gombault
article
International Conference on Software Testing Verification and Validation, Mar 2011, Berlin, Germany. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00646424/file/ICST2011-Mouelhi-Shielding-Bypass-Final.pdf BibTex
titre
Formal Extension of Use Cases for Context-Aware Verification
auteur
Amine Raji, Philippe Dhaussy, Benoît Baudry
article
MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand. 2011
Accès au bibtex
BibTex
titre
Bridging the Gap Between Software Process and Software Development
auteur
Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, Touzet David, Jean-Marc Jézéquel
article
IDM, Jun 2011, Lille, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00605465/file/idm11-process.pdf BibTex
titre
Défis pour la variabilité et la traçabilité des exigences en ingénierie système
auteur
Nicolas Sannier, Benoît Baudry
article
INFORSID 2011, May 2011, Lille, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00598668/file/Sannier_Baudry_Defis_pour_la_variabilite_et_la_tracabilite_des_exigences_en_ingenierie_systeme_final_.pdf BibTex
titre
Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering
auteur
Nicolas Sannier, Benoit Baudry, Thuy Nguyen
article
Model-Driven Requirements Engineering Workshop (MoDRE), Aug 2011, Trento, Italy. 2011, 〈http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6045368〉. 〈10.1109/MoDRE.2011.6045368〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00636855/file/Sannier_Baudry_Nguyen_Formalizing_standards_and_regulations_variability_in_longlife_projects_IEEE_v3.pdf BibTex

Theses

titre
Le Développement Agile de Services de Télécommunication Intégrés via des techniques d'ingénierie des modèles.
auteur
Mariano Belaunde
article
Génie logiciel [cs.SE]. Université Rennes 1, 2011. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00650682/file/These_DevAgileServicesTelco_Final.pdf BibTex
titre
Model and Metamodel Composition: Separation of Mapping and Interpretation for Unifying Existing Model Composition Techniques
auteur
Mickaël Clavreul
article
Software Engineering [cs.SE]. Université Rennes 1, 2011. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00646893/file/these.pdf BibTex
titre
Approche multi-perspective centrée exigences de composition de services Web
auteur
Maha Driss
article
Génie logiciel [cs.SE]. Université Rennes 1, 2011. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00648131/file/FinalThesis.pdf BibTex
titre
EnTiMid : Un modèle de composants pour intégrer des objets communicants dans des applications à base de services
auteur
Grégory Nain
article
Génie logiciel [cs.SE]. Université Rennes 1, 2011. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00646664/file/FinalVersion-31-01-2012.pdf BibTex