Validation and Test Generation for Object-Oriented Distributed Software. - Thierry Jéron; Jean-Marc Jézéquel; Alain Le Guennec (PDSE, 1998)

Validating Distributed Software Modeled with the Unified Modeling Language. - Jean-Marc Jézéquel; Alain Le Guennec; François Pennaneac'h (UML, 1998)

Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? - Roel J. Wieringa; Egidio Astesiano; Gianna Reggio; Alain Le Guennec; Heinrich Hußmann; Klaas van den Berg; Pim van den Broek (ECOOP Workshops, 1999)

UMLAUT: An Extendible UML Transformation Framework. - Wai-Ming Ho; Jean-Marc Jézéquel; Alain Le Guennec; François Pennaneac'h (ASE, 1999)

Protocol engineering using UML. - Claude Jard; Jean-Marc Jézéquel; Alain Le Guennec; Benoît Caillaud (Ann. des Télécommunications, 1999)

Design Patterns Application in UML. - Gerson Sunyé; Alain Le Guennec; Jean-Marc Jézéquel (ECOOP, 2000)

Precise Modeling of Design Patterns. - Alain Le Guennec; Gerson Sunyé; Jean-Marc Jézéquel (UML, 2000)

Using UML Action Semantics for Executable Modeling and Beyond. - Gerson Sunyé; François Pennaneac'h; Wai-Ming Ho; Alain Le Guennec; Jean-Marc Jézéquel (CAiSE, 2001)

System Test Synthesis from UML Models of Distributed Software. - Simon Pickin 001; Claude Jard; Yves Le Traon; Thierry Jéron; Jean-Marc Jézéquel; Alain Le Guennec (FORTE, 2002)

Using UML Action Semantics for model execution and transformation. - Gerson Sunyé; Alain Le Guennec; Jean-Marc Jézéquel (Inf. Syst., 2002)