Jacques Voiron

Publication Activity (10 Years)

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

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Marc Chérèque, David Powell, Philippe Reynier, Jean-Luc Richier, Jacques Voiron
Active Replication in Delta-4. FTCS (1992)
Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. FORTE (1990)
Xavier Nicollin, Jean-Luc Richier, Joseph Sifakis, Jacques Voiron
ATP: an Algebra for Timed Processes. Programming Concepts and Methods (1990)
Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron
What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? Automatic Verification Methods for Finite State Systems (1989)
Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron
Verification in XESAR of the Sliding Window Protocol. PSTV (1987)
Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron
Verification of protocol specificaitons using the CESAR system. PSTV (1985)