Publications HAL du labo/EPI Triskell

Journal articles

titre
Barriers to Systematic Model Transformation Testing
auteur
Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert France, Yves Le Traon, Jean-Marie Mottu
article
Communications of the ACM, 2010, 53 (6), pp.0-0
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00542747/file/Baudry09a.pdf BibTex
titre
A Comparison of Six UML-Based Languages for Software Process Modeling
auteur
Reda Bendraou, Jean-Marc Jézéquel, Marie-Pierre Gervais, Xavier Blanc
article
IEEE Transactions on Software Engineering, 2010, 36 (5), pp.662-675. ⟨10.1109/TSE.2009.85⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477520/file/Bendraou10a.pdf BibTex
titre
Contract Aware Components, 10 years after
auteur
Antoine Beugnard, Jean-Marc Jézéquel, Noël Plouzeau
article
Electronic Proceedings in Theoretical Computer Science, 2010, 37, pp.86-100
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00554209/file/TenYearsAfter.pdf BibTex
titre
QoS Assurance for Service-Based Applications Using Discrete-Event Simulation
auteur
Yassine Jamoussi, Maha Driss, Jean-Marc Jézéquel, Henda Hajjami Ben Ghézala
article
International Journal of Computer Science, 2010, 7 (6)
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00555041/file/Driss10a.pdf BibTex
titre
Ingénierie Dirigé par les Modèles : du design-time au runtime
auteur
Jean-Marc Jézéquel
article
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2010, 93
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00504666/file/Jezequel10a.pdf BibTex
titre
DECOR: A Method for the Specification and Detection of Code and Design Smells
auteur
Naouel Moha, Yann-Gaël Guéhéneuc, Laurence Duchien, Anne-Françoise Le Meur
article
IEEE Transactions on Software Engineering, 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
https://inria.hal.science/inria-00538476/file/Moha10a.pdf BibTex
titre
Evaluation of Kermeta on Graph Transformation Problems
auteur
Naouel Moha, Sagar Sen, Cyril Faucher, Olivier Barais, Jean-Marc Jézéquel
article
International Journal on Software Tools for Technology Transfer, 2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477521/file/Moha10b.pdf BibTex
titre
From a Domain Analysis to the Specification and Detection of Code and Design Smells
auteur
Naouel Moha, Yann-Gaël Guéhéneuc, Anne-Françoise Le Meur, Laurence Duchien, Alban Tiberghien
article
Formal Aspects of Computing, 2010, 22 (3-4), pp.345-361
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00512135/file/Moha09a.pdf BibTex
titre
Model-driven Architecture of a Maritime Surveillance System Simulator
auteur
Martin Monperrus, Benoit Long, Joël Champeau, Brigitte Hoeltzener, Gabriel Marchalot, Jean-Marc Jézéquel
article
Systems Engineering, 2010, 13 (3), pp.290-297. ⟨10.1002/sys.20149⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00538455/file/Monperrus09a.pdf BibTex
titre
Construction de tests qualifiés de transformations de modèles
auteur
Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2010, 29 (2010), pp.537-569
Accès au bibtex
BibTex
titre
Conception fonctionnelle de services d'entreprise fondée sur l'alignement entre coeur de métier et Système d'Information
auteur
Jacques Simonin, Philippe Picouet, Jean-Marc Jézéquel
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2010, pp.37-61
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477524/file/Demarche_de_conception_fonctionnelle_SOE.pdf BibTex
titre
A family of languages for architecture constraint specification
auteur
Chouki Tibermacine, Régis Fleurquin, Salah Sadou
article
Journal of Systems and Software, 2010, 83 (5), pp.815-831. ⟨10.1016/j.jss.2009.11.736⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00498761/file/tibermacineEtAlJSS.pdf BibTex

Conference papers

