| 1992 |
|---|
| 5 | | Marc Chérèque,
David Powell,
Philippe Reynier,
Jean-Luc Richier,
Jacques Voiron:
Active Replication in Delta-4.
FTCS 1992: 28-37 |
| 1990 |
|---|
| 4 | | M. Baptista,
Susanne Graf,
Jean-Luc Richier,
Luís Rodrigues,
Carlos Rodriguez,
Paulo Veríssimo,
Jacques Voiron:
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.
FORTE 1990: 345-352 |
| 1989 |
|---|
| 3 | | 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: 275-285 |
| 1987 |
|---|
| 2 | | Jean-Luc Richier,
Carlos Rodriguez,
Joseph Sifakis,
Jacques Voiron:
Verification in XESAR of the Sliding Window Protocol.
PSTV 1987: 235-248 |
| 1985 |
|---|
| 1 | | Jean-Claude Fernandez,
Jean-Luc Richier,
Jacques Voiron:
Verification of protocol specificaitons using the CESAR system.
PSTV 1985: 71-90 |
