Jacques Voiron

Statistics

Publications

Citations

249

H-Index

Active since

1985

Affiliations

Translational Innovation in Medicine and Complexity(Current)

Jacques Voiron is an author at Translational Innovation in Medicine and Complexity specializing in verification, formal verification, and engineering.

Top concepts

EngineeringVerificationFormal MethodsFormal VerificationSystems EngineeringAvailabilityFault ToleranceSystem SoftwareComputer ScienceHardware Systems

Publications per year

1985–2003

Publications

Active replication in Delta-4

Marc Chérèque, David Powell, Pierre-Alain Reynier et al. · 2003 · 84 citations

Availability, Engineering, Verification +21

ATP: an Algebra for Timed Processes.

Xavier Nicollin, Jean-Luc Richier, Joseph Sifakis et al. · 1990 · 75 citations

Verification in XESAR of the Sliding Window Protocol

Jean-Luc Richier, Carlos Alfaro Rodriguez, Joseph Sifakis et al. · 1987 · 74 citations

Sliding Window Protocol, Engineering, Automated Reasoning +8

Verification of protocol specificaitons using the CESAR system

J. C. Fernandez, Jean-Luc Richier, Jacques Voiron · 1985 · 16 citations

Engineering, Verification, Formal Methods +6

1–4 of 4