An Example of Specification and Verification in Cesar. - Jean-Claude Fernandez; Jean-Philippe Schwartz; Joseph Sifakis (The Analysis of Concurrent Systems, 1983)

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

ALDEBARAN : un système de vérification par réduction de processus communicants. (Aldebaran : a system of verification of communicating processes by using reduction). - Jean-Claude Fernandez (1988)

An Implementation of an Efficient Algorithm for Bisimulation Equivalence. - Jean-Claude Fernandez (Sci. Comput. Program., 1989)

Minimal Model Generation. - Ahmed Bouajjani; Jean-Claude Fernandez; Nicolas Halbwachs (CAV, 1990)

Verifying Bisimulations "On the Fly". - Jean-Claude Fernandez; Laurent Mounier (FORTE, 1990)

"On the Fly" Verification of Behavioural Equivalences and Preorders. - Jean-Claude Fernandez; Laurent Mounier (CAV, 1991)

A Tool Set for deciding Behavioral Equivalences. - Jean-Claude Fernandez; Laurent Mounier (CONCUR, 1991)

Safety for Branching Time Semantics. - Ahmed Bouajjani; Jean-Claude Fernandez; Susanne Graf; Carlos Rodríguez; Joseph Sifakis (ICALP, 1991)

A Toolbox for the Verification of LOTOS Programs. - Jean-Claude Fernandez; Hubert Garavel; Laurent Mounier; Anne Rasse; Carlos Rodríguez; Joseph Sifakis (ICSE, 1992)

On-the-fly Verification of Finite Transition Systems. - Jean-Claude Fernandez; Laurent Mounier; Claude Jard; Thierry Jéron (Formal Methods Syst. Des., 1992)

Minimal State Graph Generation. - Ahmed Bouajjani; Jean-Claude Fernandez; Nicolas Halbwachs; Pascal Raymond (Sci. Comput. Program., 1992)

Symbolic Equivalence Checking. - Jean-Claude Fernandez; Alain Kerbrat; Laurent Mounier (CAV, 1993)

Abstract Interpretation and Verification of Reactive Systems. - Jean-Claude Fernandez (WSA, 1993)

Model-Based Verification Methods and Tools (Abstract). - Jean-Claude Fernandez; Joseph Sifakis; Robert de Simone (CONCUR, 1994)

An Algorithm for Reducing Binary Branchings. - Paul Caspi; Jean-Claude Fernandez; Alain Girault (FSTTCS, 1995)

Validation par évaluation sur un modèle : méthodes et algorithmes. - Jean-Claude Fernandez (1996)

CADP - A Protocol Validation and Verification Toolbox. - Jean-Claude Fernandez; Hubert Garavel; Alain Kerbrat; Laurent Mounier; Radu Mateescu 001; Mihaela Sighireanu (CAV, 1996)

Using On-The-Fly Verification Techniques for the Generation of test Suites. - Jean-Claude Fernandez; Claude Jard; Thierry Jéron; César Viho (CAV, 1996)

An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. - Jean-Claude Fernandez; Claude Jard; Thierry Jéron; César Viho (Sci. Comput. Program., 1997)

Protocol Verification with the ALDÉBARAN Toolset. - Marius Bozga; Jean-Claude Fernandez; Alain Kerbrat; Laurent Mounier (Int. J. Softw. Tools Technol. Transf., 1997)

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Susanne Graf; Jean-Pierre Krimm; Laurent Mounier (World Congress on Formal Methods, 1999)

IF: An intermediate representation for SDL and its applications. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Susanne Graf; Jean-Pierre Krimm; Laurent Mounier; Joseph Sifakis (SDL Forum, 1999)

IF: A Validation Environment for Timed Asynchronous Systems. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Susanne Graf; Jean-Pierre Krimm; Laurent Mounier (CAV, 2000)

A Transformational Approach for Generating Non-linear Invariants. - Saddek Bensalem; Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Yassine Lakhnech (SAS, 2000)

Verification and test generation for the SSCOP protocol. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Claude Jard; Thierry Jéron; Alain Kerbrat; Pierre Morel; Laurent Mounier (Sci. Comput. Program., 2000)

