A Procedural Language for the Relational Data Base Management System "Syntex". - Ephrem S. Dorkenoo; Michel Lemaître; Michel Lemoine (IFIP Congress, 1977)

Programming Development with or without Coding. - Jack Foisseau; René Jacquart; Michel Lemaître; Michel Lemoine; J. C. Vignat; Guy Zanon (IFIP Congress, 1980)

Software Transferability: A Practical Approach. - Michel Lemoine; J. Mullor (Softw. Pract. Exp., 1981)

Surveying Software Tools for a Method Driven Environment. - K. Ryan; J. A. Redmond; Donald O'Neill; Boyd Mathews; A. Hunot; Michel Lemoine; Manfred Dausmann; K. Wachsmuth (IFIP Congress, 1986)

SPRAC: A Software Engineering Environment. - Michel Lemoine; René Jacquart; Guy Zanon (STACS, 1987)

Method Driven Programming. - Jacques Cazin; René Jacquart; Michel Lemoine; P. Michel; P. Maurice (IFIP Congress, 1989)

Construction and Reuse of Formal Program Developments. - Jacques Cazin; Patrice Cros; René Jacquart; Michel Lemoine; P. Michel (TAPSOFT, Vol.2, 1991)

Validating Requirements: The Evolutionary Approach. - Michel Lemoine; D. Marre; P. Thuillier; J.-L. Wippler (COMPSAC, 1998)

A Survey: Applying Formal Methods to a Software Intensive System. - Adriaan de Groot; Jozef Hooman; Fabrice Kordon; Emmanuel Paviot-Adet; Isabelle Vernier-Mounier; Michel Lemoine; Gervais Gaudiére; Victor L. Winter; Deepak Kapur (HASE, 2001)

Managing (Requirements) Evolutions of High Assurance Systems. - Michel Lemoine; Jack Foisseau (RE, 2002)

Conclusions. - Fabrice Kordon; Michel Lemoine (Formal Methods for Embedded Distributed Systems, 2004)

From UML to Z. - Michel Lemoine; Gervais Gaudiére (Formal Methods for Embedded Distributed Systems, 2004)

The BART Case Study. - Victor L. Winter; Fabrice Kordon; Michel Lemoine (Formal Methods for Embedded Distributed Systems, 2004)

Goal-oriented Analysis of Regulations. - Robert Darimont; Michel Lemoine (ReMo2V, 2006)

Preface. - Régine Laleau; Michel Lemoine (ReMo2V, 2006)

An attempt to combine UML and formal methods to model airport security. - Yves Ledru; Régine Laleau; Michel Lemoine; Sylvie Vignes; Didier Bert; Véronique Donzeau-Gouge; Catherine Dubois; Fabien Peureux (CAiSE Forum, 2006)

Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. - Régine Laleau; Sylvie Vignes; Yves Ledru; Michel Lemoine; Didier Bert; Véronique Donzeau-Gouge; Catherine Dubois; Fabien Peureux (Softw. Process. Improv. Pract., 2006)

Using Computer Science Modeling Techniques for Airport Security Certification. - Régine Laleau; Yves Ledru; Didier Bert; Fabrice Bouquet; Michel Lemoine; Catherine Dubois; Véronique Donzeau-Gouge; Sylvie Vignes (RCIS, 2007)

Security Requirements for Civil Aviation with UML and Goal Orientation. - Robert Darimont; Michel Lemoine (REFSQ, 2007)

Can Regulatory Bodies Expect Efficient Help from Formal Methods?. - Eduardo Rafael López Ruiz; Michel Lemoine (NASA Formal Methods, 2010)

Goal-driven elaboration of OCL enriched UML class diagrams. - Robert Darimont; Christophe Ponsard; Michel Lemoine (MoDELS (Workshops), 2018)