Jean-Claude Fernandez

An implementation of an efficient algorithm for bisimulation equivalence

Jean-Claude Fernandez · Science of Computer Programming · 1990 · 201 citations

Engineering, Formal Methods, Computer-aided Verification +7

What can you verify and enforce at runtime?

Ylìès Falcone, Jean-Claude Fernandez, Laurent Mounier · International Journal on Software Tools for Technology Transfer · 2011 · 151 citations

Program Checking, Engineering, Runtime Verification +10

An experiment in automatic generation of test suites for protocols with verification technology

Jean-Claude Fernandez, Claude Jard, Thierry Jéron et al. · Science of Computer Programming · 1997 · 146 citations

Engineering, Verification, Test Data Generation +16

Runtime enforcement monitors: composition, synthesis, and enforcement abilities

Ylìès Falcone, Laurent Mounier, Jean-Claude Fernandez et al. · Formal Methods in System Design · 2011 · 128 citations · Full text

Runtime Enforcement Monitors, Engineering, Runtime Verification +10

A toolbox for the verification of LOTOS programs

Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier et al. · 1992 · 82 citations

Engineering, Runtime Verification, Tools Aldebaran +14