 | 2009 |
|---|
| 46 |       | Yliès Falcone,
Jean-Claude Fernandez,
Laurent Mounier:
Runtime Verification of Safety-Progress Properties.
RV 2009: 40-59 |
| 45 | | Yliès Falcone,
Jean-Claude Fernandez,
Laurent Mounier:
Enforcement monitoring wrt. the safety-progress classification of properties.
SAC 2009: 593-600 |
| 2008 |
|---|
| 44 | | Mohamad Jaber,
Jacques Combaz,
Loïc Strus,
Jean-Claude Fernandez:
Using neural networks for quality management.
ETFA 2008: 1441-1448 |
| 43 | | Yliès Falcone,
Jean-Claude Fernandez,
Laurent Mounier:
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.
ICISS 2008: 41-55 |
| 42 | | Hugo Venturini,
Frédéric Riss,
Jean-Claude Fernandez,
Miguel Santana:
A fully-non-transparent approach to the code location problem.
SCOPES 2008: 61-68 |
| 41 | | Yliès Falcone,
Laurent Mounier,
Jean-Claude Fernandez,
Jean-Luc Richier:
j-POST: a Java Toolchain for Property-Oriented Software Testing.
Electr. Notes Theor. Comput. Sci. 220(1): 29-41 (2008) |
| 40 | | Jacques Combaz,
Jean-Claude Fernandez,
Joseph Sifakis,
Loïc Strus:
Symbolic quality control for multimedia applications.
Real-Time Systems 40(1): 1-43 (2008) |
| 2007 |
|---|
| 39 | | Hugo Venturini,
Frédéric Riss,
Jean-Claude Fernandez,
Miguel Santana:
Non-transparent debugging for software-pipelined loops.
CASES 2007: 23-32 |
| 38 | | Jacques Combaz,
Jean-Claude Fernandez,
Joseph Sifakis,
Loïc Strus:
Using Speed Diagrams for Symbolic Quality Management.
IPDPS 2007: 1-8 |
| 37 | | Yliès Falcone,
Jean-Claude Fernandez,
Laurent Mounier,
Jean-Luc Richier:
A Compositional Testing Framework Driven by Partial Specifications.
TestCom/FATES 2007: 107-122 |
| 2006 |
|---|
| 36 | | Yliès Falcone,
Jean-Claude Fernandez,
Laurent Mounier,
Jean-Luc Richier:
A Test Calculus Framework Applied to Network Security Policies.
FATES/RV 2006: 55-69 |
| 35 | | Saddek Bensalem,
Jean-Claude Fernandez,
Klaus Havelund,
Laurent Mounier:
Confirmation of deadlock potentials detected by runtime analysis.
PADTAD 2006: 41-50 |
| 34 | | Vianney Darmaillacq,
Jean-Claude Fernandez,
Roland Groz,
Laurent Mounier,
Jean-Luc Richier:
Test Generation for Network Security Rules.
TestCom 2006: 341-356 |
| 2005 |
|---|
| 33 | | Jacques Combaz,
Jean-Claude Fernandez,
Thierry Lepley,
Joseph Sifakis:
Fine Grain QoS Control for Multimedia Application Software.
DATE 2005: 1038-1043 |
| 32 | | Jacques Combaz,
Jean-Claude Fernandez,
Thierry Lepley,
Joseph Sifakis:
QoS control for optimality and safety.
EMSOFT 2005: 90-99 |
| 31 | | Jean-Claude Fernandez,
Laurent Mounier,
Cyril Pachon:
A Model-Based Approach for Robustness Testing.
TestCom 2005: 333-348 |
| 2003 |
|---|
| 30 | | Jean-Claude Fernandez,
Laurent Mounier,
Cyril Pachon:
Property Oriented Test Case Generation.
FATES 2003: 147-163 |
| 29 | | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu:
Using static analysis to improve automatic test generation.
STTT 4(2): 142-152 (2003) |
| 28 | | Jean-Claude Fernandez,
Marius Bozga,
Lucian Ghirvu:
State space reduction based on live variables analysis.
Sci. Comput. Program. 47(2-3): 203-220 (2003) |
| 2002 |
|---|
| 27 | | Jean-Claude Fernandez,
Manuel P. Malumbres:
A Parallel Implementation of H.26L Video Encoder (Research Note).
Euro-Par 2002: 830-833 |
| 2000 |
|---|
| 26 |  | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu,
Susanne Graf,
Jean-Pierre Krimm,
Laurent Mounier:
IF: A Validation Environment for Timed Asynchronous Systems.
CAV 2000: 543-547 |
| 25 | | Saddek Bensalem,
Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu,
Yassine Lakhnech:
A Transformational Approach for Generating Non-linear Invariants.
SAS 2000: 58-74 |
| 24 | | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu:
Using Static Analysis to Improve Automatic Test Generation.
TACAS 2000: 235-250 |
| 23 | | 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): 27-52 (2000) |
| 1999 |
|---|
| 22 | | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu:
State Space Reduction Based on Live Variables Analysis.
SAS 1999: 164-178 |
| 21 | | 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: 423-440 |
| 20 | | 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: 307-327 |
| 1997 |
|---|
| 19 | | Marius Bozga,
Jean-Claude Fernandez,
Alain Kerbrat,
Laurent Mounier:
Protocol Verification with the ALDÉBARAN Toolset.
STTT 1(1-2): 166-184 (1997) |
| 18 | | 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): 123-146 (1997) |
| 1996 |
|---|
| 17 | | 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: 348-359 |
| 16 | | Jean-Claude Fernandez,
Hubert Garavel,
Alain Kerbrat,
Laurent Mounier,
Radu Mateescu,
Mihaela Sighireanu:
CADP - A Protocol Validation and Verification Toolbox.
CAV 1996: 437-440 |
| 1995 |
|---|
| 15 | | Paul Caspi,
Jean-Claude Fernandez,
Alain Girault:
An Algorithm for Reducing Binary Branchings.
FSTTCS 1995: 279-293 |
| 1994 |
|---|
| 14 | | Jean-Claude Fernandez,
Joseph Sifakis,
Robert de Simone:
Model-Based Verification Methods and Tools (Abstract).
CONCUR 1994: 64 |
| 1993 |
|---|
| 13 | | Jean-Claude Fernandez,
Alain Kerbrat,
Laurent Mounier:
Symbolic Equivalence Checking.
CAV 1993: 85-96 |
| 12 | | Jean-Claude Fernandez:
Abstract Interpretation and Verification of Reactive Systems.
WSA 1993: 60-71 |
| 1992 |
|---|
| 11 | | Jean-Claude Fernandez,
Hubert Garavel,
Laurent Mounier,
Anne Rasse,
Carlos Rodriguez,
Joseph Sifakis:
A Toolbox for the Verification of LOTOS Programs.
ICSE 1992: 246-259 |
| 10 | | Jean-Claude Fernandez,
Laurent Mounier,
Claude Jard,
Thierry Jéron:
On-the-fly Verification of Finite Transition Systems.
Formal Methods in System Design 1(2/3): 251-273 (1992) |
| 9 | | Ahmed Bouajjani,
Jean-Claude Fernandez,
Nicolas Halbwachs,
Pascal Raymond:
Minimal State Graph Generation.
Sci. Comput. Program. 18(3): 247-269 (1992) |
| 1991 |
|---|
| 8 | | Jean-Claude Fernandez,
Laurent Mounier:
"On the Fly" Verification of Behavioural Equivalences and Preorders.
CAV 1991: 181-191 |
| 7 | | Jean-Claude Fernandez,
Laurent Mounier:
A Tool Set for deciding Behavioral Equivalences.
CONCUR 1991: 23-42 |
| 6 | | Ahmed Bouajjani,
Jean-Claude Fernandez,
Susanne Graf,
Carlos Rodriguez,
Joseph Sifakis:
Safety for Branching Time Semantics.
ICALP 1991: 76-92 |
| 1990 |
|---|
| 5 | | Ahmed Bouajjani,
Jean-Claude Fernandez,
Nicolas Halbwachs:
Minimal Model Generation.
CAV 1990: 197-203 |
| 4 | | Jean-Claude Fernandez,
Laurent Mounier:
Verifying Bisimulations "On the Fly".
FORTE 1990: 95-110 |
| 1989 |
|---|
| 3 | | Jean-Claude Fernandez:
An Implementation of an Efficient Algorithm for Bisimulation Equivalence.
Sci. Comput. Program. 13(1): 219-236 (1989) |
| 1985 |
|---|
| 2 | | Jean-Claude Fernandez,
Jean-Luc Richier,
Jacques Voiron:
Verification of protocol specificaitons using the CESAR system.
PSTV 1985: 71-90 |
| 1983 |
|---|
| 1 | | Jean-Claude Fernandez,
J. Ph. Schwartz,
Joseph Sifakis:
An Example of Specification and Verification in Cesar.
The Analysis of Concurrent Systems 1983: 199-210 |
