Didier Vergamini

According to our database, Didier Vergamini authored at least 7 papers between 1988 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1992

Verification of Communicating Processes by Means of Automata Reduction and Abstraction.

Eric Madelaine, Didier Vergamini

Proceedings of the STACS 92, 1992

1991

Specification and Verification of a Sliding Window Protocol in LOTOS.

Eric Madelaine, Didier Vergamini

Proceedings of the Formal Description Techniques, 1991

Tool Demonstration: Tools for Process Algebras.

Eric Madelaine, Didier Vergamini

Proceedings of the Formal Description Techniques, 1991

1990

Finiteness Conditions and Structural Construction of Automata for All Process Algebras.

Eric Madelaine, Didier Vergamini

Proceedings of the Computer-Aided Verification, 1990

1989

AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks.

Eric Madelaine, Didier Vergamini

Proceedings of the Formal Description Techniques, 1989

Process Calculi, from Theory to Practice: Verification Tools.

Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

Verification of distributed systems: an experiment.

Didier Vergamini

Proceedings of the Formal Properties of Finite Automata and Applications, 1988