A Parallel Implementation of H.26L Video Encoder (Research Note). - Jean-Claude Fernandez; Manuel P. Malumbres (Euro-Par, 2002)

Property Oriented Test Case Generation. - Jean-Claude Fernandez; Laurent Mounier; Cyril Pachon (FATES, 2003)

State space reduction based on live variables analysis. - Jean-Claude Fernandez; Marius Bozga; Lucian Ghirvu (Sci. Comput. Program., 2003)

Using static analysis to improve automatic test generation. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu (Int. J. Softw. Tools Technol. Transf., 2003)

Fine Grain QoS Control for Multimedia Application Software. - Jacques Combaz; Jean-Claude Fernandez; Thierry Lepley; Joseph Sifakis (DATE, 2005)

QoS control for optimality and safety. - Jacques Combaz; Jean-Claude Fernandez; Thierry Lepley; Joseph Sifakis (EMSOFT, 2005)

A Model-Based Approach for Robustness Testing. - Jean-Claude Fernandez; Laurent Mounier; Cyril Pachon (TestCom, 2005)

A Test Calculus Framework Applied to Network Security Policies. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier; Jean-Luc Richier (FATES/RV, 2006)

Confirmation of deadlock potentials detected by runtime analysis. - Saddek Bensalem; Jean-Claude Fernandez; Klaus Havelund; Laurent Mounier (PADTAD, 2006)

Test Generation for Network Security Rules. - Vianney Darmaillacq; Jean-Claude Fernandez; Roland Groz; Laurent Mounier; Jean-Luc Richier (TestCom, 2006)

Non-transparent debugging for software-pipelined loops. - Hugo Venturini; Frédéric Riss; Jean-Claude Fernandez; Miguel Santana (CASES, 2007)

Using Speed Diagrams for Symbolic Quality Management. - Jacques Combaz; Jean-Claude Fernandez; Joseph Sifakis; Loïc Strus (IPDPS, 2007)

A Compositional Testing Framework Driven by Partial Specifications. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier; Jean-Luc Richier (TestCom/FATES, 2007)

Using neural networks for quality management. - Mohamad Jaber 001; Jacques Combaz; Loïc Strus; Jean-Claude Fernandez (ETFA, 2008)

Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier (ICISS, 2008)

A fully-non-transparent approach to the code location problem. - Hugo Venturini; Frédéric Riss; Jean-Claude Fernandez; Miguel Santana (SCOPES, 2008)

j-POST: a Java Toolchain for Property-Oriented Software Testing. - Yliès Falcone; Laurent Mounier; Jean-Claude Fernandez; Jean-Luc Richier (MBT@ETAPS, 2008)

Symbolic quality control for multimedia applications. - Jacques Combaz; Jean-Claude Fernandez; Joseph Sifakis; Loïc Strus (Real Time Syst., 2008)

Runtime Verification of Safety-Progress Properties. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier (RV, 2009)

Enforcement monitoring wrt. the safety-progress classification of properties. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier (SAC, 2009)

Runtime enforcement monitors: composition, synthesis, and enforcement abilities. - Yliès Falcone; Laurent Mounier; Jean-Claude Fernandez; Jean-Luc Richier (Formal Methods Syst. Des., 2011)

More testable properties. - Yliès Falcone; Jean-Claude Fernandez; Thierry Jéron; Hervé Marchand; Laurent Mounier (Int. J. Softw. Tools Technol. Transf., 2012)

What can you verify and enforce at runtime? - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier (Int. J. Softw. Tools Technol. Transf., 2012)

On the Expressiveness of some Runtime Validation Techniques. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier (HOWARD-60, 2014)

Efficient and Generalized Decentralized Monitoring of Regular Languages. - Yliès Falcone; Tom Cornebize; Jean-Claude Fernandez (FORTE, 2014)

Runtime-behavior based malware classification using online machine learning. - Abdurrahman Pektas; Tankut Acarman; Yliès Falcone; Jean-Claude Fernandez (WorldCIS, 2015)