Jean-Claude Fernandez

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