titre
End-User Modelling
auteur
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 Déry-Pinna, Stéphane Rusinek
article
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
https://inria.hal.science/inria-00504668/file/combemale10a.pdf BibTex
titre
F4Plan: An Approach to build Efficient Adaptation Plans
auteur
Françoise André, Erwan Daubert, Grégory Nain, Brice Morin, Olivier Barais
article
7th International ICST Conference on Mobile and Ubiquitous Systems (MobiQuitous), Dec 2010, Sydney, Australia
Accès au texte intégral et bibtex
https://hal.science/hal-00548736/file/F4Plan.pdf BibTex
titre
Towards a Generic Context-Aware Framework for Self-Adaptation of Service-Oriented Architectures
auteur
Françoise André, Erwan Daubert, Guillaume Gauvrit
article
5th International Conference on Internet and Web Applications and Services, May 2010, Barcelona, Spain. pp.309-314, ⟨10.1109/ICIW.2010.52⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00470487/file/Towards_a_Generic_Context-Aware_Framework_for_Self-Adaptation_of_Service-Oriented_Architectures_-_ICIW2010.pdf BibTex
titre
Trust in MDE Components: the DOMINO Experiment
auteur
Benoit Baudry, Pierre Bazex, Jean-Charles Dalbin, Philippe Dhaussy, Hubert Dubois, Christian Percebois, Erwann Poupart, Laurent Sabatier
article
SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00555044/file/Baudry10a.pdf BibTex
titre
Active Operations on Collections
auteur
Olivier Beaudoux, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel
article
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
https://inria.hal.science/inria-00542763/file/Beaudoux10a.pdf BibTex
titre
Linking Data and Presentations: from Mapping to Active Transformations
auteur
Olivier Beaudoux, Arnaud Blouin
article
DocEng'10: Proceedings of the 2010 ACM symposium on Document engineering, 2010, Manchester, United Kingdom. pp.107-110
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00504671/file/Beaudoux10b.pdf BibTex
titre
Serveur d'IHM pour plate-forme IDM : architecture générique et implémentation
auteur
Olivier Beaudoux, Arnaud Blouin, Mickaël Clavreul
article
IDM 2010 (atelier IDM-IHM), 2010, Pau, France
Accès au bibtex
BibTex
titre
Using Model Driven Engineering technologies for building authoring applications
auteur
Olivier Beaudoux, Arnaud Blouin, Jean-Marc Jézéquel
article
DocEng'10: Proceedings of the 2010 ACM symposium on Document engineering, 2010, Manchester, England, United Kingdom
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00504672/file/Beaudoux10c.pdf BibTex
titre
Improving modularity and usability of interactive systems with Malai
auteur
Arnaud Blouin, Olivier Beaudoux
article
EICS'10: Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, 2010, Berlin, Germany, Germany. pp.115-124
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477627/file/BLOUIN10a.pdf BibTex
titre
Malan et Malai pour la conception de systèmes interactifs : perspectives d'intégration dans Kermeta
auteur
Arnaud Blouin, G. Nain, Olivier Beaudoux
article
IDM 2010 (atelier IDM-IHM), 2010, Pau, France
Accès au bibtex
BibTex
titre
Qos-based late-binding of service invocations in adaptive business processes
auteur
Pierre Châtel, Jacques Malenfant, Isis Truck
article
8th International Conference on Web Services (ICWS), Jul 2010, Miami, United States. pp.227-234
Accès au bibtex
BibTex
titre
Integrating Legacy Systems with MDE
auteur
Mickael Clavreul, Olivier Barais, Jean-Marc Jézéquel
article
ICSE'10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering and ICSE Workshops, 2010, Cape Town, South Africa. pp.69--78
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00504669/file/CLAVREUL10a.pdf BibTex
titre
Generative technologies for model animation in the TopCased platform
auteur
Xavier Crégut, Benoit Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei
article
6th European Conference on Modelling Foundations and Applications (ECMFA 2010), 2010, Paris, France, South Africa. pp.90--103
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00504667/file/combemale10b.pdf BibTex
titre
Efficient Distributed Test Architectures for Large-Scale Systems
auteur
Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Gerson Sunyé, Yves Le Traon, Patrick Valduriez
article
ICTSS 2010 - International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.174-187, ⟨10.1007/978-3-642-16573-3_13⟩
Accès au bibtex
BibTex
titre
PeerUnit: a framework for testing peer-to-peer systems
auteur
Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Gerson Sunyé, Patrick Valduriez
article
ASE, IEEE/ACM, 2010, Antwerp, Belgium. pp.169-170, ⟨10.1145/1858996.1859030⟩
Accès au bibtex
BibTex
titre
Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases
auteur
Romain Delamare, Freddy Munoz, Benoit Baudry, Yves Traon
article
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.250-265, ⟨10.1007/978-3-642-16573-3_18⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00555069/file/ictss2010.pdf BibTex
titre
A Requirement-Centric Approach to Web Service Modeling, Discovery, and Selection
auteur
Maha Driss, Naouel Moha, Yassine Jamoussi, Jean-Marc Jézéquel, Henda Hajjami Ben Ghézala
article
ICSOC International Conference on Service Oriented Computing, 2010, San Francisco, California, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00555042/file/Driss10b.pdf BibTex
titre
From Data Center Resource Allocation to Control Theory and Back
auteur
Xavier Dutreilh, Nicolas Rivierre, Aurélien Moreau, Jacques Malenfant, Isis Truck
article
3rd IEEE International Conference on Cloud Computing (CLOUD’2010), Jul 2010, Miami, United States. pp.410-417, ⟨10.1109/CLOUD.2010.55⟩
Accès au bibtex
BibTex
titre
Building a Kermeta Compiler using Scala: an Experience Report.
auteur
François Fouquet, Olivier Barais, Jean-Marc Jézéquel
article
Workshop Scala Days 2010, 2010, Lausanne, Switzerland
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00542760/file/Fouquet10a.pdf BibTex
titre
SAFDIS: A Framework to Bring Self-Adaptability to Service-Based Distributed Applications
auteur
Guillaume Gauvrit, Erwan Daubert, Françoise André
article
36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Sep 2010, Lille, France. pp.211--218, ⟨10.1109/SEAA.2010.25⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00480221/file/euromicro-ieee.pdf BibTex
titre
Managing variability in multi-views engineering : A live demo
auteur
Marie Gouyette, Olivier Barais, Jérôme Le Noir, Jean-Marc Jézéquel
article
Journée Lignes de Produits, Oct 2010, Paris, France, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00538466/file/Gouyette10.pdf BibTex
titre
Variability Modeling and QoS Analysis of Web Services Orchestrations
auteur
Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard
article
International Conference on Web Services, 2010, Miami, FL, USA, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00561164/file/Kattepur2010.pdf BibTex
titre
Good Architecture = Good (ADL + Practices)
auteur
Vincent Le Gloahec, Régis Fleurquin, Salah Sadou
article
6th International Conference on the Quality of Software Architectures (QoSA'10), Jun 2010, Prague, Czech Republic. pp.167-182
Accès au texte intégral et bibtex
https://hal.science/hal-00498782/file/qosa10-2.pdf BibTex
titre
Good Practices as a Quality-Oriented Modeling Assistant
auteur
Vincent Le Gloahec, Régis Fleurquin, Salah Sadou
article
QSIC'10: Proceedings of the 10th International Conference on Quality Software, 2010, Zhangjiajie, China, China. pp.345-348
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00504665/file/LeGloahec10a.pdf BibTex
titre
Language-specific vs. language-independent approaches: embedding semantics on a metamodel for testing and verifying access control policies
auteur
Yves Le Traon, Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry
article
Workshop on Quality of Model-Based Testing (QuoMBaT), Apr 2010, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-00498383/file/LeTraon-QuoMBaT.pdf BibTex
titre
Crossing Model Driven Engineering and Agility: Preliminary Thought on Benefits and Challenges
auteur
Vincent Mahé, Benoit Combemale, Juan Cadavid
article
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
https://inria.hal.science/inria-00538460/file/mahe10a.pdf BibTex
titre
Aspect-Oriented Modeling to Support Dynamic Adaptation
auteur
Brice Morin, Franck Fleurey, Olivier Barais, Jean-Marc Jézéquel
article
Forum Demo at AOSD'10, 2010, Rennes and St Malo, France, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00504664/file/Morin10a.pdf BibTex
titre
Flexible Model Element Introduction Policies for Aspect-Oriented Modeling
auteur
Brice Morin, Jacques Klein, Jörg Kienzle, Jean-Marc Jézéquel
article
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
https://inria.hal.science/inria-00538458/file/Morin10c.pdf BibTex
titre
Security-Driven Model-Based Dynamic Adaptation
auteur
Brice Morin, Tejeddine Mouelhi, Franck Fleurey, Yves Le Traon, Olivier Barais, Jean-Marc Jézéquel
article
25nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), 2010, Antwerp, Belgium, Belgium
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00538500/file/Morin10b.pdf BibTex
titre
Integrating IoT and IoS with a Component-Based approach
auteur
Grégory Nain, François Fouquet, Brice Morin, Olivier Barais, Jean-Marc Jézéquel
article
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
https://inria.hal.science/inria-00538469/file/Nain10a.pdf BibTex
titre
Automatic and Scalable T-wise Test Case Generation Strategies for Software Product Lines
auteur
Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon
article
International Conference on Software Testing, 2010, Paris, France, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477523/file/Perrouin010a.pdf BibTex
titre
Towards an Automation of Software Evolution Good Practices
auteur
Chouki Tibermacine, Soraya Sakhraoui, Vincent Le Gloahec, Régis Fleurquin, Salah Sadou
article
SEKE'10: Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering, 2010, Redwood City, USA, United States. pp.1-6
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00504663/file/Tibermacine10b.pdf BibTex

