| |
| 1992 | ||
|---|---|---|
| 7 | Eric Madelaine, Didier Vergamini: Verification of Communicating Processes by Means of Automata Reduction and Abstraction. STACS 1992: 613-614 | |
| 1991 | ||
| 6 | Eric Madelaine, Didier Vergamini: Tool Demonstration: Tools for Process Algebras. FORTE 1991: 463-466 | |
| 5 | Eric Madelaine, Didier Vergamini: Specification and Verification of a Sliding Window Protocol in LOTOS. FORTE 1991: 495-510 | |
| 1990 | ||
| 4 | Eric Madelaine, Didier Vergamini: Finiteness Conditions and Structural Construction of Automata for All Process Algebras. CAV 1990: 353-363 | |
| 1989 | ||
| 3 | Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini: Process Calculi, from Theory to Practice: Verification Tools. Automatic Verification Methods for Finite State Systems 1989: 1-10 | |
| 2 | Eric Madelaine, Didier Vergamini: AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. FORTE 1989: 61-66 | |
| 1988 | ||
| 1 | Didier Vergamini: Verification of distributed systems: an experiment. Formal Properties of Finite Automata and Applications 1988: 249-259 | |
| 1 | Gérard Boudol | [3] |
| 2 | Eric Madelaine | [2] [4] [5] [6] [7] |
| 3 | Valérie Roy | [3] |
| 4 | Robert de Simone | [3] |