Skip to content
  Projet Triskell  
 

PAM's Bibliography

Document Actions

2009

A Koudry, J Champeau, D Aulagnier, and D Vojtisek (2009).
Processus de codesign UML/MARTE
Génie Logiciel - Ingéniérie dirigée par les modèles.

D Vojtisek (2009).
OpenEmbeDD : La plate-forme et ses outils d'ingénierie de modèles
Génie Logiciel - Ingéniérie dirigée par les modèles 89:31-37.

2008

A Koudri, D Aulagnier, D Vojtisek, P Soulard, C Moy, J Champeau, J Vidal, and J Le Lann (2008).
Using MARTE in a Co-Design Methodology
In: Modeling and Analysis of Real-Time and Embedded Systems with the MARTE UML profile workshop co-located with DATE'08. , Munich, Germany.

2007

Z Altahat, T Elrad, and D Vojtisek (2007).
Using Aspect Oriented Modeling to localize implementation of executable models
In: Models and Aspects workshop, at ECOOP 2007. Springer, Berlin, Germany.

O Barais, F Fleurey, P Muller, D Vojtisek, and J Jézéquel (2007).
Nouvelles fonctionnalités de Kermeta
Session Démonstrations des 3 ème Journées sur l'Ingénierie Dirigée par les Modèles

J Mottu, O Barais, M Skipper, D Vojtisek, and J Jézéquel (2007).
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.
Dixième Anniversaire de la Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07)

D Vojtisek (2007).
Weaving behavior into Metamodels with Kermeta
In Workshop on Precise Behavioral Semantics for Domain Specific Modeling Languages at OMG technical meeting

2006

B Baudry, F Fleurey, and Y Le Traon (2006).
Improving Test Suites for Efficient Fault Localization
In: To appear in proceedings of the 28th International Conference on Software Engineering (ICSE 06). ACM.

J Bayer, S Gérard, O Haugen, J Mansell, B Moller-Pedersen, J Oldevik, P Tessier, J- Thibault, and T Widen (2006).
Families Research Book
In: . Springer Verlag, chapter A Unified Conceptual Model for Product Family Variability Modelling.

Z Drey, C Faucher, F Fleurey, and D Vojtisek (2006).
Kermeta language reference manual
Manual.

Z Drey, and D Vojtisek (2006).
Kermeta EMF tutorial
Manual.

J Jézéquel, S Gérard, and B Baudry (2006).
L'ingénierie dirigée par les modèles
In: . Lavoisier, Hermes-science, chapter Le génie logiciel et l'IDM : une approche unificatrice par les modèles.

J Jézéquel (2006).
Encyclopédie Vuibert de l'informatique
In: . Vuibert, chapter Patrons de conception.

J Klein, L Hélouet, and J Jézéquel (2006).
Semantic-based Weaving of Scenarios
In: proceedings of the 5th International Conference on Aspect-Oriented Software Development (AOSD'06). ACM, Bonn, Germany.

J Klein, and F Fleurey (2006).
Tissage d'Aspects Comportementaux
In: Langages et Modèles à Objets: LMO'06, Nimes, France.

C Nebut, F Fleurey, Y Le Traon, and J Jézéquel (2006).
Automatic Test Generation: A Use Case Driven Approach
IEEE Trans. on Software Engineering 32(3):to appear.

C Nebut, Y Le Traon, and J Jézéquel (2006).
Families Research Book
In: . Springer Verlag, chapter System Testing of Product Families: from Requirements to Test Cases.

N Plouzeau (2006).
Encyclopédie Vuibert de l'informatique
In: . Vuibert, chapter Composants logiciels.

D Vojtisek (2006).
Kermeta user interface guide
Manual.

T Ziadi, and J Jézéquel (2006).
Families Research Book
In: . Springer Verlag, chapter Product Line Engineering with the UML: Products Derivation.

2005

No authors specified (2005).
IDM05, Actes des 1ères Journées sur l'Ingénierie Dirigée par les Modèles
http://planetmde.org/idm05/actes.pdf, Paris.

B Baudry, C Gaston, and S Ghosh (2005).
Report on the 2nd Workshop on Model Development and Validation – MoDeVa.
In: Satellite Events at the MoDELS'05, edited by Bruel, Jean-Michel. Springer-Verlag, Montego Bay, Jamaica, pages 32 - 38.

B Baudry, F Fleurey, R France, and R Reddy (2005).
Exploring the Relationship between Model Composition and Model Transformation
In: Aspect Oriented Modeling (AOM) Workshop, Montego Bay, Jamaica.

B Baudry, F Fleurey, J Jézéquel, and LT Yves (2005).
From Genetic to Bacteriological Algorithms for Mutation-Based Testing
Software, Testing, Verification & Reliability journal (STVR) 15(2):73-96.

B Baudry, F Fleurey, J Jézéquel, and Y Le Traon (2005).
Automatic Test Cases Optimization: a Bacteriologic Algorithm
IEEE Software 22(2):76–82.

F Chauvel, and J Jézéquel (2005).
Code Generation from UML Models with Semantic Variation Points
In: Proceedings of MODELS/UML'2005, edited by L. Briand, S. Kent. Springer, Montego Bay, Jamaica, pages –.

T Dinh-Trong, S Ghosh, R France, B Baudry, and F Fleurey (2005).
A Taxonomy of Faults for UML Designs
In: Model Design and Validation (MoDeVa) Workshop, Montego Bay, Jamaica.

J Jézéquel, N Plouzeau, and Y Le Traon (2005).
Développement de logiciel à objets avec UML
Booklet.

J Jézéquel (2005).
Model Driven Engineering for Distributed Real Time Embedded Systems
In: , edited by S. Gérard, J.-P. Babau. Hermes Science Publishing Ltd, London, chapter Real Time Components and Contracts.

J Klein, J Jézéquel, and N Plouzeau (2005).
Weaving Behavioural Models
In: In First Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at ECOOP 05, Glasgow.

J Klein, and J Jézéquel (2005).
Problems of the Semantic-based Weaving of Scenarios
In: In Aspects and Software Product Lines: An Early Aspects Workshop at SPLC-Europe 05, Rennes.

M Lawley, and J Steel (2005).
Practical Declarative Model Transformation With Tefkat
In: Model Transformations In Practice Workshop, Montego Bay, Jamaica.

J Mottu, B Baudry, Y Le Traon, and E Brottier (2005).
Génération Automatique de Test pour les Transformations de Modèles
In: 1ère Journées sur l'Ingénierie Dirigée par les Modèles, Paris.

P Muller (2005).
Application of Model Transformation
In: ARTIST2 Summer School on Component & Modelling, Testing & Verification, and Statical Analysis of Embedded Systems, Nässlingen, Sweden.

P Muller, C Dumoulin, F Fondement, and M Hassenforder (2005).
The TopModL Initiative
In: UML 2004 Satellite Activities. Springer, Montego Bay, Jamaica.

P Muller, P Studer, F Fondement, and J Bézivin (2005).
Independent Web Application Modeling and Development with Netsilon
Software and System Modeling 4(4):424–442.

P Muller (2005).
Model Driven Engineering for Distributed Real Time Embedded Systems
In: , edited by S. Gérard, J.-P. Babau, J. Champeau. Hermes Science Publishing Ltd, London,, chapter Model Transformations.

P Muller, and M Hassenforder (2005).
HUTN as a Bridge between ModelWare and GrammarWare
In: WISME Workshop, MODELS / UML'2005, Montego Bay, Jamaica.

P Muller, F Fleurey, D Vojtisek, Z Drey, D Pollet, F Fondement, P Studer, and J Jézéquel (2005).
On Executable Meta-Languages applied to Model Transformations
In: Model Transformations In Practice Workshop, Montego Bay, Jamaica.

P Muller, F Fleurey, and J Jézéquel (2005).
Weaving Executability into Object-Oriented Meta-Languages
In: Proceedings of MODELS/UML'2005, edited by L. Briand, S. Kent. Springer, Montego Bay, Jamaica, pages 264-278.

P Muller, and D Bresch (2005).
Model-Driven Architecture for Distributed and Embedded Process-Control
In: 5ème Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), Nancy.

