Sites Inria

Version française

TRISKELL Research team

TRISKELL team publications

2014

Journal articles

titre
Model-Based Testing of Global Properties on Large-Scale Distributed Systems
auteur
Gerson Sunyé, Eduardo Cunha de Almeida, Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel
article
Information and Software Technology, Elsevier, 2014
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Utilisation de la modélisation à l’exécution : objectif, challenges et bénéfices
auteur
Olivier Barais
article
Informatique et langage [cs.CL]. Université de Rennes 1, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01096952/file/hdr_final_complete.pdf BibTex

Theses

titre
Rare event simulation for statistical model checking
auteur
Cyrille Jegourel
article
Embedded Systems. Université Rennes 1, 2014. English. 〈NNT : 2014REN1S084〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01127612/file/2014REN1S084.pdf BibTex

Preprints, Working Papers, ...

titre
Leveraging Family Polymorphism in MDE
auteur
Thomas Degueule, Benoit Combemale, Olivier Barais, Arnaud Blouin, Jean-Marc Jézéquel
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00994541/file/wip-k3sle.pdf BibTex

2013

Journal articles

titre
SOA Antipatterns: an Approach for their Specification and Detection
auteur
Palma Francis, Nayrolles Mathieu, Moha Naouel, Guéhéneuc Yann-Gael, Benoit Baudry, Jean-Marc Jézéquel
article
International Journal of Cooperative Information Systems, World Scientific Publishing, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916299/file/IJCIS-Palma.pdf BibTex
titre
Extraction and Evolution of Architectural Variability Models in Plugin-based Systems
auteur
Mathieu Acher, Anthony Cleve, Philippe Collet, Philippe Merle, Laurence Duchien, Philippe Lahire
article
Software & Systems Modeling (SoSyM), Springer, 2013, 27 p. 〈10.1007/s10270-013-0364-2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859472/file/FraSCAtiSoSyM12.pdf BibTex
titre
Automating the Maintenance of Non-functional System Properties using Demonstration-based Model Transformation
auteur
Yu Sun, Jeff Gray, Romain Delamare, Benoit Baudry, Jules White
article
Journal of Software Maintenance and Evolution, Wiley, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916287/file/AOM-JSME.pdf BibTex
titre
FAMILIAR: A Domain-Specific Language for Large Scale Management of Feature Models
auteur
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert France
article
Science of Computer Programming, Elsevier, 2013, 78 (6), pp.657 - 681. 〈10.1016/j.scico.2012.12.004〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767175/file/SCP-FAMILIAR.pdf BibTex
titre
Symbolic Unfolding of Parametric Stopwatch Petri Nets
auteur
Claude Jard, Didier Lime, Olivier Henri Roux, Louis-Marie Traonouez
article
Formal Methods in System Design, Springer Verlag, 2013, 43 (3), pp.493-519. 〈10.1007/s10703-013-0188-2〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00840368/file/fmsd.pdf BibTex
titre
Le nouveau défi de la coordination des langages de modélisation. Gestion de l'hétérogénéité des modèles dans le développement et l'exécution de systèmes logiciels complexes
auteur
Benoit Combemale, Julien Deantoni, Ali Koudri, Jérôme Le Noir
article
Génie logiciel, C & S, 2013, pp.4-11
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00854221/file/Neptune2013-gemoc.pdf BibTex
titre
Automated Measurement of Models of Requirements
auteur
Martin Monperrus, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener, Jean-Marc Jézéquel
article
Software Quality Journal, Springer Verlag, 2013, 21 (1), pp.3-22. 〈10.1007/s11219-011-9163-6〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00646876/file/main.pdf BibTex
titre
Pushdown Module Checking with Imperfect Information
auteur
Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Vardi
article
Information and Computation, Elsevier, 2013, 223, pp.18. 〈10.1016/j.ic.2012.11.005〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01260664/file/comb4-rev.pdf BibTex

Conference papers

