Didier Vergamini

Publication Activity (10 Years)

Years Active: 1988-1992
Publications (10 Years): 0

Publications

Eric Madelaine, Didier Vergamini
Verification of Communicating Processes by Means of Automata Reduction and Abstraction. STACS (1992)
Eric Madelaine, Didier Vergamini
Specification and Verification of a Sliding Window Protocol in LOTOS. FORTE (1991)
Eric Madelaine, Didier Vergamini
Tool Demonstration: Tools for Process Algebras. FORTE (1991)
Eric Madelaine, Didier Vergamini
Finiteness Conditions and Structural Construction of Automata for All Process Algebras. CAV (1990)
Eric Madelaine, Didier Vergamini
Finiteness Conditions and Structural Construction of Automata for All Process Algebras. CAV (DIMACS/AMS volume) (1990)
Eric Madelaine, Didier Vergamini
AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. FORTE (1989)
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)
Didier Vergamini
Verification of distributed systems: an experiment. Formal Properties of Finite Automata and Applications (1988)