C Nebut, and F Fleurey (2005).
Une méthode de formalisation progressive des exigences basée sur un modèle simulable
In: Langages et Modèles à Objets: LMO'05 (L'Objet logiciel, bases de données, réseaux, RSTI série l'Objet Vol. 11 N° 1-2/2005), Bern, Switzerland, pages 145-158.

A Rasse, J- Perronne, P- Muller, and B Thirion (2005).
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
In: MODEVA Workshop, MODELS / UML'2005, Montego Bay, Jamaica.

R Reddy, R France, S Ghosh, F Fleurey, and B Baudry (2005).
Model Composition - A Signature-Based Approach
In: Aspect Oriented Modeling (AOM) Workshop, Montego Bay, Jamaica.

J Steel, and J Jézéquel (2005).
Model Typing for Improving Reuse in Model-Driven Engineering
In: Proceedings of MODELS/UML'2005, edited by L. Briand, S. Kent. Springer, Montego Bay, Jamaica, pages –.

T Ziadi, and J Jézéquel (2005).
Manipulation de Lignes de Produits Logiciels : Une Approche Dirigée par les Modèles
In: 1ère Journées sur l'Ingénierie Dirigée par les Modèles, Paris.

2004

No authors specified (2004).
Approches formelles pour le développement de logiciels
Hermes-Lavoisier.

No authors specified (2004).
Modélisation objet avecUML
Eyrolles, Paris.

F Badeau, D Bert, S Boulmé, C Métayer, M- Potet, N Stouls, and L Voisin (2004).
Traduction de B vers des langages de programmation
TSI.

B Baudry, and Y Le Traon (2004).
Measuring Design Testability of a UML Class Diagram
Information & Software Technology (IST).

B Baudry, Y Le Traon, and G Sunyé (2004).
Improving the Testability of UML Diagram
In: Proc. of the 1st IEEE Int. Workshop on Testability Assesment (IWoTA 2004), pages 70-80.

J Bézivin, M Blay, M Bouzhegoub, J Estublier, J Favre, S Gérard, and J Jézéquel (2004).
Rapport de Synthèse de l'AS CNRS sur le MDA
CNRS

F Chauvel, J Jézéquel, and D Vojtisek (2004).
Validation dynamique de modèles UML avec points de variation sémantique
Génie Logiciel(69):24–30.

P Collet, D Deveaux, R Rousseau, and Y Le Traon (2004).
Contract-Based Testing: from Objects to Components
In: Proc. of the 1st IEEE Int. Workshop on Testability Assesment (IWoTA 2004).

O Defour, J Jézéquel, and N Plouzeau (2004).
Applying CLP to Predict Extra-Functional Properties of Component-Based Models
In: Proceedings of Logic Programming: 20th International Conference, ICLP 2004, edited by J. S. de Boer. Springer Heidelberg.

O Defour, J Jézéquel, and N Plouzeau (2004).
Extra-functional contract support in components
In: Proc. of International Symposium on Component-based Software Engineering (CBSE7).

F Fleurey, J Steel, and B Baudry (2004).
MDE and Validation: Testing Model Transformations
In: Proc. of the SIVOES-Modeva workshop, SIVOES (Specification Implementation and Validation Of Embedded Systems)-MoDeVa (Model Design and Validation), Rennes.

