A Rewriting Based Method for the Formal Verification of Microprocessors. - Michel Allemand (CHDL, 1993)

Formal Verification of Hardware using LP and Comparison with Nqthm. - Michel Allemand; Felix Nicoli; Laurence Pierre (Applied Informatics, 1994)

Formal Verification of Characteristic Properties. - Michel Allemand (TPCD, 1994)

A System for Modelling and Proving Circuits. - Michel Allemand; Solange Coupet-Grimal; Line Jakubiec; Jean-Luc Paillet (ED&TC, 1996)

Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. - Gwen Salaün; Michel Allemand; J. Christian Attiogbé (APSEC, 2001)

A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. - Gwen Salaün; Michel Allemand; J. Christian Attiogbé (COMPSAC, 2002)

Mixed Formal Specifications with PVS. - Michel Allemand; Jean-Claude Royer (IPDPS, 2002)

Specification of an Access Control System with a Formalism Combining CCS and CASL. - Gwen Salaün; Michel Allemand; J. Christian Attiogbé (IPDPS, 2002)

Foundations for a Combination of Heterogeneous Specification Components. - Gwen Salaün; Michel Allemand; J. Christian Attiogbé (Formal Methods and Component Interaction @ ICALP, 2002)