Design and Principles of a Fault Tolerant System. - L. Boi; P. Michel (ICSE, 1978)

An Approach to a Fault-Tolerant System Architecture. - L. Boi; P. Michel (ISCA, 1978)

The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic. - Jacques Cazin; René Jacquart; P. Michel (ER, 1985)

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)

Comparison of Conventional and Fuzzy Control of Indoor Air Quality in Buildings. - Anastasios I. Dounis; M. Bruant; M. Santamouris; Gérard Guarracino; P. Michel (J. Intell. Fuzzy Syst., 1996)