F Fleurey, B Baudry, and Y Le Traon (2004).
From testing to diagnosis: An automated approach
In: Proc. 19th IEEE International Conference on Automated Software Engineering (ASE'04), Vienna.

M Himdi (2004).
Development of Generic Probes for Functional and Extra-Functional Diagnosis
In: Supplementary proc. of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004 Student Paper), St Malo.

J Jézéquel, O Defour, and N Plouzeau (2004).
An MDA Approach to Tame Component Based Software Development
In: Post Proceedings of Formal Methods for Components and Objects (FMCO'03), edited by J. S. de Boer. Springer Heidelberg.

J Jézéquel, M Belaunde, J Bézivin, S Gérard, and P Muller (2004).
L'ingéniérie piloté par les modèles
In: . OFTA, Paris, chapter Les concepts de l'ingéniérie des modèles.

J- Jézéquel, and W Emmerich (2004).
Panel MDA in Practice
In: 26th International Conference on Software Engineering (ICSE 04), Edinburgh, UK, pages 691–692.

J Jézéquel (2004).
Perspectives on Model Driven Engineering
Invited presentation to the 11e Rencontre INRIA-Industrie - "L'ingénierie du logiciel", INRIA - Rocquencourt, France

J Klein, and N Plouzeau (2004).
Transformation of behavioral models based on compositions of sequence diagrams
In: Proceedings of Model-Driven Architecture: Foundations and Applications 2004 (MDAFA), Linkoping, Sweden, pages 255.

J Klein, B Caillaud, and L Hélouët (2004).
Merging scenarios
In: 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Linz, Austria, pages 209–226.

Y Le Traon, and B Baudry (2004).
Optimal Allocation of Testing Resources
In: Proc. of the SIVOES-Modeva workshop, SIVOES (Specification Implementation and Validation Of Embedded Systems)-MoDeVa (Model Design and Validation), Rennes.

Y Le Traon (2004).
Contribution au test de logiciels orientés-objet
Phd thesis, Habilitation à diriger les recherches de l'université de Rennes I.

D Lugato, F Maraux, Y Le Traon, C Nebut, V Normand, H Dubois, J- Pierron, and J- Gallois (2004).
Automated functional test case synthesis from thalès industrial requirements
In: Proc. of the 10th IEEE Real-Time and embedded technology and Applications Symposium, Toronto.

P Muller (2004).
Moving from general-purpose to domain-specific modelling languages
In: conférence invitée, FDL'04, Lille, France.

P Muller (2004).
The TopModL Initiative
In: conférence invitée, the Fujaba days 2004, Darmstadt.

P- Muller, D Bresch, and P Studer (2004).
Model-Driven Architecture for Automatic-Control
In: Proc. of UML 2004. Springer LNCS, Lisbon, Portugal.

P Muller, C Dumoulin, F Fondement, and M Hassenforder (2004).
The TopModL Initiative
In: 3rd Workshop in Software Model Engineering (WiSME 2004) at UML2004, Lisbon, Portugal.

P Muller, P Studer, and J Jézéquel (2004).
Model-driven generative approach for concrete syntax composition
In: Proc. of OOPSLA Workshop on Best Practices for Model-Driven Development, Vancouvers.

S Pickin, and J Jézéquel (2004).
Using UML Sequence Diagrams as Basis for a Formal Test Description Language
In: Proc. of Fourth International Conference on Integrated Formal Methods IFM2004. Springer, Canterbury, Kent, England, pages –.

J Steel, and M Lawley (2004).
An MDA Approach to Testing the Tarzan Model Transformation Engine
In: Proceedings of ISSRE04 (International Conference on Software Reliability Engineering), St Malo, France.

L Thiry, P- Muller, and M Hassenforder (2004).
Comparaison des principaux outils de métamodélisation
CARROLL Consortium, (MDD Setup deliverable, D2.1.a.), .

D Vojtisek, and J Jézéquel (2004).
MTL and Umlaut NG - Engine and Framework for Model Transformation
ERCIM News 58 58.

T Ziadi, L Hélouët, and J Jézéquel (2004).
Behaviors generation from product lines requirements
In: Proc. UML2004 workshop on Software Architecture Description.

T Ziadi (2004).
Manipulation de lignes de produits en UML
Phd thesis, Université de Rennes 1.

T Ziadi, L Hélouët, and J Jézéquel (2004).
Revisiting Statechart Synthesis with an Algebraic Approach
In: 26th International Conference on Software Engineering (ICSE 04), Edinburgh, UK, pages 242–251.

2003

B Baudry (2003).
Assemblage testable et validation de composants
Phd thesis, Université de Rennes 1.

B Baudry, Y Le Traon, G Sunyé, and J Jézéquel (2003).
Measuring and Improving Design Patterns Testability
In: Proceedings of Metrics Symposium 2003, Sydney, Australia.

A Benveniste, E Fabre, C Jard, and S Haar (2003).
Diagnosis of asynchronous discrete event systems, a net unfolding approach
IEEE Transactions on Automatic Control 48(5):714–727.

A Benveniste, S Haar, E Fabre, and C Jard (2003).
Distributed monitoring of concurrent and asynchronous systems (plenary address)
In: Proc. of CONCUR'2003, Marseille. Springer Verlag.

E Brinksma, G Coulson, I Crnkovic, A Evans, S Gérard, S Graf, H Hermanns, J Jézéquel, B Jonsson, A Ravn, P Schnoebelen, F Terrier, and A Votintseva (2003).
Component-based Design and Integration Platforms: a Roadmap
The ARTIST consortium, (IST-2001-34820), .

J Bézivin, P Valduriez, J Jézéquel, R Marvie, and J Geib (2003).
The MDA vision at INRIA
OMG, Document ad(2003-06-01), .

J Bézivin, N Farcet, J Jézéquel, B Langlois, and D Pollet (2003).
Reflective Model Driven Engineering
In: Proceedings of UML 2003, edited by P. Stevens, J. Whittle, G. Booch. Springer, San Francisco, pages 175–189.

E Cariou (2003).
Contribution à un processus de réification d'abstractions de communication
Phd thesis, Université de Rennes 1.

B Genest, L Hélouët, and A Muscholl (2003).
High-level Message Sequence Charts and Projections
In: Proc of CONCUR 2003.

L Hélouët (2003).
Distributed system requirement modeling with Message Sequence Charts: the case of the RMTP2 Protocol
International Journal of Information and Software Technology 45(11).

L Hélouët, M Zeitoun, and C Jard (2003).
Covert channels detection in protocols using scenarios
In: Proc. of SPV'03 Security Protocols Verification.

L Hélouët (2003).
Projections et Comparaisons de Scénarios
In: Proc of AFADL'2003, Approches Formelles dans l'Assistance au Développement de Logiciels, Rennes, France.

L Hélouët (2003).
Projection et comparaison de Message Sequence Charts
In: Proc. of Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2003).