titre
Integrating Software Process Reuse and Automation
auteur
Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, Touzet David, Jean-Marc Jézéquel
article
Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00872188/file/PID2965685.pdf BibTex
titre
On Product Comparison Matrices and Variability Models from a Product Comparison/Configuration Perspective
auteur
Nicolas Sannier, Guillaume Bécan, Sana Ben Nasr, Benoit Baudry
article
Journée lignes de produits - 2013, Nov 2013, Paris, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00915657/file/JLDP2013_PCM_suites.pdf BibTex
titre
An Ontologic-Aware Feature Modeling Environment
auteur
Guillaume Bécan, Sana Ben Nasr, Benoit Baudry
article
Journées lignes de produits - 2013, Nov 2013, Paris, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00915662/file/JLDP2013_KSynthesis.pdf BibTex
titre
From Comparison Matrix to Variability Model: The Wikipedia Case Study
auteur
Nicolas Sannier, Mathieu Acher, Benoit Baudry
article
28th IEEE/ACM International Conference on Automated Software Engineering, Nov 2013, Palo Alto, United States. IEEE, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00858491/file/ASE2013_Sannier_Acher_Baudry.pdf BibTex
titre
Efficient high-level abstractions for web programming
auteur
Julien Richard-Foy, Olivier Barais, Jean-Marc Jézéquel
article
Jaakko Jarvi and Christian Kastner. Generative Programming: Concepts and Experiences, GPCE'13, Oct 2013, Indianapolis, United States. ACM, pp.53-60, 2013, 〈10.1145/2517208.2517227〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920786/file/p53-foy.pdf BibTex
titre
Variability Support in Domain-Specific Language Development
auteur
Edoardo Vacchi, Walter Cazzola, Suresh Pillay, Benoit Combemale
article
Erwig, Martin and Paige, Richard F. and Van Wyk, Eric. SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. Springer, 8225, pp.76-95, 2013, Lecture Notes in Computer Science. 〈http://link.springer.com/chapter/10.1007/978-3-319-02654-1_5〉. 〈10.1007/978-3-319-02654-1_5〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00914715/file/sle13-camera.pdf BibTex
titre
Reifying Concurrency for Executable Metamodeling
auteur
Benoit Combemale, Julien Deantoni, Matias Ezequiel Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert France
article
Erwig, Martin and Paige, Richard F. and Van Wyk, Eric. SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. Springer, 8225, pp.365-384, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-319-02654-1_20〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00850770/file/sle13-eventdrivenmetamodeling-cameraready-v1.1.pdf BibTex
titre
Towards improving user satisfaction in decentralized P2P networks
auteur
Marco Biazzini, Patricia Serrano-Alvarado, Raziel Carvajal-Gomez
article
COLLABORATECOM, Oct 2013, Austin, Texas, United States. pp.1, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00871672/file/main.pdf BibTex
titre
Flexible QoS-Aware Service Composition in Highly Heterogeneous and Dynamic Service-Based Systems
auteur
Dionysios Efstathiou, Peter Mcburney, Steffen Zschaler, Johann Bourcier
article
WiMob - The 9th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications - 2013, Oct 2013, Lyon, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859891/file/efstathiouWiMob.pdf BibTex
titre
Composing your Compositions of Variability Models
auteur
Mathieu Acher, Benoît Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, Robert France
article
ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS'13), Sep 2013, Miami, United States. Lecture Notes in Computer Science, 17 p., 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859473/file/models13-compofm.pdf BibTex
titre
Feature Model Management: Smart Operations and Language Support
auteur
Philippe Collet, Philippe Lahire, Mathieu Acher, Robert France
article
ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Sep 2013, Miami, United States. 2013
Accès au bibtex
BibTex
titre
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)
auteur
Benoit Combemale, Julien Deantoni, Robert France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
article
GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. CEUR, Vol-1102, pp.3-13, 2013, Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013. 〈http://ceur-ws.org/Vol-1102/gemoc13-report.pdf〉
Accès au bibtex
BibTex
titre
Feature Model Extraction from Large Collections of Informal Product Descriptions
auteur
Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Clelang-Huang, Patrick Heymans
article
European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13), Sep 2013, Saint Petersburg, Russia. pp.290-300, 2013, 〈10.1145/2491411.2491455〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859475/file/fse13main-id221-p-18686-final.pdf BibTex
titre
Improving Reusability in Software Process Lines
auteur
Emmanuelle Rouillé, Olivier Barais, Benoit Combemale, Touzet David, Jean-Marc Jézéquel
article
Euromicro Conference on Software Engineering and Advanced Applications, Sep 2013, Santander, Spain. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00838771/file/SEAA2013_metamodeling_process.pdf BibTex
titre
Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software
auteur
Diego Mendez, Benoit Baudry, Martin Monperrus
article
International Conference on Source Code Analysis and Manipulation (SCAM'2013), Sep 2013, Eindhoven, Netherlands. pp.10, 2013, 〈10.1109/SCAM.2013.6648183〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00844753/file/article.pdf BibTex
titre
Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study
auteur
Joao Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Benoit Baudry
article
SPLC - 17th International Software Product Line Conference, Aug 2013, Tokyo, Japan. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00837523/file/SPLC2013.pdf BibTex
titre
Practical Pairwise Testing for Software Product Lines
auteur
Dusica Marijan, Arnaud Gotlieb, Sagar Sen, Aymeric Hervieu
article
SPLC 2013, Aug 2013, Tokyo, Japan. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859438/file/splc2013_submission_63_2_.pdf BibTex
titre
Interactive Visualisation of Products in Online Configurators: A Case Study for Variability Modelling Technologies
auteur
Marianela Ciolfi Felice, Joao Bosco Ferreira Filho, Mathieu Acher, Arnaud Blouin, Olivier Barais
article
MAPLE/SCALE 2013: Joint Workshop on Model-driven Approaches in SPL Engineering, and Workshop on Scalable Modeling Techniques for SPL, Aug 2013, Tokio, Japan. pp.82--85, 2013, 〈10.1145/2499777.2500711〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00842656/file/MAPLE2013.pdf BibTex
titre
Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems
auteur
Dionysios Efstathiou, Peter Mcburney, Steffen Zschaler, Johann Bourcier
article
Search Based Software Engineering, Aug 2013, Saint Petersbourg, Russia. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859877/file/efstathiouSSBSE2013.pdf BibTex
titre
A completion algorithm for lattice tree automata
auteur
Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat
article
CIAA 2013 - 18th International Conference on Implementation and Application of Automata, Jul 2013, Halifax, NS, Canada. Springer, CIAA 2013: Implementation and Application of Automata, 7982, pp.134-145, 2013, LNCS. 〈10.1007/978-3-642-39274-0_13〉
Accès au bibtex
BibTex
titre
Tree Regular Model Checking for Lattice-Based Automata
auteur
Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat
article
CIAA - 18th International Conference on Implementation and Application of Automata, Jul 2013, Halifax, Canada. Springer, 7982, 2013, LNCS
Accès au bibtex
BibTex
titre
Incremental Generation of Linear Invariants for Component-Based Systems
auteur
Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay
article
3th International Conference on Application of Concurrency to System Design (ACSD), Jul 2013, Barcelona, Spain. pp.1-10, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00878738/file/main.pdf BibTex
titre
Toward the design of a generic model of interoperability for Siec
auteur
Mengqiang Yang, Mongi Smati, Slimane Hammoudi, Olivier Beaudoux, Frédéric Saubion, Olivier Camp
article
Proceedings the 15th International Conference on Enterprise Information Systems (ICEIS'13), Jul 2013, Angers, France
Accès au bibtex
BibTex
titre
Using Model Types to Support Contract-Aware Model Substitutability
auteur
Sun Wuliang, Benoit Combemale, Steven Derrien, Robert France
article
Van Gorp, P. and Ritter, T. and Rose, L.M. 9th European Conference on Modelling Foundations and Applications (ECMFA 2013), Jul 2013, Montpellier, France. Springer-Verlag Berlin Heidelberg, 7949, pp.118-133, 2013, LNCS. 〈http://dx.doi.org/10.1007/978-3-642-39013-5_9〉. 〈10.1007/978-3-642-39013-5_9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00808770/file/ecmfa13-contractmatching.pdf BibTex
titre
Binding Orthogonal Views for User Interface Design
auteur
Olivier Beaudoux, Mickael Clavreul, Arnaud Blouin
article
Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO'13), Jul 2013, Montpellier, France. ACM press, in press, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00826705/file/VAO-2013.pdf BibTex
titre
Achieving Practical Genericity in Model Weaving through Extensibility
auteur
Max Kramer, Jacques Klein, Jim R.H. Steel, Brice Morin, Jörg Kienzle, Olivier Barais, Jean-Marc Jézéquel
article
Keith Duddy and Gerti Kappel. Theory and Practice of Model Transformations - 6th International Conference, Jun 2013, Budapest, Hungary. Springer, pp.108-124, 2013, 〈10.1007/978-3-642-38883-5_12〉
Accès au bibtex
BibTex
titre
The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases
auteur
Ebrahim Khalil Abbasi, Arnaud Hubaux, Mathieu Acher, Quentin Boucher, Patrick Heymans
article
Moira Norrie and Camille Salinesi. CAiSE'13 - 25th International Conference on Advanced Information Systems Engineering - 2013, Jun 2013, Valencia, Spain. 7908, pp.162-177, 2013, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00796555/file/ConfiguratorsCAISE13.pdf BibTex
titre
Towards Trust-Aware and Self-Adaptive Systems
auteur
Francisco Moyano, Benoit Baudry, Javier Lopez
article
IFIPTM, Jun 2013, Malaga, Spain. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916280/file/Moyano-IFIPTM.pdf BibTex
titre
RELATE: a research training network on engineering and provisioning of service-based cloud applications
auteur
Samuel Kounev, Stamatia Rizou, Steffen Zschaler, Spiros Alexakis, Tomas Bures, Jean-Marc Jézéquel
article
Samuel Kounev and Steffen Zschaler and Kai Sachs. Proceedings of the 2013 international workshop on Hot topics in cloud services, Apr 2013, Prague, Czech Republic. ACM, pp.51-54, 2013, 〈10.1145/2462307.2462319〉
Accès au bibtex
BibTex
titre
A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 Experience
auteur
Olivier Barais, Benoit Baudry, Arnaud Blouin, Benoit Combemale, Jean-Marc Jézéquel, Didier Vojtisek
article
Conférence en IngénieriE du Logiciel (CIEL), Apr 2013, Nancy, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00796009/file/K2.pdf BibTex
titre
Challenges of Testing for Critical Interactive Systems
auteur
Valéria Lelli
article
International Conference on Software Testing, Verification and Validation, Mar 2013, Luxembourg, Luxembourg. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00804876/file/PhDSymposium-ICST13-vCR-ValeriaLelli.pdf BibTex
titre
Support for Reverse Engineering and Maintaining Feature Models
auteur
Mathieu Acher, Patrick Heymans, Anthony Cleve, Jean-Luc Hainaut, Benoit Baudry
article
VaMoS'13 - Seventh International Workshop on Variability Modelling of Software-Intensive Systems, Jan 2013, Pisa, Italy. ACM, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00766786/file/KSynthesis-VaMoS2013-CR.pdf BibTex
titre
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples
auteur
Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale
article
MODELS - ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, 2013, Miami, United States. Springer, pp.187-202, 2013, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00923789/file/DerivingOCLInv_main.pdf BibTex

Book sections

titre
Separating Concerns in Feature Models: Retrospective and Support for Multi-Views
auteur
Arnaud Hubaux, Mathieu Acher, Thein Than Tun, Patrick Heymans, Philippe Collet, Philippe Lahire
article
Reinhartz-Berger, Iris and Sturm, Arnor and Clark, Tony and Bettin, J. and Cohen, S. Domain Engineering: Product Lines, Conceptual Models, and Languages, Springer, pp.3-28, 2013, 978-3-642-36653-6. 〈10.1007/978-3-642-36654-3_1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767213/file/DESoCFMBook.pdf BibTex

Directions of work or proceedings

titre
Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013
auteur
Benoit Combemale, Julien Deantoni, Robert B. France, Balbir Barn, Tony Clark, Ulrich Frank, Vinay Kulkarni, Dan Turk
article
Combemale, Benoit and Deantoni, Julien and France, Robert B. and Barn, Balbir and Clark, Tony and Frank, Ulrich and Kulkarni, Vinay and Turk, Dan. 1102, CEUR-WS, pp.88, 2013
Accès au bibtex
BibTex
titre
GlobalDSL '13: Proceedings of the First Workshop on the Globalization of Domain Specific Languages
auteur
Benoit Combemale, Walter Cazzola, Robert B. France
article
Combemale, Benoit and Cazzola, Walter and France, Robert B. ACM, pp.33, 2013, 978-1-4503-2043-6
Accès au bibtex
BibTex

Reports

titre
Artificial Mutation inspired Hyper-heuristic for Runtime Usage of Multi-objective Algorithms
auteur
Donia El Kateb, François Fouquet, Johann Bourcier, Yves Le Traon
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00948329/file/Nier.pdf BibTex
titre
Breathing Ontological Knowledge Into Feature Model Management
auteur
Guillaume Bécan, Mathieu Acher, Benoit Baudry, Sana Ben Nasr
article
[Technical Report] RT-0441, 2013, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00874867/file/RT-441.pdf BibTex
titre
A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes
auteur
Benoît Delahaye, Axel Legay, Sean Sedwards
article
[Technical Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00856704/file/main.pdf BibTex
titre
Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach
auteur
Alexandre Arnold, Benoît Boyer, Axel Legay
article
[Research Report] 2013, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00778039/file/rreport.pdf BibTex
titre
Two Flavors in Automated Software Repair: Rigid Repair and Plastic Repair
auteur
Martin Monperrus, Benoit Baudry
article
[Research Report] Dagstuhl Seminar 13061 "Fault Prediction, Localization, and Repair", Schloss Dagstuhl - Leibniz Center for Informatics. 2013, pp.5
Accès au bibtex
BibTex

Theses

titre
INCREMENT une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté
auteur
Nicolas Sannier
article
Génie logiciel [cs.SE]. Université Rennes 1, 2013. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00941881/file/Sannier_Nicolas.pdf BibTex
titre
Model-Driven Software Engineering for Virtual Machine Images Provisioning in Cloud Computing
auteur
Tam Le Nhan
article
Software Engineering [cs.SE]. Université Rennes 1, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00923811/file/PhDThesis-LeNhanTam.pdf BibTex
titre
Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits
auteur
Stephen Creff
article
Autre [cs.OH]. Université Rennes 1, 2013. Français. 〈NNT : 2013REN1S142〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00926119/file/CREFFStephen.pdf BibTex
titre
A model-based method to manage time properties in component based software systems
auteur
Viet Hoa Nguyen
article
Software Engineering [cs.SE]. Université Rennes 1, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00923305/file/NGUYEN_VietHoa.pdf BibTex
titre
Adaptation et cloud computing : un besoin d'abstraction pour une gestion transverse
auteur
Erwan Daubert
article
Autre [cs.OH]. INSA de Rennes, 2013. Français. 〈NNT : 2013ISAR0010〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00904364/file/DAUBERT.pdf BibTex
titre
Kevoree : Model@Runtime pour le développement continu de systèmes adaptatifs distribués hétérogènes
auteur
François Fouquet
article
Autre [cs.OH]. Université Rennes 1, 2013. Français. 〈NNT : 2013REN1S076〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00831018/file/FOUQUET_Francois.pdf BibTex
titre
Methodology for the derivation of product behaviour in a Software Product Line
auteur
Paul Istoan
article
Other [cs.OH]. Université Rennes 1, 2013. English. 〈NNT : 2013REN1S013〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00925479/file/ISTOAN_Paul.pdf BibTex
titre
Méthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle
auteur
Paul Istoan
article
Génie logiciel [cs.SE]. Université Rennes 1; université du Luxembourg, 2013. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00926141/file/Istoan.pdf BibTex

2012

Journal articles

titre
Achieving Process modeling and Execution through the Combination of Aspect and Model-Driven Engineering Approaches
auteur
Reda Bendraou, Jean-Marc Jézéquel, Franck Fleurey
article
Journal of Software: Evolution and Process, Wiley, 2012, 24 (7), pp.765-781. 〈10.1002/smr.494〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00538462/file/Bendraou10b.pdf BibTex
titre
Bridging the Chasm Between MDE and the World of Compilation
auteur
Jean-Marc Jézéquel, Benoît Combemale, Steven Derrien, Clément Guy, Sanjay Rajopadhye
article
Journal of Software and Systems Modeling (SoSyM), Springer, 2012, 11 (4), pp.581-597. 〈10.1007/s10270-012-0266-8〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00717219/file/sosym-sle11.pdf BibTex
titre
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
auteur
Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon, Benoît Baudry
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. 〈10.3166/tsi.31.797-826〉
Accès au bibtex
BibTex
titre
Usage and Testability of AOP: an empirical study of AspectJ
auteur
Freddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon
article
Information and Software Technology, Elsevier, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00726119/file/aop-analysis.pdf BibTex
titre
Weaving Variability into Domain Metamodels
auteur
Perrouin Gilles, Gilles Vanwormhoudt, Brice Morin, Philippe Lahire, Olivier Barais, Jean-Marc Jézéquel
article
Software & Systems Modeling, Springer-Verlag, 2012, 11 (3), pp.361-383. 〈10.1007/s10270-010-0186-4〉
Accès au bibtex
BibTex
titre
P2POEM: Function optimization in P2P networks
auteur
Marco Biazzini, Alberto Montresor
article
Peer-to-Peer Networking and Applications, Springer, 2012, Peer-to-Peer Networking and Applications, 6 (2), pp.213-232. 〈https://link.springer.com/article/10.1007%2Fs12083-012-0152-8〉. 〈10.1007/s12083-012-0152-8〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00726413/file/ppna12.pdf BibTex
titre
Pairwise Testing for Software Product Lines: Comparison of Two Approaches
auteur
Gilles Perrouin, Sabastian Oster, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon
article
Software Quality Journal, Springer Verlag, 2012, 20 (3-4), pp.605-643. 〈10.1007/s11219-011-9160-9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00805856/file/ICST-SPLC-SQJ2010-Ext.pdf BibTex
titre
Comment allons-nous développer d'ici 5 à 10 ans ?
auteur
Didier Vojtisek
article
Programmez!, Magazine Programmez, 2012, 150, pp.44-46
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00714953/file/Programmez_Dans5Ans.pdf BibTex
titre
Fixing Generalization Defects in UML Use Case Diagrams
auteur
Xavier Dolques, Marianne Huchard, Clémentine Nebut, Philippe Reitz
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012, 115 (4), pp.327-356. 〈10.3233/FI-2012-658〉
Accès au bibtex
BibTex
titre
User Data Confidentiality in an Orchestration of Web Services
auteur
Thomas Demongeot, Eric Totel, Valérie Viet Triem Tong, Yves Le Traon
article
International Journal of Information Assurance and Security, 2012, 7, pp.32-40
Accès au bibtex
BibTex
titre
Modeling Modeling Modeling
auteur
Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, Benoit Combemale
article
SOSYM, Springer-Verlag, 2012, 11 (3), pp.347-359. 〈http://www.springerlink.com/content/f7342601l1w08jj2〉. 〈10.1007/s10270-010-0172-x〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00538459/file/Muller2010.pdf BibTex
titre
Reusable model transformations
auteur
Sagar Sen, Naouel Moha, Vincent Mahé, Olivier Barais, Benoit Baudry, Jean-Marc Jézéquel
article
Software and Systems Modeling (SoSyM), Springer, 2012, 11 (1), pp.111-125. 〈http://www.springerlink.com/content/a820u50671251314/〉. 〈10.1007/s10270-010-0181-9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542766/file/Sen10b.pdf BibTex

Conference papers

titre
Leveraging CVL to Manage Variability in Software Process Lines
auteur
Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, David Touzet, Jean-Marc Jézéquel
article
Asia-Pacific Software Engineering Conference, Dec 2012, Hong Kong, China. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00735881/file/APSEC2012_methodo_spem_cvl.pdf BibTex
titre
Relationships Formalization for Model-Based Product Lines
auteur
Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel
article
APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187, 2012
Accès au bibtex
BibTex
titre
A Design Pattern to Build Executable DSMLs and associated V&V tools
auteur
Benoit Combemale, Xavier Crégut, Marc Pantel
article
The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Dec 2012, Hong Kong, Hong Kong SAR China. IEEE, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00739332/file/apsec2012-xdsml.pdf BibTex
titre
A Model-Based Approach for Optimizing Power Consumption of IaaS
auteur
Tam Le Nhan, Gerson Sunyé, Jean-Marc Jézéquel
article
IEEE NCCA 2012 IEEE Second Symposium on Network Cloud Computing and Applications, Dec 2012, London, United Kingdom. CPS Conference Publishing Services, pp.978-0-7695-4943-9/12, 2012, 2012 IEEE Second Symposium on Network Cloud Computing and Applications. 〈10.1109/NCCA.2012.22〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00796221/file/ieeencca2012.pdf BibTex
titre
Managing Execution Environment Variability during Software Testing: an industrial experience
auteur
Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb
article
International Conference on Testing Software and Systems, Nov 2012, Aalborg, Denmark. Springer, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00726137/file/ICTSS_HBG_12.pdf BibTex
titre
Specification and Detection of SOA Antipatterns
auteur
Naouel Moha, Francis Palma, Mathieu Nayrolles, Benjamin Joyen Conseil, Guéhéneuc Yann-Gael, Benoit Baudry, Jean-Marc Jézéquel
article
Chengfei Liu, Heiko Ludwig, Farouk Toumani. International Conference on Service Oriented Computing, Nov 2012, Shanghai, China. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00722472/file/Moha12.pdf BibTex
titre
Novel design of RFID UHF passive tag for wideband applications by direct and contactless chip connection
auteur
Dat Son Nguyen, Xuan Chien Le, Tien Thong Pham, Viet Hoa Nguyen, Mau Chien Dang, Smail Tedjini
article
RFID-TA 2012 - IEEE International Conference on RFID-Technologies and Applications, Nov 2012, Nice, France. IEEE, RFID-Technologies and Applications (RFID-TA), 2012 IEEE International Conference on, pp.131-136, 2012, 〈10.1109/rfid-ta.2012.6404498〉
Accès au bibtex
BibTex
titre
Towards a Hybrid Client/Server and P2P Architecture for Content Delivery over the Internet
auteur
Soufiane Rouibia, Majd Ghareed, Benoît Parrein, Marco Biazzini, Raziel Carvajal-Gomez, Adriana Perez-Espinosa, Patricia Serrano-Alvarado
article
CFIP/NOTERE, Oct 2012, Bayonne, France. pp.1, 2012
Accès au bibtex
BibTex
titre
A Vision for Behavioural Model-Driven Validation of Software Product Lines
auteur
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry
article
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Heraclion, Greece. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00726121/file/isola2012-root.pdf BibTex
titre
Towards Behavioural Model-Driven Validation of Software Product Lines
auteur
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry
article
5th International Sympoisum on Leveraging Applications of Formal Methods, Oct 2012, Héraklion, Crète, Greece. 2012
Accès au bibtex
BibTex
titre
An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements
auteur
François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel
article
Models 2012, Oct 2012, Innsbruck, Austria. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00714558/file/emfatruntime.pdf BibTex
titre
A Process for Continuous Validation of Self-Adapting Component Based Systems
auteur
Viet Hoa Nguyen, François Fouquet, Noël Plouzeau, Olivier Barais
article
7th International Workshop on Models@run.time of the MODELS 2012 Conference., Oct 2012, Innsbruck, Austria. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00764706/file/mrt12_submission_5-9.pdf BibTex
titre
The 8th Educators' Symposium @ MODELS 2012: Software Modeling in Education
auteur
Dan Chiorean, Benoit Combemale
article
Proceedings of the 8th edition of the Educators' Symposium, Oct 2012, Innsbruck, Austria. ACM, 2012, 〈10.1145/2425936.2425937〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00773311/file/1-chiorean.pdf BibTex
titre
Using CVL to Operationalize Product Line Development with Reusable Aspect Models
auteur
Benoit Combemale, Olivier Barais, Omar Alam, Jörg Kienzle
article
VARY@MoDELS'12: VARiability for You, Sep 2012, Innsbruck, Austria. ACM, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00730274/file/ram_cvl.pdf BibTex
titre
Next-Generation Model-based Variability Management: Languages and Tools
auteur
Mathieu Acher, Patrick Heymans, Philippe Collet, Philippe Lahire
article
MODELS 2012 - 15th International Conference on Model Driven Engineering Languages & Systems, Sep 2012, Innsbruck, Austria. ACM / IEEE, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767170/file/NextGenVariabilityMODELS12-tutorial.pdf BibTex
titre
Aligning SysML with the B Method to Provide V&V for Systems Engineering
auteur
Erwan Bousse, David Mentré, Benoit Combemale, Benoit Baudry, Katsuragi Takaya
article
Model-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), Sep 2012, Innsbruck, Austria. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00741134/file/paper.pdf BibTex
titre
Formally Defining and Iterating Infinite Models
auteur
Benoit Combemale, Xavier Thirioux, Benoit Baudry
article
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, 2012, LNCS. 〈10.1007/978-3-642-33666-9_9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00716623/file/models12-infinitemodel.pdf BibTex
titre
Defining and Retrieving Themes in Nuclear Regulations
auteur
Nicolas Sannier, Benoit Baudry
article
Fifth International Workshop on Requirements Engineering and Law (RELAW 2012), Sep 2012, Chicago, United States. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00721826/file/RELAW2012_Sannier_Baudry-cr.pdf BibTex
titre
Bridging the Chasm between Executable Metamodeling and Models of Computation
auteur
Benoit Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry
article
Krzysztof Czarnecki and Goerel Hedin. 5th International Conference, SLE 2012, Sep 2012, Desden, Germany. Springer, 7745 (12), pp.184-203, 2013, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-00905067/file/2012BridgingTheChasm.pdf BibTex
titre
Toward Multilevel Textual Requirements Traceability Using Model-Driven Engineering and Information Retrieval
auteur
Nicolas Sannier, Benoit Baudry
article
Second International Model-Driven Requirements Engineering (MoDRE) Workshop, Sep 2012, Chicago, United States. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00721806/file/MoDRE2012_Sannier_Baudry_Multilevel_Requirements_Traceability_Using_MDE_and_IR-cr3.pdf BibTex
titre
Impact of Footprinting on Model Quality: An Experimental Evaluation
auteur
Cédric Jeanneret, Martin Glinz, Benoit Baudry, Benoit Combemale
article
MODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP AT RE 2012, Sep 2012, Chicago, Illinois, United States. IEEE, pp.78-87, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00722036/file/rews12modre-id14-p-11124-submitted.pdf BibTex
titre
A Model-Driven Approach for Virtual Machine Image Provisioning in Cloud Computing
auteur
Tam Le Nhan, Gerson Sunyé, Jean-Marc Jézéquel
article
European Conference on Service-Oriented and Cloud Computing (ESOCC 2012), Sep 2012, Bertinoro, Italy. Springer-Verlag Berlin Heidelberg, pp.107-121, 2012
Accès au bibtex
BibTex
titre
An Approach for Semantic Enrichment of Software Product Lines
auteur
J.B.F. Filho, Olivier Barais, Benoit Baudry, Windson Viana, Rossana Andrade
article
Third International Workshop on Knowledge Oriented Product Line Engineering (KOPLE), Sep 2012, Salvador, Brazil. 2012
Accès au bibtex
BibTex
titre
Model-Based Product Line Evolution: an Incremental Growing by Extension
auteur
Stephen Creff, Joël Champeau, Jean-Marc Jezequel
article
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. II, pp.107-114, 2012
Accès au bibtex
BibTex
titre
A Dynamic Component Model for Cyber Physical Systems
auteur
François Fouquet, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel, Brice Morin, Franck Fleurey
article
15th International ACM SIGSOFT Symposium on Component Based Software Engineering, Jul 2012, Bertinoro, Italy. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00713769/file/p135.pdf BibTex
titre
On Model Subtyping
auteur
Clément Guy, Benoit Combemale, Steven Derrien, James Steel, Jean-Marc Jézéquel
article
ECMFA - 8th European Conference on Modelling Foundations and Applications, Jul 2012, Kgs. Lyngby, Denmark. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00695034/file/ECMFA2012-OnModelSubtyping.pdf BibTex
titre
Specifying and Running Rich Graphical Components with Loa
auteur
Olivier Beaudoux, Mickaël Clavreul, Arnaud Blouin, Mengqiang Yang, Olivier Barais, Jean-Marc Jézéquel
article
EICS'12: Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems, Jun 2012, Copenhagen, Denmark. pp.169-178, 2012, 〈10.1145/2305484.2305513〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00684881/file/BEA12.pdf BibTex
titre
From Abstract to Executable BPEL Processes with Continuity Support
auteur
Zeina Azmeh, Marianne Huchard, Fady Hamoui, Naouel Moha
article
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, 2012, 〈http://conferences.computer.org/icws/2012/〉. 〈10.1109/ICWS.2012.124〉
Accès au bibtex
BibTex
titre
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs
auteur
Samira Tasharofi, Rajesh Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha
article
Holger Giese; Grigore Rosu. 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7273, pp.219-234, 2012, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-30793-5_14〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01528727/file/978-3-642-30793-5_14_Chapter.pdf BibTex
titre
Dissemination of reconfiguration policies on mesh networks
auteur
François Fouquet, Erwan Daubert, Noël Plouzeau, Olivier Barais, Johann Bourcier, Jean-Marc Jézéquel
article
Karl Michael Göschka; Seif Haridi. 12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7272, pp.16-30, 2012, Distributed Applications and Interoperable Systems. 〈10.1007/978-3-642-30823-9_2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00688707/file/main.pdf BibTex
titre
Kevoree : une approche model@runtime pour les systèmes ubiquitaires
auteur
François Fouquet, Erwan Daubert, Noël Plouzeau, Olivier Barais, Johann Bourcier, Arnaud Blouin
article
UbiMob2012, Jun 2012, Anglet, France. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00714557/file/FOUQUET.pdf BibTex
titre
Leveraging variability modeling for multi-dimensional Model-driven Software Product Lines
auteur
J.B.F. Filho, Olivier Barais, Benoit Baudry, Jérôme Le Noir
article
3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE), Jun 2012, Zurich, Switzerland. pp.5-8, 2012, 〈10.1109/PLEASE.2012.6229774〉
Accès au bibtex
BibTex
titre
Towards flexible evolution of Dynamically Adaptive Systems
auteur
Gilles Perrouin, Brice Morin, Franck Chauvel, Franck Fleurey, Jacques Klein, Yves Le Traon, Olivier Barais, Jean-Marc Jézéquel
article
34th International Conference on Software Engineering (ICSE), NIER Track, Jun 2012, Zurich, Switzerland. pp.1353-1356, 2012, 〈10.1109/ICSE.2012.6227081〉
Accès au bibtex
BibTex
titre
A Categorical Model of Model Merging and Weaving
auteur
Jonathan Marchand, Benoit Combemale, Benoit Baudry
article
MiSe 2012 - 4th International Workshop on Modeling in Software Engineering, Jun 2012, Zurich, Switzerland. Conference Publishing Solutions, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00714373/file/sc12.pdf BibTex
titre
Dependability-Driven Runtime Management of Service Oriented Architectures
auteur
Haouas Hanen, Johann Bourcier
article
PESOS - 4th International Workshop on Principles of Engineering Service-Oriented Systems - 2012, Jun 2012, Zurich, Switzerland. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00714357/file/Dependability_driven_autonomic_adaptation_of_service_oriented_computing_Final-corrected.pdf BibTex
titre
Une organisation des Lignes de Produits Logiciels autour d'un motif architectural
auteur
Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel
article
CAL 2012, May 2012, Montpellier, France. 2012
Accès au bibtex
BibTex
titre
A Tridimensional Approach for Studying the Formal Verification of Model Transformations
auteur
Moussa Amrani, Levi Lucio, Gehan Selim, Benoit Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy
article
Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada. IEEE, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00684717/file/IEEEFinal.pdf BibTex
titre
Peer-to-Peer Load Testing
auteur
Jorge Meira, Eduardo Cunha de Almeida, Yves Le Traon, Gerson Sunyé
article
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, 2012
Accès au bibtex
BibTex
titre
Searching the boundaries of a modeling space to test metamodels
auteur
Juan Cadavid, Benoit Baudry, Houari Sahraoui
article
Fifth IEEE International Conference on Software Testing, Verification and Validation, Apr 2012, Montréal, Canada. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00665866/file/main.pdf BibTex
titre
Comparaison de Modèles Filtrée pour le Test de Transformations de Modèles
auteur
Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, Christian Attiogbé
article
CIEL 2012, 2012, Rennes, France. 2012
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Actes des 4èmes journées du GDR Génie de la Programmation et du Logiciel, Rennes, 2012
auteur
Olivier Barais, Laurence Duchien
article
Olivier Barais, Laurence Duchien. Université de Rennes, pp.256, 2012
Accès au bibtex
BibTex
titre
EduSymp '12: Proceedings of the 8th Edition of the Educators' Symposium
auteur
Dan Chiorean, Benoit Combemale
article
Dan Chiorean and Benoit Combemale. ACM, pp.39, 2012, 978-1-4503-1812-9
Accès au bibtex
BibTex

Other publications

titre
Découpez vos Modèles avec Kompren : une Démonstration
auteur
Arnaud Blouin, Benoit Combemale, Benoit Baudry
article
Démonstration, 4emes journées nationales du GDR-GPL 2012, p. 201--202. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00696149/file/BLO12.pdf BibTex

Books

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

Poster communications

titre
On Model Subtyping
auteur
Clément Guy
article
4emes journées nationales du GDR-GPL 2012, Jun 2012, Rennes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00726399/file/Poster_GDR2012.pdf BibTex
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
auteur
Nicolas Sannier
article
4emes journées nationales du GDR-GPL 2012, Jun 2012, Rennes, France. pp.203
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00718895/file/GPL2012_Poster_Sannier_A4.pdf BibTex

Reports

titre
A Design Pattern for Executable DSML
auteur
Benoit Combemale, Xavier Crégut, Marc Pantel
article
[Research Report] RR-8063, 2012, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00540648/file/rr-xdsml-2012.pdf BibTex
titre
Towards Ecology-Inspired Software Engineering
auteur
Benoit Baudry, Martin Monperrus
article
[Research Report] RR-7952, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00694276/file/Towards-Ecology-Inspired-Software-Engineering.pdf BibTex
titre
Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices
auteur
Juan Cadavid, Benoit Combemale, Benoit Baudry
article
[Research Report] RR-7882, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00670652/file/RR-7882.pdf BibTex

2011

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Theses

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
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
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
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

2010

Journal articles

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, EPTCS, 2010, pp.86-100
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00554209/file/TenYearsAfter.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, Institute of Electrical and Electronics Engineers, 2010, 36 (5), pp.662-675. 〈10.1109/TSE.2009.85〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477520/file/Bendraou10a.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, Lavoisier, 2010, 29 (2010), pp.537-569
Accès au bibtex
BibTex
titre
A family of languages for architecture constraint specification
auteur
Chouki Tibermacine, Régis Fleurquin, Salah Sadou
article
Journal of Systems and Software, Elsevier, 2010, 83 (5), pp.815-831
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00498761/file/tibermacineEtAlJSS.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 - Ingéniérie dirigée par les modèles, Revue Génie Logiciel - AFCET, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504666/file/Jezequel10a.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, Springer Verlag, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477521/file/Moha10b.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, Institute of Electrical and Electronics Engineers, 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://hal.inria.fr/inria-00538476/file/Moha10a.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, Wiley, 2010, 13 (3), pp.290-297. 〈10.1002/sys.20149〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00538455/file/Monperrus09a.pdf 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, Lavoisier, 2010, pp.37-61
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477524/file/Demarche_de_conception_fonctionnelle_SOE.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, World Academy of Science, Engineering and Technology, 2010, 7 (6)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00555041/file/Driss10a.pdf BibTex
titre
Barriers to Systematic Model Transformation Testing
auteur
Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert France, Yves Le Traon, Jean-Marie Mottu
article
Communications- ACM, Association for Computing Machinery, 2010, 53 (6), pp.0-0
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542747/file/Baudry09a.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, Springer Verlag, 2010, 22 (3-4), pp.345-361
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512135/file/Moha09a.pdf BibTex

Conference papers

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.archives-ouvertes.fr/hal-00548736/file/F4Plan.pdf BibTex
titre
Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases
auteur
Romain Delamare, Freddy Munoz, Benoit Baudry, Yves Traon
article
Alexandre Petrenko; Adenilso Simão; José Carlos Maldonado. 22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. Springer, Lecture Notes in Computer Science, LNCS-6435, pp.250-265, 2010, Testing Software and Systems. 〈10.1007/978-3-642-16573-3_18〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00555069/file/ictss2010.pdf BibTex
titre
Efficient Distributed Test Architectures for Large-Scale Systems
auteur
Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Yves Le Traon, Patrick Valduriez
article
Alexandre Petrenko and Adenilso da Silva Simão and José Carlos Maldonado. International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. LNCS, pp.174-187, 2010, Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010. 〈10.1007/978-3-642-16573-3_13〉
Accès au bibtex
BibTex
titre
Efficient Distributed Test Architectures for Large-Scale Systems
auteur
Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Yves Le Traon, Patrick Valduriez
article
Alexandre Petrenko; Adenilso Simão; José Carlos Maldonado. 22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. Springer, Lecture Notes in Computer Science, LNCS-6435, pp.174-187, 2010, Testing Software and Systems. 〈10.1007/978-3-642-16573-3_13〉
Accès au bibtex
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. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00538466/file/Gouyette10.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, 2010, 〈10.1109/SEAA.2010.25〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00480221/file/euromicro-ieee.pdf 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
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
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. Springer, 6093, pp.167-182, 2010, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00498782/file/qosa10-2.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, 2010, 〈10.1109/ICIW.2010.52〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00470487/file/Towards_a_Generic_Context-Aware_Framework_for_Self-Adaptation_of_Service-Oriented_Architectures_-_ICIW2010.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. 2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00498383/file/LeTraon-QuoMBaT.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. IEEE, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00561164/file/Kattepur2010.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
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
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. Springer Lecture Notes in Computer Science (LNCS), 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477523/file/Perrouin010a.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, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477627/file/BLOUIN10a.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. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504664/file/Morin10a.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, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504671/file/Beaudoux10b.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. IEEE, pp.345-348, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504665/file/LeGloahec10a.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. Springer, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00555042/file/Driss10b.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. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00538458/file/Morin10c.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. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00538460/file/mahe10a.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. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00538469/file/Nain10a.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. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00538500/file/Morin10b.pdf BibTex
titre
PeerUnit: a framework for testing peer-to-peer systems
auteur
Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Patrick Valduriez
article
Charles Pecheur and Jamie Andrews and Elisabetta Di Nitto. ASE, 2010, Antwerp, Belgium. ACM, pp.169-170, 2010, Proceedings of the IEEE/ACM international conference on Automated software engineering. 〈10.1145/1858996.1859030〉
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. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504672/file/Beaudoux10c.pdf 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. 2, pp.69--78, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504669/file/CLAVREUL10a.pdf 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. EPFL, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542760/file/Fouquet10a.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, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542763/file/Beaudoux10a.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. Knowledge Systems Institute, pp.1-6, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504663/file/Tibermacine10b.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. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00555044/file/Baudry10a.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. Springer, 6138, pp.90--103, 2010, Lecture Notes in Computer Science (LNCS)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504667/file/combemale10b.pdf BibTex
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 Pinna-Dery, 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. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504668/file/combemale10a.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://hal.inria.fr/inria-00538461/file/Jezequel10b.pdf BibTex

Directions of work or proceedings

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
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

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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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
AP. Proceedings of the workshop "Composition&Variability'2010" that had been held at the AOSD Confere.. 2010, pp.63
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00484507/file/WorkshopComposition_VariabilityProceedings.pdf BibTex

Books

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
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
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

Reports

titre
Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics
auteur
Vlad Rusu, Laure Gonnord, Benoît Combemale
article
[Research Report] RR-7423, INRIA. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00526561/file/RR-7423.pdf BibTex
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

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00538565/file/these.pdf BibTex
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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00538548/file/PhD_Brice_Morin.pdf BibTex
titre
Découverte automatique de modèles effectifs
auteur
Sagar Sen
article
Software Engineering [cs.SE]. Université Rennes 1, 2010. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00507530/file/thesisFinal.pdf BibTex

2009

Journal articles

titre
Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification
auteur
Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
article
Journal of Software (JSW), Academy Publisher, 2009, 4 (9), pp.943-958
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Springer Verlag, 2009, 8 (2), pp.185-203. 〈10.1007/s10270-007-0074-8〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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
Transactions on Aspect-Oriented Software Development (TAOSD), Springer, 2009, LNCS 5560, pp.16-21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468654/file/France09a.pdf BibTex
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
REE - Revue de l’électricité électronique, See, 2009, pp.38--44
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468653/file/ree_chauvel_et_al.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
IEEE COMPUTER, IEEE, 2009, pp.46-53
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477529/file/Morin09f.pdf BibTex
titre
OpenEmbeDD : La plate-forme et ses outils d'ingénierie de modèles
auteur
Didier Vojtisek
article
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
https://hal.inria.fr/inria-00468512/file/Vojtisek09b.pdf BibTex
titre
Introduction à la construction d'un DSL sous Eclipse
auteur
Didier Vojtisek
article
Programmez!, Magazine Programmez, 2009, 120, pp.70-72
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468511/file/Vojtisek09a.pdf BibTex
titre
Towards Domain-specific Model Editors with Automatic Model Completion
auteur
Sagar Sen, Benoit Baudry, Hans Vangheluwe
article
Simulation Journal, SAGE, 2009, 3 (12), pp.109-126. 〈10.1177/0037549709340530〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468513/file/Sen09c.pdf BibTex
titre
Processus MOPCOM pour SoC/SoPC
auteur
Ali Koudri, Joël Champeau, Denis Aulagnier, Didier Vojtisek
article
Génie Logiciel - Ingéniérie dirigée par les modèles, Revue Génie Logiciel - AFCET, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468656/file/Koudri09a.pdf BibTex

Conference papers

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. Springer Berlin / Heidelberg, 5795/2009, pp.438-452, 2009, 〈10.1007/978-3-642-04425-0〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00470523/file/models_cdl_12juillet09_Final_Version.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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00411514/file/Daubert_Gauvrit_poster_renpar2009.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, 2009, Proceedings of the Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468256/file/Sen09a.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. Springer, 5543, pp.148-160, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-01680-6_15〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468652/file/Bendraou09a.pdf BibTex
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
Pierre Bazex and Agusti Canals and Thierry Millan. Neptune, May 2009, Paris, France. Revue Génie Logiciel - AFCET, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00381639/file/Neptune-09.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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468655/file/Istoan09a.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, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477528/file/muller09.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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477531/file/Delamare09b.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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/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, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504679/file/legloahec09a.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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00538390/file/mouelhi09.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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512134/file/Moha09b.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. Springer-Verlag, pp.125--141, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504676/file/munoz09a.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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468520/file/Morin09e.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. Springer Lecture Notes in Computer Science (LNCS), 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468522/file/Perrouin09a.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, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468521/file/Nain09a.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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468519/file/Morin09c.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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468657/file/Moha09c.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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468514/file/Sen09b.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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468516/file/Morin09a.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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542773/file/Chauvel09b.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. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468517/file/Morin09b.pdf BibTex

Book sections

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://hal.inria.fr/inria-00468651/file/Baudry09b.pdf BibTex
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://hal.inria.fr/inria-00468650/file/Aulagnier09a.pdf BibTex

Reports

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
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://hal.inria.fr/inria-00365874/file/rrrt-model-rennes.pdf 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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00512182/file/Simonin09a.pdf BibTex

2008

Journal articles

titre
Un tour d'horizon des approches pour la manipulation des données du web
auteur
Arnaud Blouin, Olivier Beaudoux, Stéphane Loiseau
article
Revue des Sciences et Technologies de l'Information - Série Document Numérique, Lavoisier, 2008, 11 (1-2/2008), pp.63--83. 〈10.3166/dn.11.1-2.63-83〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00470258/file/BLO08b.pdf BibTex
titre
Model Driven analysis and synthesis of textual concrete syntax
auteur
Pierre-Alain Muller, Frédéric Fondement, Franck Fleurey, Michel Hassenforder, Rémi Schnekenburger, Sébastien Gérard, Jean-Marc Jézéquel
article
Software and Systems Modeling, Springer Verlag, 2008, 7 (4), pp.423--442. 〈10.1007/s10270-008-0088-x〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468231/file/MDASOCS-SoSyM.pdf BibTex
titre
Génération d'ontologie à partir d'un modèle métier UML annoté
auteur
Cyril Faucher, Frédéric Bertrand, Jean-Yves Lafaye
article
Revue des Nouvelles Technologies de l'Information, Hermann, 2008, 12, pp.65--84
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00460298/file/Faucher08a.pdf BibTex
titre
Model Driven Design and Aspect Weaving
auteur
Jean-Marc Jézéquel
article
Journal of Software and Systems Modeling (SoSyM), Springer, 2008, 7 (2), pp.209--218
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468233/file/sosymexp.pdf BibTex
titre
Vers des Lignes de Produits Flexibles
auteur
Jean-Marc Jézéquel, Gilles Perrouin
article
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2008, 14 (3), pp.33--45
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456480/file/Jezequel08b.pdf BibTex

Conference papers

titre
Managing Variability Complexity in Aspect Oriented Modelling
auteur
Brice Morin, Gilles Vanwormhoudt, Philippe Lahire, Alban Gaignard, Olivier Barais, Jean-Marc Jézéquel
article
12th International Conference on Model Driven Engineering Languages and Systems (MODELS'2009), ACM/IEEE, Sep 2008, Toulouse, France. Springer, 5301/2008, pp.797-812, 2008, LNCS
Accès au bibtex
BibTex
titre
A Model-driven Measurement Approach
auteur
Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener
article
ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), Sep 2008, Toulouse, France, France. pp.505-519, 2008, 〈10.1007/978-3-540-87875-9_36〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456483/file/Monperrus08d.pdf BibTex
titre
A linguistic approach for non-functional preferences in a semantic SOA environment
auteur
Pierre Châtel, Isis Truck, Jacques Malenfant
article
8th International FLINS Conference on Computational Intelligence in Decision and Control, Sep 2008, Madrid, Spain. pp.889-894
Accès au bibtex
BibTex
titre
Model-driven Simulation of a Maritime Surveillance System
auteur
Martin Monperrus, Franck Jaozafy, Gabriel Marchalot, Joël Champeau, Brigitte Hoeltzener, Jean-Marc Jézéquel
article
4th European Conference on Model Driven Architecture Foundations and Applications (ECMDA'2008), Jun 2008, Berlin, Germany, Germany. pp.361-368, 2008, 〈10.1007/978-3-540-69100-6_25〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456481/file/Monperrus08a.pdf BibTex
titre
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
auteur
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
article
IEEE International Conference on Software Testing, ICST'08, Apr 2008, Lillehammer, Norway, Norway. pp.328-337, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456955/file/Sen08a.pdf BibTex
titre
Using MARTE in a Co-Design Methodology
auteur
Ali Koudri, Denis Aulagnier, Didier Vojtisek, Philippe Soulard, Christophe Moy, Joël Champeau, Jorgiano Vidal, Jean-Christophe Le Lann
article
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p., 2008
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-00354356/file/Koudri08a.pdf BibTex
titre
Vers l'Exécutabilité des Modèles de Procédés Logiciels
auteur
Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc, Jean-Marc Jézéquel
article
14ème colloque international sur les Langages et Modèles à Objets (LMO'08), Mar 2008, Montréal, Quebec, Canada. RNTI, RNTI-L-1, pp.153-168, 2008, Revue des Nouvelles Technologies de l'Information
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00371227/file/Bendraou08a.pdf BibTex
titre
A Model-Driven Process for Self-Adaptive Software
auteur
Franck Chauvel, Isabelle Borne, Jean-Marc Jézéquel, Olivier Barais
article
4th European Congress ERTS Embedded Real-Time Software, Jan 2008, Toulouse, France, France. pp.CD-ROM, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00455764/file/Chauvel08b.pdf BibTex
titre
An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability
auteur
Brice Morin, Franck Fleurey, Nelly Bencomo, Jean-Marc Jézéquel, Arnor Solberg, Vegard Dehlen, Gordon Blair
article
In Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), 2008, Toulouse, France, France. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468232/file/Morin08d.pdf BibTex
titre
Composition of Qualitative Adaptation Policies
auteur
Franck Chauvel, Olivier Barais, Isabelle Borne, Jean-Marc Jézéquel
article
23rd IEEE/ACM International Conference on Automated Software Engineering - ASE'08, 2008, L'Aquila, Italy, Italy. pp.455 - 458, 2008, 〈10.1109/ASE.2008.72〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477536/file/Chauvel08c.pdf BibTex
titre
Model-driven Engineering Metrics for Real Time Systems
auteur
Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener
article
4th European Congress ERTS Embedded Real-Time Software, 2008, Toulouse, France, France. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456482/file/Monperrus08b.pdf BibTex
titre
Expression qualitative de politiques d'adaptation pour Fractal
auteur
Franck Chauvel, Olivier Barais, Noël Plouzeau, Isabelle Borne, Jean-Marc Jézéquel
article
Langages Modèles et Objets (LMO'08), 2008, Montréal, Québec, Canada. Cepadués, pp.5--20, 2008, RNTI
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456478/file/Chauvel08a.pdf BibTex
titre
Regression Test Selection when Evolving Software with Aspects
auteur
Romain Delamare, Benoit Baudry, Yves Le Traon
article
Proceedings of LATE workshop in conjunction with AOSD'08, 2008, Brussels, Belgium, Belgium. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456479/file/Delamare08.pdf BibTex
titre
Reconciling Automation and Flexibility in Product Derivation
auteur
Gilles Perrouin, Jacques Klein, Nicolas Guelfi, Jean-Marc Jézéquel
article
12th International Software Product Line Conference (SPLC 2008), 2008, Limerick, Ireland, Ireland. IEEE Computer Society, pp.339--348, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456507/file/Perrouin08a.pdf BibTex
titre
K@RT: An Aspect-Oriented and Model-Oriented Framework for Dynamic Software Product Lines
auteur
Brice Morin, Olivier Barais, Jean-Marc Jézéquel
article
Proceedings of the 3rd International Workshop on Models@Runtime, at MoDELS'08, 2008, Toulouse, France, France. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456486/file/Morin08e.pdf BibTex
titre
Modeling the Variability Space of Self-Adaptive Applications
auteur
Gilles Perrouin, Franck Chauvel, Julien Deantoni, Jean-Marc Jézéquel
article
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, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456531/file/Perrouin08b.pdf BibTex
titre
Improving Maintenance in AOP Through an Interaction Specification Framework
auteur
Freddy Munoz, Benoit Baudry, Olivier Barais
article
ICSM08, 24th International conference on Software Maintentance, 2008, Beijing, China, China. IEEE Computer Society Press, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456504/file/munoz2008b.pdf BibTex
titre
Using MDE to Build a Schizofrenic Middleware for Home/Building Automation
auteur
Grégory Nain, Erwan Daubert, Olivier Barais, Jean-Marc Jézéquel
article
In ServiceWave'08: Networked European Software \& Services Initiative (NESSI) Conference, 2008, Madrid, Spain. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456506/file/Nain08a.pdf BibTex
titre
Modeling and Validating Dynamic Adaptation
auteur
Franck Fleurey, Vegard Delhen, Nelly Bencomo, Brice Morin, Jean-Marc Jézéquel
article
Proceedings of the 3rd International Workshop on Models@Runtime, at MoDELS'08, 2008, Toulouse, France, France. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456535/file/Fleurey08a.pdf BibTex
titre
Validation challenges in model composition: The case of adaptive systems
auteur
Freddy Munoz, Benoit Baudry
article
In Proceedings of ChaMDE 2000 - Workshop on Challenges in Model Driven Engineering in conjounction with MODELS'08, 2008, Toulouse, France, France. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456505/file/munoz2008c.pdf BibTex
titre
Weaving Aspect Configurations for Managing System Variability
auteur
Brice Morin, Olivier Barais, Jean-Marc Jézéquel
article
2nd International Workshop on Variability Modelling of Software-intensive Systems, 2008, Essen, Germany, Germany. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456484/file/Morin08a.pdf BibTex
titre
A Generic Weaver for Supporting Product Lines
auteur
Brice Morin, Jacques Klein, Olivier Barais, Jean-Marc Jézéquel
article
International Workshop on Early Aspects at ICSE'08, 2008, Leipzig, Germany, Germany. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456485/file/Morin08b.pdf BibTex
titre
Test-Driven Assessment of Access Control in Legacy Applications
auteur
Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry
article
ICST 2008 : First IEEE International Conference on Software, Testing, Verification and Validation (ICST), April 9-11, Lillehammer, Norway, 2008, Lillehammer, Norway. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456953/file/mouelhi08c.pdf BibTex
titre
A Generic Metamodel For Security Policies Mutation
auteur
Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry
article
SecTest 08: 1st International ICST workshop on Security Testing, April 9, Lillehammer, Norway, 2008, Lillehammer, Norway. 8 p., 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456954/file/mouelhi08e.pdf BibTex
titre
Model-Based Tests for Access Control Policies
auteur
Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon
article
ICST 2008 : First IEEE International Conference on Software, Testing, Verification and Validation, April 9-11, Lillehammer, Norway, 2008, Lillehammer, Norway. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456952/file/mouelhi08a.pdf BibTex
titre
Managing Variability Complexity in Aspect-Oriented Modeling
auteur
Brice Morin, Gilles Vanwormhoudt, Philippe Lahire, Alban Gaignard, Olivier Barais, Jean-Marc Jézéquel
article
In Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), 2008, Toulouse, France, France. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00457129/file/Morin08c.pdf BibTex
titre
A Discrete-Events Simulation Approach for Evaluation of Service-Based Applications
auteur
Maha Driss, Yassine Jamoussi, Jean-Marc Jézéquel, Henda Hajjami Ben Ghézala
article
In Proceedings of the 6th IEEE European Conference on Web Services, 2008, Dublin, Ireland, Ireland. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00457149/file/Driss08a.pdf BibTex
titre
QoS testing of service-based applications
auteur
Maha Driss, Yassine Jamoussi, Henda Hajjami Ben Ghézala
article
In Proceedings of the 3rd IEEE International Design and Test Workshop (IDT '08), 2008, Monastir, Tunisia, Tunisia. pp.45-50, 2008, 〈10.1109/IDT.2008.4802463〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468234/file/driss08b.pdf BibTex
titre
Testing Peers' Volatility
auteur
Eduardo De Almeida, Gerson Sunye, Yves Le Traon, Patrick Valduriez
article
23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008, L'Aquila, Italy, Italy. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00371199/file/almeida08a.pdf BibTex
titre
V3Studio: A Component-Based Architecture Modeling Language
auteur
Diego Alonso, Cristina Vicente-Chicote, Olivier Barais
article
15th IEEE International Conference on Engineering of Computer-Based Systems (ECBS'O8), 2008, Belfast, Northern Ireland, Ireland. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00371222/file/Barais08b.pdf BibTex
titre
Composing Multi-View Aspect Models
auteur
Olivier Barais, Jacques Klein, Benoit Baudry, Andrew Jackson, Siobhan Clarke
article
7th IEEE International Conference on Composition-Based Software Systems (ICCBSS), 2008, Madrid, Spain, Spain. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00371221/file/Barais08a.pdf BibTex
titre
A Framework for Testing Peer-to-Peer Systems
auteur
Eduardo De Almeida, Gerson Sunye, Yves Le Traon, Patrick Valduriez
article
19th IEEE International Symposium on Software Reliability Engineering (ISSRE 2008), 2008, Seattle, WA, USA, United States. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00371781/file/almeida08b.pdf BibTex
titre
EA4UP: an Enterprise Architecture-Assisted Telecom Service Development Method
auteur
Jacques Simonin, Yves Le Traon, Jean-Marc Jézéquel, Bertrand Nicolas, Francis Alizon, Jean-Pierre Deschrevel
article
EDOC'08 (Entreprise Distributed Object Computing Conference), 2008, Munchen, Germany, Germany. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456508/file/Simonin08a.pdf BibTex
titre
Test de Transformation de Modèles : Expression d'Oracles
auteur
Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
article
4ièmes Journées sur l'Ingénierie Dirigée par les Modèles, 2008, Mulhouse, France, France. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456503/file/Mottu08b.pdf BibTex
titre
Model transformation testing : oracle issue
auteur
Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
article
MoDeVVa workshop colocated with ICST'08, 2008, Lillehammer, Norway, Norway. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456951/file/Mottu08a.pdf BibTex

Book sections

titre
Software Architecture Evolution
auteur
Olivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia Lawall
article
Tom Mens and Serge Demeyer eds. Software Evolution, Springer Verlag, pp.233--262, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00371226/file/Barais08d.pdf BibTex
titre
Measuring Models
auteur
Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener
article
Model-Driven Software Development: Integrating Quality Assurance, pp.147-169, 2008, 978-1-60566-006-6. 〈10.4018/978-1-60566-006-6.ch007〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01575355/file/Measuring-models-in-Model-Driven-Software-Development-Integrating-Quality-Assurance.pdf BibTex

Books

titre
Oracles et qualification du test de transformations de modèles.
auteur
Jean-Marie Mottu
article
Université de Rennes 1, 192 p., 2008
Accès au bibtex
BibTex

Reports

titre
A classification of invasive patterns in AOP
auteur
Freddy Munoz, Benoit Baudry, Olivier Barais
article
[Research Report] RR-6501, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00266555/file/RR-6501.pdf BibTex
titre
Generating regression tests for software migration
auteur
Franck Fleurey, Benoit Baudry, Alain Nicolas, Erwan Breton, Jean-Marc Jézéquel
article
[Research Report] RR-6971, INRIA. 2008, pp.46
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00399493/file/RR-6971.pdf BibTex

Theses

titre
Oracles et qualification du test de transformations de modèles
auteur
Jean-Marie Mottu
article
Génie logiciel [cs.SE]. Université Rennes 1, 2008. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00514506/file/Mottu08c.pdf BibTex
titre
La mesure des modèles par les modèles : une approche générative
auteur
Martin Monperrus
article
Génie logiciel [cs.SE]. Université Rennes 1, 2008. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00514492/file/la-mesure-des-modeles-par-les-modeles-une-approche-generative.pdf BibTex
titre
Méthodes et outils pour la conception de systèmes logiciels auto-adaptatifs
auteur
Franck Chauvel
article
Génie logiciel [cs.SE]. Université de Bretagne Sud, 2008. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00512189/file/Chauvel08d.pdf BibTex

2007

Journal articles

titre
On Model Typing
auteur
Jim Steel, Jean-Marc Jézéquel
article
Journal of Software and Systems Modeling (SoSyM), Springer, 2007, 6 (4), pp.401--414
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477547/file/Steel07a.pdf BibTex
titre
Towards Dependable Model Transformations: Qualifying Input Test Data
auteur
Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon
article
Journal of Software and Systems Modeling (SoSyM), Springer, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477567/file/Fleurey07b.pdf BibTex
titre
Weaving Multiple Aspects in Sequence Diagrams
auteur
Jacques Klein, Franck Fleurey, Jean-Marc Jézéquel
article
Transactions on Aspect-Oriented Software Development (TAOSD), Springer, 2007, LNCS 4620, pp.167-199
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00505223/file/Klein07a.pdf BibTex
titre
Test Synthesis from UML Models of Distributed Software
auteur
Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2007, 33 (4), pp.252--268
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477560/file/Pickin07a.pdf BibTex
titre
Évaluation de l'apport des aspects, des sujets et des vues pour la composition et la réutilisation des modèles
auteur
Olivier Barais, Philippe Lahire, Alexis Muller, Noël Plouzeau
article
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13 (2-3), pp.177-212
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00414637/file/BaraisLahireMullerPlouzeauVanwormhout_l_objet_finalmars.pdf BibTex

Conference papers

titre
Model-driven Engineering for Requirements Analysis
auteur
Benoit Baudry, Clémentine Nebut, Yves Le Traon
article
EDOC'07: "The Enterprise Computing Conference", pp.459-466, 2007, 〈http://edoc.mitre.org/〉
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00196676/file/baudry07a.pdf BibTex
titre
Modeling and Integrating Aspects into Component Architectures
auteur
Lydia Michotte, Robert France, Franck Fleurey
article
EDOC'07, Oct 2007, Annapolis, MD, United States. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00180635/file/Michotte-Modeling.pdf BibTex
titre
Providing Support for Model Composition in Metamodels
auteur
Robert France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh
article
EDOC'07, Oct 2007, Annapolis, MD, United States. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00180463/file/france-composition.pdf BibTex
titre
An enterprise architecture alignment measure for telecom service development
auteur
Jacques Simonin, Yves Le Traon, Jean-Marc Jézéquel
article
EDOC'07 : the 11th IEEE international EDOC conference : Entreprise distributed object computing conference, Oct 2007, Annapolis, United States. pp.476, 2007
Accès au bibtex
BibTex
titre
Model-Driven Engineering for implementing the ISO 19100 series of international standards
auteur
Cyril Faucher, Jean-Yves Lafaye
article
CoastGIS 07, the 8th International Symposium on GIS and Computer Mapping for Coastal Zone Management, Oct 2007, Santander, Espagne. pp.424-433, 2007
Accès au bibtex
BibTex
titre
PLiBS: an Eclipse-based tool for Software Product Line Behavior Engineering
auteur
Tewfik Ziadi, Jean-Marc Jézéquel
article
3rd Workshop on Managing Variability for Software Product Lines (SPLC 2007), Sep 2007, Kyoto, Japan. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477546/file/Ziadi07a.pdf BibTex
titre
Using Aspect Oriented Modeling to localize implementation of executable models
auteur
Zaid Altahat, Tzilla Elrad, Didier Vojtisek
article
Models and Aspects workshop, at ECOOP 2007, Jul 2007, Berlin, Germany. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00460326/file/Altahat07a.pdf BibTex
titre
Integration of Time Issues into Component-Based Applications
auteur
Sébastien Saudrais, Noël Plouzeau, Olivier Barais
article
CBSE, Jul 2007, Boston, United States. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477509/file/CBSE_2007_Saudrais_et_al_46080173.pdf BibTex
titre
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles
auteur
Jean-Marie Mottu, Olivier Barais, Mark Skipper, Didier Vojtisek, Jean-Marc Jézéquel
article
8e conférence AFADL, Approches Formelles dans l'Assistance au D´eveloppement de Logiciels, 2007, Namur, Belgique, Jun 2007, France. pp. 283-285, 2007
Accès au bibtex
BibTex
titre
Model-driven Development of Complex Software: A Research Roadmap
auteur
Robert France, Bernhard Rumpe
article
FOSE '07: 2007 Future of Software Engineering, May 2007, Washington, DC, United States. IEEE Computer Society, pp.37--54, 2007, 〈10.1109/FOSE.2007.14〉
Accès au bibtex
BibTex
titre
Intégration de propriétés temporelles dans des applications à base de composants
auteur
Sébastien Saudrais, Olivier Barais, Laurence Duchien, Noël Plouzeau
article
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, Belgique. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477556/file/Saudrais07a.pdf BibTex
titre
A Generic Approach For Automatic Model Composition
auteur
Franck Fleurey, Benoit Baudry, Robert France, Sudipto Ghosh
article
Aspect Oriented Modeling (AOM) Workshop, 2007, Nashville, USA, United States. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477568/file/Fleurey07c.pdf BibTex
titre
Modelling Adaptation Policies for Self-Adaptive Component Architectures
auteur
Franck Chauvel, Olivier Barais
article
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, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477570/file/Chauvel07a.pdf BibTex
titre
Domain-specific Model Editors with Model Completion
auteur
Sagar Sen, Benoit Baudry, Hans Vangheluwe
article
In Proceedings of MPM Workshop associated to MoDELS'07, 2007, Nashville, TN, USA, United States. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477554/file/sen07a.pdf BibTex
titre
Introducing variability into Aspect-Oriented Modeling approaches
auteur
Philippe Lahire, Brice Morin, Gilles Vanwormhoudt, Alban Gaignard, Olivier Barais, Jean-Marc Jézéquel
article
In Proceedings of ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 07), 2007, Nashville, TN, USA, United States. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477562/file/Morin07b.pdf BibTex
titre
Counts count
auteur
Martin Monperrus, Joël Champeau, Brigitte Hoeltzener
article
Proceedings of the 2nd Workshop on Model Size Metrics (MSM'07) co-located with MoDELS'2007, 2007, Nashville, United States. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477563/file/Monperrus07.pdf BibTex
titre
Model-Driven Engineering for Software Migration in a Large Industrial Context
auteur
Franck Fleurey, Erwan Breton, Benoit Baudry, Alain Nicolas, Jean-Marc Jézéquel
article
MoDELS'07, 2007, Nashville, TN, USA, United States. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477566/file/fleurey07a.pdf BibTex
titre
Vigilant usage of Aspects
auteur
Freddy Munoz, Olivier Barais, Benoit Baudry
article
in Proceedings of ADI 2007 - Workshop on Aspects, Dependencies, and Interactions at ECOOP 2007, 2007, Berlin, Germany, Germany. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477559/file/Munoz07a.pdf BibTex
titre
Introduction du test dans la modélisation par aspects
auteur
Jacques Klein, Benoit Baudry, Olivier Barais, Andrew Jackson
article
Troisième Journées sur l'Ingénierie Dirigée par les Modèles (IDM'2007), 2007, Toulouse, France, France. INPT, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477564/file/klein07.pdf BibTex
titre
Monitoring your Lego Mindstorms with Giotto
auteur
Sébastien Saudrais, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel
article
in Proceedings of ARTIST International Workshop on Tool Platforms for Modeling, Analysis and Validation of Embedded Systems, 2007, Berlin, Germany, Germany. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477557/file/Saudrais07c.pdf BibTex
titre
Modeling and Aspect Weaving
auteur
Jean-Marc Jézéquel
article
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, 2007, Dagstuhl Seminar Proceedings
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477565/file/06351.JezequelJeanMarc.Paper.864.pdf BibTex
titre
Producing a Global Requirement Model from Multiple Requirement Specifications
auteur
Erwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, Bertrand Nicolas
article
EDOC'07 (Entreprise Distributed Object Computing Conference), 2007, Annapolis, MD, USA, United States. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477569/file/brottier07a.pdf BibTex
titre
Matching Model-Snippets
auteur
Rodrigo Ramos, Olivier Barais, Jean-Marc Jézéquel
article
In Proceedings of ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 07), 2007, Nashville, TN, USA, United States. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477558/file/ramos07a.pdf BibTex
titre
Towards a Generic Aspect-Oriented Modeling Framework
auteur
Brice Morin, Olivier Barais, Jean-Marc Jézéquel, Rodrigo Ramos
article
Models and Aspects workshop, at ECOOP 2007, 2007, Berlin, Germany, Germany. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00505222/file/morin07a.pdf BibTex

Book sections

titre
Generative Software Engineering
auteur
Jean-Marc Jézéquel
article
Labit, Claude. Shaping the Future: 10 years of IrisaTech, IrisaTech, pp.51--54, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512600/file/Jezequel07b.pdf BibTex

Other publications

titre
Model Driven Engineering for implementing the ISO 19100 series of international standards
auteur
Cyril Faucher, Jean-Yves Lafaye
article
http://www.coastgis07.com. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477571/file/Faucher07a.pdf BibTex
titre
Séparation des préoccupations en phase de méta-modélisation
auteur
Olivier Barais
article
http://www2.lifl.fr/~mullera/CoMo07.htm. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477555/file/Barais07b.pdf BibTex
titre
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.
auteur
Jean-Marie Mottu, Olivier Barais, Mark Skipper, Didier Vojtisek, Jean-Marc Jézéquel
article
Ce document présente succintement l'intégration du support OCL pour le langage de méta-modéli.. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477561/file/Mottu07a.pdf BibTex

Theses

titre
Performance des systèmes distribués : proposition d'une plateforme fédératrice de la supervision
auteur
Marouane Himda
article
Génie logiciel [cs.SE]. Université Rennes 1, 2007. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00538260/file/Himdi07.pdf BibTex
titre
Qualité de Service Temporelle pour Composants Logiciels
auteur
Sébastien Saudrais
article
Génie logiciel [cs.SE]. Université Rennes 1, 2007. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00538267/file/Saudrais07d.pdf BibTex
titre
Model Typing
auteur
James Steel
article
Software Engineering [cs.SE]. Université Rennes 1, 2007. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00538274/file/Steel07b.pdf BibTex

2006

Journal articles

titre
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
auteur
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion
article
Lecture notes in computer science, springer, 2006, 3844, pp.39-47. 〈10.1007/11663430_5〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00911624/file/MIPS_2006_06_ARTICLE.pdf BibTex
titre
Design by Contract to improve Software Vigilance
auteur
Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2006, 32 (8), pp.571--586
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542784/file/letraon06a.pdf BibTex
titre
Automatic Test Generation: A Use Case Driven Approach
auteur
Clémentine Nebut, F. Fleurey, Y. Le Traon, J.M. Jezequel
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2006, 32 (3), pp.140-155
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00102747/file/D647.PDF BibTex

Conference papers

titre
Reusable MDA Components: A Testing-for-Trust Approach
auteur
Jean-Marie Mottu, Benoit Baudry, Le Traon Yves
article
9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006., Oct 2006, Genova, Italy. pp. 589-603, 2006
Accès au bibtex
BibTex
titre
Model-driven analysis and synthesis of concrete syntax
auteur
Pierre-Alain Muller, Franck Fleurey, Frédéric Fondement, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel
article
Proceedings of the MoDELS/UML 2006, Oct 2006, Genova, Italy. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795597/file/Muller06a.pdf BibTex
titre
Mutation Analysis Testing for Model Transformations
auteur
Jean-Marie Mottu, Baudry Benoit, Yves Le Traon
article
European Conference on Model Driven Architecture (ECMDA 06), Jul 2006, Bilbao, Spain, Spain. pp 376 - 390, 2006
Accès au bibtex
BibTex
titre
Toward a generic and extensible merge operator
auteur
Andrew Jackson, Olivier Barais, Jean-Marc Jézéquel, Siobhán Clarke
article
Models and Aspects workshop, at ECOOP 2006, Jul 2006, Nantes, France. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795151/file/barais06b.pdf BibTex
titre
On-Demand Quality-Oriented Assistance in Component-Based Software Evolution
auteur
Chouki Tibermacine, Régis Fleurquin, Salah Sadou
article
9th International Symposium on Component-Based Software Engineering (CBSE'06), Jun 2006, Västerås, Sweden. Springer, 4063, pp.294-309, 2006, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00499531/file/CTetAl_CBSE_2006.pdf BibTex
titre
Tissage d'Aspects Comportementaux
auteur
Jacques Klein, Franck Fleurey
article
Langages et Modèles à Objets: LMO'06, Mar 2006, Nimes, France. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00511391/file/klein06b.pdf BibTex
titre
Semantic-based weaving of scenarios
auteur
Jacques Klein, Loïc Hélouët, Jean-Marc Jézéquel
article
Robert E. Filman. Proceedings of the 5th International Conference on Aspect-Oriented Software Development, Mar 2006, Bonn, Germany. ACM, pp.27-38, 2006, 〈10.1145/1119655.1119662〉
Accès au bibtex
BibTex
titre
Reifying the Semantic Domains of Component Contracts
auteur
Jean-Marc Jézéquel
article
5th IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, 2006, Braga, Portugal, Portugal. Springer SBM, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512546/file/Jezequel06c.pdf BibTex
titre
Model Driven Aspect Weaving
auteur
Jean-Marc Jézéquel
article
1st European Summer School on Aspect-oriented Software Development, 2006, Vrije Universiteit Brussel, Belgium, Belgium. 2006
Accès au bibtex
BibTex
titre
Testing Executable Themes
auteur
Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke
article
In Second Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at , 2006, Nantes, France, France. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512543/file/Jackson06a.pdf BibTex
titre
Executable Aspect Oriented Models for Improved Model Testing
auteur
Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke
article
ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., 2006, Bilbao, Spain, Spain. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512544/file/Jackson06b.pdf BibTex
titre
Composants avec Propriétés Temporelles
auteur
Sébastien Saudrais, Olivier Barais, Noël Plouzeau
article
Proceedings of the CAL 2006, 2006, Nantes, France, France. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512552/file/Saudrais06a.pdf BibTex
titre
Reverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces
auteur
Romain Delamare, Benoit Baudry, Yves Le Traon
article
Workshop on Object-Oriented Reengineering at , 2006, Nantes, France, France. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512549/file/Delamare06.pdf BibTex
titre
Mutation-based Model Synthesis in Model Driven Engineering
auteur
Sagar Sen, Benoit Baudry
article
Mutation'06 workshop associtaed to ISSRE'06, 2006, Raleigh, NC, USA, United States. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512551/file/sen06.pdf BibTex
titre
Using Model-Driven Engineering to generate QoS Monitors from a formal specification
auteur
Sébastien Saudrais, Olivier Barais, Laurence Duchien
article
Proceedings of the Aquserm 2006, 2006, Hong Kong, China, China. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512553/file/Saudrais06b.pdf BibTex
titre
Improving Test Suites for Efficient Fault Localization
auteur
Benoit Baudry, Franck Fleurey, Yves Le Traon
article
28th International Conference on Software Engineering (ICSE 06), 2006, Shanghai, China. ACM, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542783/file/baudry06a.pdf BibTex
titre
Semantic Join Point Models: Motivations, Notions and Requirements
auteur
Walter Cazzola, Jean-Marc Jézéquel, Awais Rashid
article
SPLAT 2006 (Software Engineering Properties of Languages and Aspect Technologies), 2006, Bonn, Germany, Germany. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542782/file/Cazzola06a.pdf BibTex
titre
Model Transformation Testing Challenges
auteur
Benoit Baudry, Trung Dinh-Trong, Jean-Marie Mottu, Devon Simmonds, Robert France, Sudipto Ghosh, Franck Fleurey, Yves Le Traon
article
ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., 2006, Bilbao, Spain. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542781/file/baudry06b.pdf BibTex

Book sections

titre
On Metamodels and Language Engineering
auteur
Pierre-Alain Muller
article
Jean-Philippe Babau and Joël Champeau and Sébastien Gérard. From MDD Concepts to Experiments and Illustrations, ISTE, pp.13--22, 2006, 9781905209590
Accès au bibtex
BibTex
titre
Consolidated Product Line Variability Modeling
auteur
Joachim Bayer, Sébastien Gérard, Oystein Haugen, Jason Mansell, Birger Moller-Pedersen, Jon Oldevik, Patrick Tessier, Jean-Philippe Thibault, Tanya Widen
article
Timo Käköla and Juan Duenas. Software Product Lines, Springer Verlag, 2006, 978-3-540-33252-7. 〈10.1007/978-3-540-33253-4_6〉
Accès au bibtex
BibTex
titre
Le génie logiciel et l'IDM : une approche unificatrice par les modèles
auteur
Jean-Marc Jézéquel, Sébastien Gérard, Benoit Baudry
article
J. Estublier. L'ingénierie dirigée par les modèles, Lavoisier, Hermes-science, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512541/file/Jezequel06a.pdf BibTex
titre
Patrons de conception
auteur
Jean-Marc Jézéquel
article
Akoka, Jacky and Comyn-Wattiau, Isabelle. Encyclopédie Vuibert de l'informatique, Vuibert, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512537/file/Jezequel06DP.pdf BibTex
titre
Product Line Engineering with the UML: Deriving Products
auteur
Tewfik Ziadi, Jean-Marc Jézéquel
article
K. Pohl. Software Product Lines, Springer Verlag, pp.557-588, 2006, 〈10.1007/978-3-540-33253-4_15〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512550/file/Ziadi06b.pdf BibTex
titre
System Testing of Product Lines: From Requirements to Test Cases
auteur
Clémentine Nebut, Yves Le Traon, Jean-Marc Jézéquel
article
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
BibTex
titre
System Testing of Product Families: from Requirements to Test Cases
auteur
Clémentine Nebut, Yves Le Traon, Jean-Marc Jézéquel
article
K. Pohl. Software Product Lines, Springer Verlag, pp.447--478, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512533/file/Nebut06b.pdf BibTex

Habilitation à diriger des recherches

titre
De la modélisation objet des logiciels à la metamodélisation des langages informatiques
auteur
Pierre-Alain Muller
article
Génie logiciel [cs.SE]. Université Rennes 1, 2006
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00538525/file/Muller06b.pdf BibTex

Other publications

titre
QVT : un standard de transformation pour l'Ingénierie Dirigèe par les Modèles
auteur
Didier Vojtisek
article
http://www.standarmedia.com. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00511398/file/StandardMediaQVT.pdf BibTex
titre
SpoonEMF, une brique logicielle pour l'utilisation de l'IDM dans le cadre de la réingénierie de programmes Java5
auteur
Olivier Barais
article
2 ième Journée sur l'Ingénièrie Dirigée par les Modèles. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00511393/file/barais06d.pdf BibTex
titre
L'ingénierie des modèles
auteur
Jean-Marc Jézéquel
article
Performance, Silicomp-AQL. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512547/file/Jezequel06d.pdf BibTex
titre
Multi-Language Support for Model-Driven Requirement Analysis and Test Generation
auteur
Clémentine Nebut, Benoit Baudry, Souha Kamoun, Waqas Saeed
article
2006
Accès au bibtex
BibTex

Theses

titre
Aspects Comportementaux et Tissage
auteur
Jacques Klein
article
Génie logiciel [cs.SE]. Université Rennes 1, 2006. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00538382/file/klein06c.pdf BibTex
titre
Langage et méthode pour une ingénierie des modèles fiable
auteur
Franck Fleurey
article
Génie logiciel [cs.SE]. Université Rennes 1, 2006. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00538288/file/Fleurey06a.pdf BibTex

2005

Journal articles

titre
Platform independent Web application modeling and development with Netsilon
auteur
Pierre-Alain Muller, Philippe Studer, Frédéric Fondement, Jean Bézivin
article
Software and System Modeling, Springer, 2005, 4 (4), pp.424-442. 〈10.1007/s10270-005-0091-4〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00120216/file/piwam-final.PDF BibTex

Conference papers

titre
Weaving executability into object-oriented meta-languages
auteur
Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel
article
Proceedings of MODELS/UML'2005, Oct 2005, Montego Bay, Jamaica. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795095/file/Muller05a.pdf BibTex
titre
Model typing for improving reuse in model-driven engineering
auteur
Jim Steel, Jean-Marc Jézéquel
article
Proceedings of MODELS/UML'2005, Oct 2005, Montego Bay, Jamaica. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795081/file/Steel05a.pdf BibTex
titre
On Executable Meta-Languages applied to Model Transformations
auteur
Pierre-Alain Muller, Franck Fleurey, Didier Vojtisek, Zoé Drey, Damien Pollet, Frédéric Fondement, Philippe Studer, Jean-Marc Jézéquel
article
Model Transformations In Practice Workshop, Oct 2005, Montego Bay, Jamaica. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000381/file/Muller05c.pdf BibTex
titre
Problems of the semantic-based weaving of scenarios
auteur
Jacques Klein, Jean-Marc Jézéquel
article
In Aspects and Software Product Lines: An Early Aspects Workshop at SPLC-Europe 05, Sep 2005, RENNES, France. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795065/file/Klein05b.pdf BibTex
titre
Code generation from UML models with semantic variation points
auteur
Franck Chauvel, Jean-Marc Jézéquel
article
Proceedings of MODELS/UML'2005, Jul 2005, Montego Bay, Jamaica. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795105/file/Chauvel05a.pdf BibTex
titre
Weaving behavioural models
auteur
Jacques Klein, Jean-Marc Jézéquel, Noël Plouzeau
article
In First Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at ECOOP 05, Jul 2005, Glasgow, United Kingdom. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795068/file/Klein05a.pdf BibTex
titre
Génération automatique de tests pour les transformations de modèles.
auteur
Jean-Marie Mottu, Benoit Baudry, Yves Le Traon, Erwan Brottier
article
1ères Journées sur l'Ingénierie Dirigée par les Modèles, Jun 2005, Paris, France. pp. 83-97, 2005
Accès au bibtex
BibTex
titre
Manipulation de lignes de produits logiciels : Une approche dirigée par les modèles
auteur
Tewfik Ziadi, Jean-Marc Jézéquel
article
1ère Journées sur l'Ingénierie Dirigée par les Modèles, Paris., Jun 2005, PARIS, France. 2005
Accès au bibtex
BibTex
titre
A MDA approach to model and implement transformations
auteur
Jean-Marc Jézéquel
article
Dagstuhl Seminar Proceedings, 2005, Dagstuhl, Germany. 2005
Accès au bibtex
BibTex

Other publications

titre
Le test de transformations de modèles : automatisation de l'oracle
auteur
Jean-Marie Mottu
article
Mémoire de Master. 2005
Accès au bibtex
BibTex

2004

Journal articles

titre
MTL and Umlaut NG - Engine and Framework for Model Transformation
auteur
Didier Vojtisek, Jean-Marc Jézéquel
article
ERCIM News 58, ERCIM News, 2004, ERCIM News 58, 58
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000953/file/Vojtisek04a.pdf BibTex

Conference papers

titre
Model-driven generative approach for concrete syntax composition
auteur
Pierre-Alain Muller, Philippe Studer, Jean-Marc Jézéquel
article
Proc. of OOPSLA Workshop on Best Practices for Model-Driven Development, Oct 2004, Vancouver, Canada. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795063/file/Muller04a.pdf BibTex
titre
Applying CLP to predict extra-functional properties of component-based models
auteur
Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau
article
Proceedings of Logic Programming: 20th International Conference, ICLP 2004, Sep 2004, RENNES, France. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795029/file/Defour04b.pdf BibTex
titre
Behaviors generation from product lines requirements
auteur
Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel
article
Proc. UML2004 workshop on Software Architecture Description, Sep 2004, Lisbon, Portugal. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795037/file/Ziadi04d.pdf BibTex
titre
Extra-functional contract support in components
auteur
Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau
article
Proc. of International Symposium on Component-based Software Engineering (CBSE7), May 2004, RENNES, France. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795031/file/Defour04a.pdf BibTex
titre
Revisiting statechart synthesis with an algebraic approach
auteur
Tewfic Ziadi, Loïc Hélouët, Jean-Marc Jézéquel
article
26th International Conference on Software Engineering (ICSE 04), May 2004, Edinburgh, United Kingdom. 2004
Accès au bibtex
BibTex
titre
Using UML sequence diagrams as basis for a formal test description language
auteur
Simon Pickin, Jean-Marc Jézéquel
article
Proc. of Fourth International Conference on Integrated Formal Methods IFM2004, Apr 2004, Canterbury, United Kingdom. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795028/file/Pickin04a.pdf BibTex
titre
An MDA approach to tame component based software development
auteur
Jean-Marc Jézéquel, Olivier Defour, Noël Plouzeau
article
Post Proceedings of Formal Methods for Components and Objects (FMCO'03), 2004, Leiden, Netherlands. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795036/file/Jezequel04d.pdf BibTex

2003

Journal articles

titre
Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach.
auteur
Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2003, 48 (5), pp.714-727. 〈10.1109/TAC.2003.811249〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00638224/file/BFHJ-tac03.pdf BibTex

Conference papers

titre
Reflective model driven engineering
auteur
Jean Bézivin, Nicolas Farcet, Jean-Marc Jézéquel, Benoît Langlois, Damien Pollet
article
Proceedings of UML 2003, Oct 2003, San Francisco, United States. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794864/file/Bezivin03.pdf BibTex
titre
Measuring and improving design patterns testability
auteur
Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel
article
Proceedings of Metrics Symposium 2003, Sep 2003, Sydney, Australia. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794846/file/Baudry03a.pdf BibTex
titre
Modélisation de lignes de produits en UML
auteur
Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel
article
Proc. of LMO 2003, Langages et Modèles à Objets, Feb 2003, Vannes, France. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794837/file/Ziadi03a.pdf BibTex
titre
Product line derivation with uml
auteur
Tewfik Ziadi, Jean-Marc Jézéquel, Frédéric Fondement
article
Proceedings Software Variability Management Workshop, Univ. of Groningen Departement of Mathematics and Computing Science, Feb 2003, RENNES, France. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794820/file/Ziadi03b.pdf BibTex
titre
Distributed unfoldings: a tool to address distributed discrete event systems diagnosis
auteur
Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
article
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, 2003, 〈10.1109/CDC.2003.1271731〉
Accès au bibtex
BibTex
titre
Distributed Monitoring of Concurrent and Asynchronous Systems
auteur
Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard
article
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, 2003
Accès au bibtex
BibTex
titre
Partial Order Diagnosability of Discrete Event Systems Using Petri Net Unfoldings
auteur
Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard
article
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, 2003, 〈10.1109/CDC.2003.1271732〉
Accès au bibtex
BibTex
titre
Contract spaces for trusted components
auteur
Jacques Malenfant, Noël Plouzeau, Jean-Marc Jézéquel
article
Trusted Components Workshop, 2003, Prato, Italy. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794790/file/Malenfant03.pdf BibTex
titre
Towards a UML profile for software product lines.
auteur
Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel
article
Proceedings of the Fifth International Workshop on Product Familly Engineering (PFE-5), 2003, RENNES, France. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794817/file/Ziadi03c.pdf BibTex
titre
A requirement-based approach to test product families
auteur
Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel
article
Proc. of the 5th workshop on Product Families Engineering (PFE-05), 2003, RENNES, France. 2003
Accès au bibtex
BibTex
titre
Automated requirements-based generation of test cases for product families
auteur
Clémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel
article
Proc. of the 18th IEEE International Conference on Automated Software Engineering (ASE'03), 2003, RENNES, France. 2003
Accès au bibtex
BibTex
titre
Requirements by contracts allow automated system testing
auteur
Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel
article
Proc. of the 14th. IEEE International Symposium on Software Reliability Engineering (ISSRE'03), 2003, RENNES, France. 2003
Accès au bibtex
BibTex

2002

Conference papers

titre
Oo analysis patterns as UML metalevel collaborations
auteur
Angeles Manjarrés, Simon Pickin, Gerson Sunyé, Damien Pollet, Jean-Marc Jézéquel
article
proc. of ES2002. The 22nd SGAI International Conference on Knowledge Based Systems and Applied Artificial Intelligence: Research and Development in Intelligent Systems XIX, BCS Conference Series, Dec 2002, RENNES, France. 2002
Accès au bibtex
BibTex
titre
System test synthesis from UML models of distributed software
auteur
Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec
article
Formal Techniques for Networked and Distributed Systems - FORTE 2002, Nov 2002, Houston, United States. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794606/file/Pickin02a.pdf BibTex
titre
Genes and bacteria for automatic test cases optimization in the .net environment
auteur
Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon
article
Proceedings of ISSRE02 (International Symposium on Software Reliability Engineering), Nov 2002, Annapolis, United States. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794778/file/Baudry02b.pdf BibTex
titre
Modeling behaviors in product lines
auteur
Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel
article
Proceedings of REPL'02 (workshop on Requirements Engineering for Product Lines), Sep 2002, Essen, Germany. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794596/file/Ziadi02a.pdf BibTex
titre
Reusable test requirements for UML-modeled product lines
auteur
Clémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel.
article
Proceedings of REPL'02 (workshop on Requirements Engineering for Product Lines), Sep 2002, Essen, Germany. 2002
Accès au bibtex
BibTex
titre
Product line engineering: Product derivation
auteur
Laurent Monestel, Tewfik Ziadi, Jean-Marc Jézéquel
article
Workshop on Model Driven Architecture and Product Line Engineering, associated to the SPLC2 conference, Aug 2002, San Diego, United States. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794538/file/Monestel02a.pdf BibTex
titre
Ai analysis patterns as UML meta-model constructs
auteur
Angeles Manjarrés, Gerson Sunyé, Damien Pollet, Simon Pickin, Jean-Marc Jézéquel
article
The 14th international conference on Software Engineering and Knowledge Engineering, Jul 2002, Seke, Congo - Kinshasa. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794653/file/Manjarres02a.pdf BibTex
titre
A toolkit for weaving aspect oriented UML designs
auteur
Wai Ming Ho, Jean-Marc Jézéquel, François Pennaneac'H, Noël Plouzeau
article
Proceedings of 1st ACM International Conference on Aspect Oriented Software Development, AOSD 2002, Apr 2002, Enschede, Netherlands. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794767/file/Ho02a.pdf BibTex
titre
An architecture and a process for implementing distributed collaborations
auteur
Eric Cariou, Antoine Beugnard, Jean-Marc Jézéquel
article
Proceedings of EDOC 2002, Apr 2002, Lausanne, Switzerland. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794774/file/Cariou02a.pdf BibTex
titre
Diagnosis of Asynchronous Discrete Event Systems, A~Net Unfolding Approach
auteur
Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard
article
Proceedings of the 6th Workshop on Discrete Event Systems (WODES'02), 2002, Zaragoza, Spain, Spain. pp.182-190, 2002
Accès au bibtex
BibTex
titre
From contracts to aspects in uml designs
auteur
Jean-Marc Jézéquel, Noël Plouzeau, Torben Weis, Kurt Geihs
article
Proc. of the Workshop on Aspect-Oriented Modeling with UML at AOSD'02, 2002, RENNES, France. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794758/file/Jezequel02d.pdf BibTex

Reports

titre
Modélisation de la sémantique formelle des langages de programmation en UML et OCL
auteur
Jacques Malenfant
article
RR-4499, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072089/file/RR-4499.pdf BibTex
titre
Une étude sémantique du langage QML
auteur
Jacques Malenfant
article
[Rapport de recherche] RR-4497, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072091/file/RR-4497.pdf BibTex
titre
The Design of GCCL: a Generalized Common Contract Language
auteur
Jacques Malenfant, Noël Plouzeau, Jean-Marc Jézéquel
article
[Research Report] RR-4502, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072086/file/RR-4502.pdf BibTex
titre
Synthesis of Distributed Testers from True-concurrency Models of Reactive Systems
auteur
Claude Jard
article
[Research Report] RR-4567, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072021/file/RR-4567.pdf BibTex

2001

Conference papers

titre
Towards a 'safe' use of design patterns to improve oo software testability
auteur
Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel
article
Proceedings of ISSRE 2001, Nov 2001, RENNES, France. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794514/file/Baudry01b.pdf BibTex
titre
Conformance testing from UML specifications. Experience Report
auteur
Lydie Du Bousquet, Hugues Martin, Jean-Marc Jézéquel
article
Lecture Notes in Informatics (LNI), Oct 2001, Dortmund, Germany. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794313/file/Dubousquet01a.pdf BibTex
titre
A UML-integrated test description language for component testing
auteur
Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray
article
Lecture Notes in Informatics (LNI), Oct 2001, Dortmund, Germany. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794311/file/Pickin01a.pdf BibTex
titre
UML reflections
auteur
François Pennaneac'H, Jean-Marc Jézéquel, Jacques Malenfant, Gerson Sunyé
article
Proc. of Reflection 2001, Sep 2001, Kyoto, Japan. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794325/file/Pennaneach01a.pdf BibTex
titre
Increase software trustability with self-testable classes in Java
auteur
Jean-Marc Jézéquel, D. Deveaux, P. Frison
article
Proceedings of ASWEC 2001, Aug 2001, Canberra, Australia. 2001
Accès au bibtex
BibTex
titre
Selecting an efficient OO integration testing strategy: An experimental comparison of actual strategies
auteur
Vu Le Hanh, Akif Kamel, Yves Le Traon, Jean-Marc Jézéquel
article
Proceedings of ECOOP2001, Jun 2001, Budapest, Hungary. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794533/file/Hanh01a.pdf BibTex
titre
Robustness and diagnosability of oo systems designed by contracts
auteur
Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel
article
Proceedings of Metrics'01, Apr 2001, LONDRES, United Kingdom. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794315/file/Baudry01a.pdf BibTex
titre
Refactoring UML models
auteur
Gerson Sunyé, Damien Pollet, Yves Le Traon, Jean-Marc Jézéquel
article
Proceedings of UML 2001, 2001, RENNES, France. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794510/file/Sunye01b.pdf BibTex

2000

Conference papers

titre
Building trust into oo components using a genetic analogy
auteur
Benoit Baudry, Vu Le Hanh, Jean-Marc Jézéquel, Yves Le Traon
article
Proceedings of ISSRE'2000, Oct 2000, San Jose, CA, United States. 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794307/file/Baudry00b.pdf BibTex
titre
Design pattern application in UML
auteur
Gerson Sunyé, Alain Le Guennec, Jean-Marc Jézéquel
article
ECOOP'2000 proceedings, Jun 2000, BERLIN, Germany. 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794299/file/Sunye00a.pdf BibTex
titre
Precise modeling of design patterns
auteur
Alain Le Guennec, Gerson Sunyé, Jean-Marc Jézéquel
article
Proceedings of UML 2000, 2000, YORK, United Kingdom. 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794308/file/LeGuennec00a.pdf BibTex