Verification of distributed systems: an experiment. - Didier Vergamini (Formal Properties of Finite Automata and Applications, 1988)

Process Calculi, from Theory to Practice: Verification Tools. - Gérard Boudol; Valérie Roy; Robert de Simone; Didier Vergamini (Automatic Verification Methods for Finite State Systems, 1989)

AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. - Eric Madelaine; Didier Vergamini (FORTE, 1989)

Finiteness Conditions and Structural Construction of Automata for All Process Algebras. - Eric Madelaine; Didier Vergamini (CAV, 1990)

Tool Demonstration: Tools for Process Algebras. - Eric Madelaine; Didier Vergamini (FORTE, 1991)

Specification and Verification of a Sliding Window Protocol in LOTOS. - Eric Madelaine; Didier Vergamini (FORTE, 1991)

Verification of Communicating Processes by Means of Automata Reduction and Abstraction. - Eric Madelaine; Didier Vergamini (STACS, 1992)