Temporal verification of behavioral descriptions in VHDL. - Djamel Boussebha; Norbert Giambiasi; Janine Magnier (EURO-DAC, 1992)

Temporal and Functional Verification of a Symbolic Representation of Complex Systems. - Mireille Larnac; Janine Magnier; Eric Vandermeulen; Gérard Dray; Vincent Chapurlat (EUROCAST, 1995)

Formal Representation and Proof of the Interpreted Sequential Machine Model. - Mireille Larnac; Vincent Chapurlat; Janine Magnier; Benjamin Chenot (EUROCAST, 1997)

User defined multi-criteria added-value for enterprise processes analysis. - Didier Crestani; C. Covès; François Prunet; D. Chalvet; Merlin Gerin Alès; Vincent Chapurlat; Mireille Larnac; Janine Magnier (SMC, 1998)

Simplification of Proof Procedures Based on the Path Condition Concepts. - Mireille Larnac; Janine Magnier; Vincent Chapurlat (EUROCAST, 1999)

A process for improving multi-technology system high level design: modeling, verification and validation of complex optronic systems. - Frédérick Bénaben; Mireille Larnac; Jean-Paul Pignon; Janine Magnier (SMC, 2000)