Jean-Claude Fernandez

According to our database, Jean-Claude Fernandez authored at least 52 papers between 1983 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Runtime-behavior based malware classification using online machine learning.

Abdurrahman Pektas, Tankut Acarman, Yliès Falcone, Jean-Claude Fernandez

Proceedings of the 2015 World Congress on Internet Security, 2015

2014

Efficient and Generalized Decentralized Monitoring of Regular Languages.

Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

On the Expressiveness of some Runtime Validation Techniques.

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2012

What can you verify and enforce at runtime?

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier

Int. J. Softw. Tools Technol. Transf., 2012

More testable properties.

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier

Int. J. Softw. Tools Technol. Transf., 2012

2011

Runtime enforcement monitors: composition, synthesis, and enforcement abilities.

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier

Formal Methods Syst. Des., 2011

2009

Enforcement monitoring wrt. the safety-progress classification of properties.

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Runtime Verification of Safety-Progress Properties.

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier

Proceedings of the Runtime Verification, 9th International Workshop, 2009

2008

Symbolic quality control for multimedia applications.

Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus

Real Time Syst., 2008

j-POST: a Java Toolchain for Property-Oriented Software Testing.

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier

Proceedings of the Fourth Workshop on Model Based Testing, 2008

A fully-non-transparent approach to the code location problem.

Hugo Venturini, Frédéric Riss, Jean-Claude Fernandez, Miguel Santana

Proceedings of the 11th International Workshop on Software and Compilers for Embedded Systems, 2008

Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier

Proceedings of the Information Systems Security, 4th International Conference, 2008

Using neural networks for quality management.

Mohamad Jaber, Jacques Combaz, Loïc Strus, Jean-Claude Fernandez

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007

A Compositional Testing Framework Driven by Partial Specifications.

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier

Proceedings of the Testing of Software and Communicating Systems, 2007

Using Speed Diagrams for Symbolic Quality Management.

Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Non-transparent debugging for software-pipelined loops.

Hugo Venturini, Frédéric Riss, Jean-Claude Fernandez, Miguel Santana

Proceedings of the 2007 International Conference on Compilers, 2007

2006

Test Generation for Network Security Rules.

Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier

Proceedings of the Testing of Communicating Systems, 2006

Confirmation of deadlock potentials detected by runtime analysis.

Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

A Test Calculus Framework Applied to Network Security Policies.

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

A Model-Based Approach for Robustness Testing.

Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon

Proceedings of the Testing of Communicating Systems, 2005

QoS control for optimality and safety.

Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis

Proceedings of the EMSOFT 2005, 2005

Fine Grain QoS Control for Multimedia Application Software.

Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis

Proceedings of the 2005 Design, 2005

2003

Using static analysis to improve automatic test generation.

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu

Int. J. Softw. Tools Technol. Transf., 2003

State space reduction based on live variables analysis.

Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu

Sci. Comput. Program., 2003

Property Oriented Test Case Generation.

Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon

Proceedings of the Formal Approaches to Software Testing, 2003

2002

A Parallel Implementation of H.26L Video Encoder (Research Note).

Jean-Claude Fernandez, Manuel P. Malumbres

Proceedings of the Euro-Par 2002, 2002

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 Transformational Approach for Generating Non-linear Invariants.

Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech

Proceedings of the Static Analysis, 7th International Symposium, 2000

IF: A Validation Environment for Timed Asynchronous Systems.

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

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

Proceedings of the SDL '99 The Next Millennium, 1999

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

Proceedings of the FM'99 - Formal Methods, 1999

1997

Protocol Verification with the ALDÉBARAN Toolset.

Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier

Int. J. Softw. Tools Technol. Transf., 1997

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

1996

Using On-The-Fly Verification Techniques for the Generation of test Suites.

Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

CADP - A Protocol Validation and Verification Toolbox.

Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Validation par évaluation sur un modèle : méthodes et algorithmes.

Jean-Claude Fernandez

, 1996

1995

An Algorithm for Reducing Binary Branchings.

Paul Caspi, Jean-Claude Fernandez, Alain Girault

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

1994

Model-Based Verification Methods and Tools (Abstract).

Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone

Proceedings of the CONCUR '94, 1994

1993

Abstract Interpretation and Verification of Reactive Systems.

Jean-Claude Fernandez

Proceedings of the Static Analysis, Third International Workshop, 1993

Symbolic Equivalence Checking.

Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Minimal State Graph Generation.

Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond

Sci. Comput. Program., 1992

On-the-fly Verification of Finite Transition Systems.

Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron

Formal Methods Syst. Des., 1992

A Toolbox for the Verification of LOTOS Programs.

Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis

Proceedings of the 14th International Conference on Software Engineering, 1992

1991

Safety for Branching Time Semantics.

Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis

Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

A Tool Set for deciding Behavioral Equivalences.

Jean-Claude Fernandez, Laurent Mounier

Proceedings of the CONCUR '91, 1991

"On the Fly" Verification of Behavioural Equivalences and Preorders.

Jean-Claude Fernandez, Laurent Mounier

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Verifying Bisimulations "On the Fly".

Jean-Claude Fernandez, Laurent Mounier

Proceedings of the Formal Description Techniques, 1990

Minimal Model Generation.

Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

An Implementation of an Efficient Algorithm for Bisimulation Equivalence.

Jean-Claude Fernandez

Sci. Comput. Program., 1989

1988

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

PhD thesis, 1988

1985

Verification of protocol specificaitons using the CESAR system.

Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron

Proceedings of the Protocol Specification, 1985

1983

An Example of Specification and Verification in Cesar.

Jean-Claude Fernandez, Jean-Philippe Schwartz, Joseph Sifakis

Proceedings of the Analysis of Concurrent Systems, 1983