Méthodologie d'écriture de compilateurs - une expérience du langage ALGOL 68. - Pierre-Yves Cunin; Michel Simonet; Jacques Voiron (1976)

Verification of protocol specificaitons using the CESAR system. - Jean-Claude Fernandez; Jean-Luc Richier; Jacques Voiron (PSTV, 1985)

Verification in XESAR of the Sliding Window Protocol. - Jean-Luc Richier; Carlos Rodríguez; Joseph Sifakis; Jacques Voiron (PSTV, 1987)

What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? - Susanne Graf; Jean-Luc Richier; Carlos Rodríguez; Jacques Voiron (Automatic Verification Methods for Finite State Systems, 1989)

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 Rodríguez; Paulo Veríssimo; Jacques Voiron (FORTE, 1990)

ATP: an Algebra for Timed Processes. - Xavier Nicollin; Jean-Luc Richier; Joseph Sifakis; Jacques Voiron (Programming Concepts and Methods, 1990)

Active Replication in Delta-4. - Marc Chérèque; David Powell; Philippe Reynier; Jean-Luc Richier; Jacques Voiron (FTCS, 1992)