Didier Vergamini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1989–1992
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1992 | STACS | Verification of Communicating Processes by Means of Automata Reduction and Abstraction. | Eric Madelaine, Didier Vergamini |
| 1991 | FORTE | Tool Demonstration: Tools for Process Algebras. | Eric Madelaine, Didier Vergamini |
| 1991 | FORTE | Specification and Verification of a Sliding Window Protocol in LOTOS. | Eric Madelaine, Didier Vergamini |
| 1990 | CAV | Finiteness Conditions and Structural Construction of Automata for All Process Algebras. | Eric Madelaine, Didier Vergamini |
| 1989 | FORTE | AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. | Eric Madelaine, Didier Vergamini |