Jean-Claude Fernandez

Publication Activity (10 Years)

Years Active: 1983-2015
Publications (10 Years): 0

Top Venues

Int. J. Softw. Tools Technol. Transf.

FORTE

WorldCIS

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Abdurrahman Pektas, Tankut Acarman, Yliès Falcone, Jean-Claude Fernandez
Runtime-behavior based malware classification using online machine learning. WorldCIS (2015)
Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez
Efficient and Generalized Decentralized Monitoring of Regular Languages. FORTE (2014)
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
What can you verify and enforce at runtime? Int. J. Softw. Tools Technol. Transf. 14 (3) (2012)
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
More testable properties. Int. J. Softw. Tools Technol. Transf. 14 (4) (2012)
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier
Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods Syst. Des. 38 (3) (2011)
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
More Testable Properties. ICTSS (2010)
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
Enforcement monitoring wrt. the safety-progress classification of properties. SAC (2009)
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
Runtime Verification of Safety-Progress Properties. RV (2009)
Mohamad Jaber, Jacques Combaz, Loïc Strus, Jean-Claude Fernandez
Using neural networks for quality management. ETFA (2008)
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. ICISS (2008)
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus
Symbolic quality control for multimedia applications. Real Time Syst. 40 (1) (2008)
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier
j-POST: a Java Toolchain for Property-Oriented Software Testing. Electron. Notes Theor. Comput. Sci. 220 (1) (2008)
Hugo Venturini, Frédéric Riss, Jean-Claude Fernandez, Miguel Santana
A fully-non-transparent approach to the code location problem. SCOPES (2008)
Hugo Venturini, Frédéric Riss, Jean-Claude Fernandez, Miguel Santana
Non-transparent debugging for software-pipelined loops. CASES (2007)
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus
Using Speed Diagrams for Symbolic Quality Management. IPDPS (2007)
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
A Compositional Testing Framework Driven by Partial Specifications. TestCom/FATES (2007)
Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier
Confirmation of deadlock potentials detected by runtime analysis. PADTAD (2006)
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
A Test Calculus Framework Applied to Network Security Policies. FATES/RV (2006)
Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier
Test Generation for Network Security Rules. TestCom (2006)
Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis
Fine Grain QoS Control for Multimedia Application Software. DATE (2005)
Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis
QoS control for optimality and safety. EMSOFT (2005)
Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
A Model-Based Approach for Robustness Testing. TestCom (2005)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
Using static analysis to improve automatic test generation. Int. J. Softw. Tools Technol. Transf. 4 (2) (2003)
Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
Property Oriented Test Case Generation. FATES (2003)
Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu
State space reduction based on live variables analysis. Sci. Comput. Program. 47 (2-3) (2003)
Jean-Claude Fernandez, Manuel P. Malumbres
A Parallel Implementation of H.26L Video Encoder (Research Note). Euro-Par (2002)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier
Verification and test generation for the SSCOP protocol. Sci. Comput. Program. 36 (1) (2000)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
IF: A Validation Environment for Timed Asynchronous Systems. CAV (2000)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
Using Static Analysis to Improve Automatic Test Generation. TACAS (2000)
Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech
A Transformational Approach for Generating Non-linear Invariants. SAS (2000)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis
IF: An intermediate representation for SDL and its applications. SDL Forum (1999)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. World Congress on Formal Methods (1999)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
State Space Reduction Based on Live Variables Analysis. SAS (1999)
Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Sci. Comput. Program. 29 (1-2) (1997)
Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
Protocol Verification with the ALDÉBARAN Toolset. Int. J. Softw. Tools Technol. Transf. 1 (1-2) (1997)
Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
Using On-The-Fly Verification Techniques for the Generation of test Suites. CAV (1996)
Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
CADP - A Protocol Validation and Verification Toolbox. CAV (1996)
Paul Caspi, Jean-Claude Fernandez, Alain Girault
An Algorithm for Reducing Binary Branchings. FSTTCS (1995)
Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone
Model-Based Verification Methods and Tools (Abstract). CONCUR (1994)
Jean-Claude Fernandez
Abstract Interpretation and Verification of Reactive Systems. WSA (1993)
Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
Symbolic Equivalence Checking. CAV (1993)
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond
Minimal State Graph Generation. Sci. Comput. Program. 18 (3) (1992)
Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron
On-the-fly Verification of Finite Transition Systems. Formal Methods Syst. Des. 1 (2/3) (1992)
Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis
A Toolbox for the Verification of LOTOS Programs. ICSE (1992)
Jean-Claude Fernandez, Laurent Mounier
"On the Fly" Verification of Behavioural Equivalences and Preorders. CAV (1991)
Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis
Safety for Branching Time Semantics. ICALP (1991)
Jean-Claude Fernandez, Laurent Mounier
A Tool Set for deciding Behavioral Equivalences. CONCUR (1991)
Jean-Claude Fernandez, Laurent Mounier
Verifying Bisimulations "On the Fly". FORTE (1990)
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs
Minimal Model Generation. CAV (1990)
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs
Minimal Model Generation. CAV (DIMACS/AMS volume) (1990)
Jean-Claude Fernandez
An Implementation of an Efficient Algorithm for Bisimulation Equivalence. Sci. Comput. Program. 13 (1) (1989)
Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron
Verification of protocol specificaitons using the CESAR system. PSTV (1985)
Jean-Claude Fernandez, Jean-Philippe Schwartz, Joseph Sifakis
An Example of Specification and Verification in Cesar. The Analysis of Concurrent Systems (1983)

Jean-Claude Fernandez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jean-Claude Fernandez