C Jard (2003).
Synthesis of distributed testers from true-concurrency models of reactive systems
International Journal of Information and Software Technology 45:805–814.

J Jézéquel (2003).
Model-Driven Engineering: Basic Principles and Challenges
Invited Presentation at Formal Methods for Components and Objects (FMCO'03), Leiden, Netherlands

J Jézéquel, and H Hussman (2003).
Editorial for the Special Issue on the UML 2002 Conference
Journal on Software and System Modeling 2(3):151–152.

J Jézéquel (2003).
Model-Driven Engineering with Contracts, Patterns and Aspects
In: Tutorial Program of AOSD 2003: 2nd International Conference on Aspect-Oriented Software Development. ACM-IEEE.

C Nebut, F Fleurey, Y Le traon, and J Jézéquel (2003).
Requirements by Contracts allow Automated System Testing
In: Proc. of the 14th. IEEE International Symposium on Software Reliability Engineering (ISSRE'03).

C Nebut, S Pickin, Y Le traon, and J Jézéquel (2003).
Automated Requirements-based Generation of Test Cases for Product Families
In: Proc. of the 18th IEEE International Conference on Automated Software Engineering (ASE'03).

C Nebut, F Fleurey, Y Le Traon, and J Jézéquel (2003).
A Requirement-based Approach to Test Product Families
In: Proc. of the 5th workshop on Product Families Engineering (PFE-05). Springer Verlag.

S Pickin (2003).
Test des composants logiciels pour les télécommunications
Phd thesis, Université de Rennes 1.

N Plouzeau, J- Jézéquel, and T Weis (2003).
Final report on the QCCS method and tools
The QCCS consortium, (D333), .

B Rumpe (2003).
Model-based Testing of Object-Oriented Systems
In: Formal Methods for Components and Objects (FMCO'02), edited by J. S. de Boer, ???. Springer Heidelberg.

B Rumpe (2003).
An Agile Test-based Modeling Approach using UML
In: International Conference on Software Engineering Research and Practice (SERP'03), Las Vegas, Nevada, USA.

T Ziadi, L Hélouët, and J Jézéquel (2003).
Modélisation de lignes de produits en UML
In: Proc. of LMO 2003, Langages et Modèles à Objets, Vannes, France.

T Ziadi, L Hélouët, and J Jézéquel (2003).
Towards a UML Profile for Software Product Lines
In: Proceedings of the Fifth Internationl Workshop on Product Familly Engineering (PFE-5). Springer Verlag, pages 129–139.

T Ziadi, J Jézéquel, and F Fondement (2003).
Product Line Derivation with UML
In: Proceedings Software Variability Management Workshop, Univ. of Groningen Departement of Mathematics and Computing Science.

2002

No authors specified (2002).
Modeling and Verification of Parallel Processes, MOVEP'2002
Univ. Nantes, Nantes.

B Baudry, F Fleurey, J Jézéquel, and Y Le Traon (2002).
Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Components
In: Proceedings of ASE02 (Automated Software Engineering), Edimburgh, UK, pages 253-256.

B Baudry, F Fleurey, J Jézéquel, and Y Le Traon (2002).
Computational Intelligence for Testing .NET Components
In: Proceedings of Microsoft Summer Research Workshop, Cambridge, UK.

B Baudry, F Fleurey, J Jézéquel, and Y Le Traon (2002).
Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment
In: Proceedings of ISSRE02 (International Symposium on Software Reliability Engineering), Annapolis, USA, pages 195-206.

B Baudry, Y Le Traon, and G Sunyé (2002).
Testability Analysis of UML Class Diagram
In: Proceedings of Metrics02, Ottawa, Canada, pages 54-63.

A Benveniste, E Fabre, C Jard, and S Haar (2002).
Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach
In: WODES'02: 6th Int. Work. on Discrete Event Systems, Zaragoza, Spain.

E Cariou, A Beugnard, and J Jézéquel (2002).
An Architecture and a Process for Implementing Distributed Collaborations
In: Proceedings of EDOC 2002, Lausanne, Switzerland.

E Fabre, A Benveniste, and C Jard (2002).
Distributed Diagnosis for Large Discrete Event Dynamic Systems
In: 15th IFAC World Congress on Automatic Control, Barcelona, Spain.

K Geihs, T Weis, J- Jézéquel, and N Plouzeau (2002).
Design documentation for framework, tools and aspect weavers
The QCCS consortium, (D431), .

VL Hanh (2002).
test et modèle UML : stratégie, plan et synthèse de test
Phd thesis, Ecole doctorale MATISSE, Universite de Rennes 1.

WM Ho, J Jézéquel, F Pennaneac'h, and N Plouzeau (2002).
A Toolkit for Weaving Aspect Oriented UML Designs
In: Proceedings of 1st ACM International Conference on Aspect Oriented Software Development, AOSD 2002, Enschede, The Netherlands.

L Hélouët (2002).
Distributed system requirement modeling with Message Sequence Charts: the case of the RMTP2 Protocol
International Journal of Information and Software Technology.

L Hélouët, C Jard, and B Caillaud (2002).
An Event Structure Semantics for Message Sequence Charts
Mathematical Structures in Computer Science (MSCS) journal 12:377–403.

J Jézéquel (2002).
Traité IC2 : Langages à objets
In: . Hermès Science Publications, Paris, chapter Eiffel.

C Jard, and T Jéron (2002).
TGV: Theory, Principles and Algorithms
In: The Sixth World Conference on Integrated Design and Process Technology, Pasadena, California.

C Jard (2002).
Principles of Distributed Test Synthesis based on True-concurrency Models
In: TESTCOM'2002 : Testing Communicating Systems, Berlin, Germany.

C Jard (2002).
Synthesis of Distributed Testers from True-concurrency Models of Reactive Systems
Journal of Information and Software Technology.

J Jézéquel (2002).
Tutorial on Advanced modeling techniques: a transformation-based approach
In: CEA Summer School on MDA for Embedded System Development. CEA - ENSIETA.

J Jézéquel, N Plouzeau, and Y Le Traon (2002).
Développement de logiciel à objets avec UML
Booklet.

Y Le Traon, F Ouabdesselam, C Robach, and B Baudry (2002).
From diagnosis to diagnosability: axiomatization, measurement and application
Journal of Systems and Software.

A Manjarrés, S Pickin, G Sunyé, D Pollet, and J Jézéquel (2002).
OO Analysis Patterns as UML Metalevel Collaborations
In: proc. of ES2002. The 22nd SGAI International Conference on Knowledge Based Systems and Applied Artificial Intelligence: Research and Development in Intelligent Systems XIX. Springer-Verlag.

A Manjarrés, G Sunyé, D Pollet, S Pickin, and J Jézéquel (2002).
AI analysis patterns as UML meta-model constructs
In: proceedings of SEKE 2002. The 14th international conference on Software Engineering and Knowledge Engineering, edited by ACM Press, pages 237-238.

L Monestel, T Ziadi, and J Jézéquel (2002).
Product Line Engineering: Product Derivation
In: Workshop on Model Driven Architecture and Product Line Engineering, associated to the SPLC2 conference, San Diego.

C Nebut, S Pickin, Y Le Traon, and J Jézéquel (2002).
Reusable Test Requirements for UML-Modeled Product Lines
In: Proceedings of REPL'02 (workshop on Requirements Engineering for Product Lines), Essen, Germany.

S Pickin, C Jard, Y Le Traon, T Jéron, J Jézéquel, and A Le Guennec (2002).
System Test Synthesis from UML Models of Distributed Software
In: Formal Techniques for Networked and Distributed Systems - FORTE 2002, edited by D. Peled and M. Vardi, Houston, Texas.

N Plouzeau, and T Weis (2002).
Description of standard contracts
The QCCS consortium, (D351), .

D Pollet, D Vojtisek, and J Jézéquel (2002).
OCL as a Core UML Transformation Language
WITUML 2002 Position paper, Malaga, Spain

HW Schmidt, and RH Reussner (2002).
Parameterised Contracts and Adaptor Synthesis
In: Proc. 5th Intl Component-Based Software Engineering Workshop (CBSE5) of the ICSE Conference, IEEE.

G Sunyé, A Le Guennec, and J Jézéquel (2002).
Using UML Action Semantics for Model Execution and Transformation
Information Systems, Elsevier 27(6):445–457.

T Weis, N Plouzeau, K Geihs, A- Sassen, and J- Jézéquel (2002).
New Advances on CBSE
In: , edited by Franck Barbier. Kluwer Academic Pusblishers, chapter QCCS: Quality Controlled Component-based Software development.

T Ziadi, L Hélouët, and J Jézéquel (2002).
Modeling behaviors in Product Lines
In: Proceedings of REPL'02 (workshop on Requirements Engineering for Product Lines), Essen, Germany.

T Ziadi, B Traverson, and J Jézéquel (2002).
From a UML Platform Independent Component Model to Platform Specific Component Models
In: WiSME2002 (Workshop in Software Model Engineering) at UML2002, Dresden, Germany ,.

2001

No authors specified (2001).
Modelling and Verification of Parallel Processes
Springer.

B Baudry, Y Le Traon, and J Jézéquel (2001).
Robustness and Diagnosability of OO Systems Designed by Contracts
In: Proceedings of Metrics'01, London, UK.

B Baudry, Y Le Traon, G Sunyé, and J Jézéquel (2001).
Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability
In: Proceedings of ISSRE 2001.

D Deveaux, P Frison, and J- Jézéquel (2001).
Increase Software Trustability with Self-Testable Classes in Java
In: Proceedings of ASWEC 2001. IEEE CS Press, Canberra, Australia, pages 3-11.

D Deveaux, and Y Le Traon (2001).
XML to Manage Source Code Engineering in Object-Oriented Development: an Example
In: Proceedings of XML Technologies and Software Engineering, edited by Cecilia Mascolo and Wolfgang Emmerich and Anthony Finkelstein, Toronto, Canada, pages 28-31.

L Du Bousquet, H Martin, and J- Jézéquel (2001).
Conformance Testing from UML Specifications
In: Proceedings UML2001 wkshp: Practical UML-Based Rigorous Development Methods. Bonner Köllen Verlag.

WM Ho (2001).
Contribution à la Réification d'un Processus de Conception
Phd thesis, Ecole doctorale MATISSE, Universite de Rennes 1.

L Hélouët, C Jard, and B Caillaud (2001).
An Event Structure Semantics for Message Sequence Charts
Special issue on graph transformation in Mathematical Structures in Computer Science (MSCS) journal.

L Hélouët (2001).
Some pathological Message Sequence Charts and how to detect them
In: SDL 2001: meeting UML, 10th SDL Forum, edited by R.Reed, pages 348-364.

L Hélouët, and C Jard (2001).
Etat de l'art sur les langages de scénarios
In: MSR'2001, Colloque francophone sur la modélisation des systèmes réactifs.

L Hélouët (2001).
Détaction d'interactoin entre services modélisés par des HMSC
In: MSR'2001, Colloque francophone sur la modélisation des systèmes réactifs.

J Jézéquel, D Deveaux, and Y Le Traon (2001).
Reliable Objects: a Lightweight Approach Applied to Java
IEEE Software 18(4):76–83.

A Le Guennec (2001).
Génie Logiciel et Méthodes Formelles avec UML : Spécification, Validation et Génération de tests
Phd thesis, École doctorale MATISSE, Universite de Rennes 1.

J Malenfant, M- Segarra, and F André (2001).
Dynamic Adaptability: the MolèNE Experiment
In: Proceedings of Reflection 2001.

F Pennaneac'h, J Jézéquel, J Malenfant, and G Sunyé (2001).
UML Reflections
In: Proc. of Reflection 2001.

Fc Pennaneac'h (2001).
UML : de l'action à la réflexion
Phd thesis, Ecole doctorale MATISSE, Universite de Rennes 1.

S Pickin, C Jard, T Heuillard, J- Jézéquel, and P Desfray (2001).
A UML-integrated test description language for component testing
In: Proceedings UML2001 wkshp: Practical UML-Based Rigorous Development Methods. Bonner Köllen Verlag.

N Plouzeau, and T Weis (2001).
Description of the contract metamodel
The QCCS consortium, (D341), .

S Ramakrishnan, C Mingins, J- Jézéquel, and A Ulrich (2001).
Panel: A Framework for Distributed Component Test Certification Facility - Conformity and Compliance Testing
In: Proceedings ISSRE2001.

G Sunyé, Fc Pennaneac'h, WM Ho, A Le Guennec, and J Jézéquel (2001).
Using UML Action Semantics for Executable Modeling and Beyond
In: Advanced Information Systems Engineering — CAiSE 2001, edited by Klaus R. Dittrich and Andreas Geppert and Moira C. Norrie. Springer, Interlaken, Switzerland, pages 433-447.

G Sunyé, D Pollet, Y Le Traon, and J Jézéquel (2001).
Refactoring UML Models
In: Proceedings of UML 2001. Springer Verlag, pages 134–148.

G Texier, and N Plouzeau (2001).
Automatic Management of Sessions in Shared Spaces
Journal of Supercomputing.

H Vu Le, A Kamel, Y Le Traon, and J Jézéquel (2001).
Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies
In: Proceedings of ECOOP2001, edited by J. L. Knudsen. Springer, Budapest, Hungary, pages 381–400.

T Weis, C Becker, K Geihs, and N Plouzeau (2001).
An UML Meta Model for Contract Aware Components
In: Proceedings of UML 2001. Springer Verlag, pages 442–456.

No authors specified (2000).
SAM2000, 2nd Workshop on SDL and MSC
, Grenoble.

No authors specified (2000).
Technology of object-oriented languages and systems (TOOLS Europe)
IEEE Computer Society.

B Baudry, Y Le Traon, and H Vu Le (2000).
Testing-for-Trust: the Genetic Selection Model applied to Component Qualification
In: Proceedings of TOOLS Europe (Technology of object-oriented languages and systems). IEEE Computer Society, pages 108–119.

B Baudry, Y Le Traon, J Jézéquel, and H Vu Le (2000).
Trustable Components: Yet Another Mutation-Based Approach
In: Proceedings of the 1st Symposium on Mutation Testing (Mutation'2000), San Jose, CA, pages 69-76.

B Baudry, Y Le Traon, H Vu Le, and J Jézéquel (2000).
Building Trust into OO Components using a Genetic Analogy
In: Proceedings of ISSRE'2000 (International Symposium on Software Reliability Engineering 2000), San Jose, CA.

M Bozga, J- Fernandez, L Ghirvu, C Jard, T Jéron, A Kerbrat, P Morel, and L Mounier (2000).
Verification and test generation for the SSCOP protocol
Journal of Science of Computer Programming, Special Issue on The Application of Formal Methods in Industrial Critical Systems 36:27-52.

B Caillaud, J Talpin, J Jézéquel, A Benveniste, and C Jard (2000).
BDL: A Semantics Backbone for UML Dynamic Diagrams
Irisa/INRIA Rennes, (RR-4003), .

E Cariou (2000).
Spécification de Composants de Communication en UML
In: Objets, Composants, Modèles (OCM'2000).

E Cariou, and A Beugnard (2000).
Specification of Communication Components in UML
In: The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), session Coordination in Parallel and Distributed Applications and Activities.

D Deveaux, R Fleurquin, P Frison, J- Jézéquel, and Y Le Traon (2000).
Composants objets fiables : une approche pragmatique
L'objet 5(3–4):469–494.

T Duval, and F Pennaneac'h (2000).
Using the PAC-Amodeus model and design patterns to make interactive an existing object-oriented kernel
In: Technology of Object-Oriented Languages and Systems (TOOLS Europe). IEEE Computer Society, pages 407–418.

E Fabre, A Benveniste, C Jard, L Ricker, and M Smith (2000).
Distributed State Reconstruction for Discrete Event Systems
In: 39th IEEE Conf. on Detection and Control (CDC2000, Sydney.

WM Ho, J Jézéquel, F Pennaneac'h, and N Plouzeau (2000).
Aspect-Oriented Design with the UML
In: Proc. of the ICSE2000 Workshop on Multi-Dimensional Separation of Concerns in Software Engineering, Limerick, Ireland. IEEE Computer Society.

WM Ho, F Pennaneac'h, and N Plouzeau (2000).
UMLAUT: A Framework for Weaving UML-based Aspect-Oriented Designs
In: Technology of object-oriented languages and systems (TOOLS Europe). IEEE Computer Society, pages 324–334.

L Hélouët, and C Jard (2000).
Conditions for synthesis of communicating automata from HMSCs
In: 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), edited by Stefania Gnesi, Ina Schieferdecker, Axel Rennoch (Eds.). GMD FOKUS, Berlin.

L Hélouët, C Jard, and B Caillaud (2000).
An Effective Equivalence for Sets of Scenarios
In: Proceedings of GRATRA'2000 (joint appligraph and getgrats workshop on graph transformation systems), ETAPS 2000, edited by H. Ehrig (Eds.), Berlin.

L Hélouët (2000).
Analyse des exigences des systèmes répartis exprimées par des langages de scénarios
Phd thesis, Ecole doctorale MATISSE, Universite de Rennes 1.

L Hélouët, and P Le Maigat (2000).
Decomposition of Message Sequence Charts
In: 2nd Conference on SDL and MSC (SAM 2000).

J Jézéquel (2000).
An Object-Oriented Framework for Data Parallelism
ACM Computing Surveys 32(1es).

C Jard, and T Jéron (2000).
An educational case study in protocol verification and distributed observation
Journal of Computer Science Education, ECASP Special Issue 10(3).

C Jard, T Jéron, and P Morel (2000).
Verification of test suites
In: IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems, TestCom 2000, edited by Ural, Hasan and Probert, Robert L. and v. Bochman, Gregor, Ottawa, Canada, pages 3–18.

A Le Guennec, G Sunyé, and J Jézéquel (2000).
Precise Modeling of Design Patterns
In: Proceedings of UML 2000. Springer Verlag, pages 482–496.

A Le Guennec (2000).
Méthodes formelles avec UML
In: CFIP'2000 : Colloque Francophone sur l'Ingénierie des Protocoles. Hermes.

P Le Maigat, and L Helouet (2000).
A (Max,+) approach for time in Message Sequence Charts
In: Proc of WODES'2000 (Workshop on Discrete Event Systems).

Y Le Traon, F Ouabdesselam, and C Robach (2000).
Analyzing Testability on Data Flow Designs
In: International Symposium on Software Reliability Engineering 2000 (ISSRE'2000), San Jose, CA.

Y Le Traon, T Jéron, J Jézéquel, and P Morel (2000).
Efficient OO Integration and Regression Testing
IEEE Trans. on Reliability 49(1):12–25.

N Sato, and J Jézéquel (2000).
Implementing and Evaluating an Efficient Load Balancer for Distributed Molecular Dynamics Simulation
In: IEEE Workshop on High-Performance Scientific and Engineering Computing with Applications. IEEE Press.

G Sunyé, A Le Guennec, and J Jézéquel (2000).
Design Pattern Application in UML
In: ECOOP'2000 proceedings, edited by E. Bertino. Springer Verlag, pages 44-62.

L Tanguy, C Viho, and C Jard (2000).
Synthesizing coordination procedures for distributed testing of distributed systems
In: ICDCS Workshop Distributed System Validation and Verification (DSVV'2000), edited by Ten H. Lai, Taipei, Taiwan, ROC, pages E67-E74.

L Tanguy, C Viho, and C Jard (2000).
Un outil pour la parallélisation automatique de l'exécution répartie de cas de test
In: CFIP'2000 : Colloque Francophone sur l'Ingénierie des Protocoles, edited by J.-P. Courtiat and M. Diaz and P. Sénac. Hermes, Toulouse, France, pages 333-348.

G Texier (2000).
Gestion des interactions implicites dans les environnements de travail coopératif
Phd thesis, Ecole doctorale MATISSE, Université de Rennes 1.

1999

A Beugnard, J- Jézéquel, N Plouzeau, and D Watkins (1999).
Making Components Contract Aware
IEEE Computer 13(7).

H Canon, and C Jard (1999).
Un modèle sémantique pour la validation des logiciels objets en télécom munication
In: Colloque Francophone sur l'Ingénierie des Protocoles, CFIP 99, Nanc y, France, edited by André Schaff. Hermes, pages 83–98.

D Deveaux, and J Jézéquel (1999).
Des classes autotestables
In: LMO'99, Villefranche sur Mer.

D Deveaux, J Jézéquel, and Y Le Traon (1999).
Self-Testable Components: from Pragmatic Tests to Design-for-Testability Methodology
In: TOOLS Europe 1999. IEEE Computer Society Press.

WM Ho, J Jézéquel, A Le Guennec, and F Pennaneac'h (1999).
UMLAUT: an Extendible UML Transformation Framework
INRIA, (RR-3775), .

WM Ho, J Jézéquel, A Le Guennec, and F Pennaneac'h (1999).
UMLAUT: an Extendible UML Transformation Framework
In: Proc. Automated Software Engineering, ASE'99, Florida.

L Hélouët (1999).
A simulation model for Message Sequence Charts
In: SDL'99 : the next millenium, 9th SDL Forum, edited by Y. Lahav. Elsevier, pages 473-488.

T Jéron, J Jézéquel, Y Le Traon, and P Morel (1999).
Efficient Strategies for Integration and Regression Testing of OO Systems
In: 10th IEEE International Symposium on Software Reliability Engineering, ISSRE'99, Boca Raton, Florida.

J Jézéquel, and J Pacherie (1999).
Object-Oriented Application Frameworks
In: . John Wiley & Sons, New York, chapter EPEE: A Framework for Supercomputing.

J- Jézéquel, M Train, and C Mingins (1999).
Design Patterns and Contracts
Addison-Wesley.

J Jézéquel (1999).
Reifying Variants in Configuration Management
ACM Transaction on Software Engineering and Methodology 8(3):284–295.

J Jézéquel, and N Sato (1999).
A Simple Dynamic Load-Balancing Scheme for Parallel Molecular Dynamics Simulation on Distributed Memory Machines
In: High-Performance Computing and Network. Springer-Verlag, pages ???–???.

C Jard, J Jézéquel, A Le Guennec, and B Caillaud (1999).
Protocol Engineering using UML
Annales des Telecoms 54(11–12):526–538.

C Jard, T Jéron, L Tanguy, and C Viho (1999).
Remote testing can be as powerful as local testing
In: Formal methods for protocol engineering and distributed systems, FORTE XII/ PSTV XIX' 99, Beijing, China, edited by Jianping Wu and Samuel Chanson and Qiang Gao. Kluwer Academic Publishers, pages 25–40.

T Jéron, C Jard, C Viho, B Caillaud, H Kahlouche, P Morel, J- Fernandez, A Kerbrat, and B M (1999).
Génération automatique de tests pour les protocoles : l'exemple de l'approche formelle de TGV
Revue Electronique et Electricité.

G Texier, and N Plouzeau (1999).
Automatic Management of Sessions in Shared Spaces
In: Proceedings of International Conference on Paralle l and Distributed Processing Techniques and Applications (PDPTA'99), edited by CSREA Press.

A Aghasaryan, E Fabre, A Benveniste, R Boubour, and C Jard (1998).
A "hybrid" stochastic Petri net approach to fault di agnosis in large distributed systems
In: Mathematical Theory of Networks and Systems, MNTS'98, Padova, Italy.

A Benveniste, C Jard, and S Gaubert (1998).
Algebraic techniques for timed systems
In: 9th International Conference on Concurrency Theory, Concur'98, Nice, France.

A Benveniste, S Gaubert, and C Jard (1998).
Monotone rational series and Max-plus algebraic models of real-time systems
In: 4th Workshop on Discrete Event Systems, Wodes'98, Cagliari, Italy.

E Fabre, A Aghasaryan, A Benveniste, R Boubour, and C Jard (1998).
Fault detection and diagnosis in distributed systems : an approach by partially stochastic Petri nets
Journal of Discrete Events Dynamic Systems 8:203–231.

L Hélouët, C Jard, and B Caillaud (1998).
Une notion effective d'équivalence pour des familles de scenarios représentées par des HMSC
In: Approches Formelles dans l'Assistance au Développement de Logiciel, Afadl'98, Poitiers, France.

T Jéron, J Jézéquel, and A Le Guennec (1998).
Validation and Test Generation for Object-Oriented Distributed Software
In: IEEE Proc. Parallel and Distributed Software Engineering, PDSE'98, Kyoto, Japan.

J Jézéquel (1998).
Reifying Configuration Management for Object-Oriented Software
In: International Conference on Software Engineering, ICSE'20, Kyoto, Japan.

J Jézéquel (1998).
Object-Oriented Design of Real-Time Telecom Systems
In: IEEE International Symposium on Object-oriented Real-time distributed Computing, ISORC'98, Kyoto, Japan.

J Jézéquel (1998).
Conception par objets d'applications parallèles réparties
In: 6ème Forum ORAP.

J Jézéquel, A Le Guennec, and F Pennaneac'h (1998).
Validating Distributed Software Modelled with UML
In: Proc. Int. Workshop UML98, Mulhouse, France.

J Jézéquel (1998).
About the Notion of Contractable Components
In: Workshop on Trusted Components, TOOLS Pacific'98.

C Jard, J Jézéquel, and F Pennaneac'h (1998).
Vers l'utilisation d'outils de validation de protocoles dans UML
Technique et Science Informatique 17(9).

C Jard, T Jéron, H Kahlouche, and C Viho (1998).
Towards automatic distribution of testers for distributed conformance testing
In: IFIP TC6/WG6.1 Joint International Conference on formal description techniques (Forte XI), and protocol specification, testing and verification (Pstv XVIII), Paris, France.

C Jard, and T Jéron (1998).
Verification and distributed observation of the alternating bit protocol
In: IFIP TC6/WG6.1 Joint International Conference on formal description techniques (Forte XI), and protocol specification, testing and verification (Pstv XVIII), special session on educational case studies in protocols, Paris, France.

S Lorcy, and N Plouzeau (1998).
Utilisation d'un modèle de contrats pour la réalisation d'applications réparties
In: Actes des dixièmes Rencontres Francophones du Parallélisme, des Architectures et des Systèmes (Renpar'10), Strasbourg, France, pages 25–28.

S Lorcy, and N Plouzeau (1998).
A Distributed Algorithm for Managing Group Membership with Multiple Groups
In: Proc. of the Int. Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA `98), Las Vegas, Nevada, pages 1643–1649.

S Lorcy, and N Plouzeau (1998).
An Object-Oriented Framework for Managing the Quality of Service of Distributed Applications
In: Proc. of the 4th Int. Euro-Par Conference (EURO-Par'98), LNCS 1470, Southampton, UK, pages 738–741.

S Lorcy, N Plouzeau, and J Jézéquel (1998).
Reifying Quality of Service Contracts for Distributed Software
In: 26th Conference on Technology of Object-Oriented Systems (TOOLS USA'98).

J- Talpin, A Benveniste, B Caillaud, C Jard, Z Bouziane, and H Canon (1998).
BDL, a Language of Distributed Reactive Objects
In: ISORC'98, The 1st IEEE International Symposium on Object-oriented Real-time Distributed Computing, Kyoto, Japan.