Jacques Voiron

According to our database, Jacques Voiron authored at least 7 papers between 1976 and 1992.

Collaborative distances:

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

1992

Active Replication in Delta-4.

Marc Chérèque, David Powell, Philippe Reynier, Jean-Luc Richier, Jacques Voiron

Proceedings of the Digest of Papers: FTCS-22, 1992

1990

ATP: an Algebra for Timed Processes.

Xavier Nicollin, Jean-Luc Richier, Joseph Sifakis, Jacques Voiron

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.

Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron

Proceedings of the Formal Description Techniques, 1990

1989

What are the Limits of Model Checking Methods for the Verification of Real Life Protocols?

Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron

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

1987

Verification in XESAR of the Sliding Window Protocol.

Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron

Proceedings of the Protocol Specification, 1987

1985

Verification of protocol specificaitons using the CESAR system.

Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron

Proceedings of the Protocol Specification, 1985

1976

Méthodologie d'écriture de compilateurs - une expérience du langage ALGOL 68.

Pierre-Yves Cunin, Michel Simonet, Jacques Voiron

PhD thesis, 1976