Book sections

titre
Model Driven Language Engineering with Kermeta
auteur
Jean-Marc Jézéquel, Olivier Barais, Franck Fleurey
article
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
https://inria.hal.science/inria-00538461/file/Jezequel10b.pdf BibTex

Habilitation à diriger des recherches

titre
Question-learn-test-feedback pattern to test emerging software construction paradigms
auteur
Benoit Baudry
article
Génie logiciel [cs.SE]. Université Européenne de Bretagne, 2010
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00553854/file/hdr.pdf BibTex
titre
Des langages pour améliorer le développement et la maintenance des logiciels à base de composants
auteur
Régis Fleurquin
article
Génie logiciel [cs.SE]. Université de Bretagne Sud; Université Européenne de Bretagne, 2010
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00511595/file/HDR.pdf BibTex

Other publications

titre
Composition&Variability'2010. First International Workshop on Composition: Objects, Aspects, Components, Services and Product Lines
auteur
Philippe Lahire, Geri Georg, Mourad Oussalah, Jon Whittle, Naouel Moha, Stefan van Baelen
article
2010, pp.63
Accès au texte intégral et bibtex
https://hal.science/hal-00484507/file/WorkshopComposition_VariabilityProceedings.pdf BibTex

Books

titre
Service Research Challenges and Solutions for the Future Internet
auteur
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
article
Mike Papazoglou and Klaus Pohl and Michael Parkin and Andreas Metzger. Springer, 6500, pp.374, 2010, Lecture Notes in Computer Science, 978-3-642-17598-5. ⟨10.1007/978-3-642-17599-2⟩
Accès au bibtex
BibTex
titre
Les Patrons Abimes - Détection, Explications et Restructuration
auteur
Cédric Bouhours
article
Editions Universitaires Europeennes, pp.220, 2010, 978-6131535017
Accès au bibtex
BibTex
titre
Proceedings of the International Workshop on Principles of Software Evolution and ERCIM Workshop on Software Evolution (IWPSE-EVOL'2010)
auteur
Andrea Capiluppi, Anthony Cleve, Naouel Moha
article
Andrea Capiluppi, Anthony Cleve and Naouel Moha. ACM, pp.98, 2010, International Conference Proceedings Series, 1-59593-036-1
Accès au bibtex
BibTex
titre
Simulation et vérification de modèle par métamodélisation executable
auteur
Benoit Combemale
article
éditions Universitaires Européennes, 208p, 2010, 978-613-1-50584-3
Accès au bibtex
BibTex
titre
Proceedings of the 9th Int. Conference on Aspect-Oriented Software Development
auteur
Mario Südholt, Uwe Hohenstein, Jean-Marc Jézéquel, Benoit Baudry
article
ACM, pp.230, 2010
Accès au bibtex
BibTex

Reports

titre
QoS-Driven Selection of Composable Web Services
auteur
Zeina Azmeh, Driss Maha, Marianne Huchard, Moha Naouel, Chouki Tibermacine
article
RR-11005, 2010
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00565357/file/WISE10.pdf BibTex
titre
Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics
auteur
Vlad Rusu, Laure Gonnord, Benoit Combemale
article
[Research Report] RR-7423, INRIA. 2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00526561/file/RR-7423.pdf BibTex

Theses

titre
Modèles à la Conception et à l'Exécution pour Gérer la Variability Dynamique
auteur
Brice Morin
article
Software Engineering [cs.SE]. Université Rennes 1, 2010. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00538548/file/PhD_Brice_Morin.pdf BibTex
titre
Validation of reasoning engines an adaptation mechanisms for self-adaptive systems
auteur
Freddy Munoz
article
Software Engineering [cs.SE]. Université Rennes 1, 2010. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00538565/file/these.pdf BibTex
titre
Découverte automatique de modèles effectifs
auteur
Sagar Sen
article
Software Engineering [cs.SE]. Université Rennes 1, 2010. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00507530/file/thesisFinal.pdf BibTex