2009 |
45 | EE | Yliès Falcone,
Jean-Claude Fernandez,
Laurent Mounier:
Enforcement monitoring wrt. the safety-progress classification of properties.
SAC 2009: 593-600 |
2008 |
44 | EE | Mohamad Jaber,
Jacques Combaz,
Loïc Strus,
Jean-Claude Fernandez:
Using neural networks for quality management.
ETFA 2008: 1441-1448 |
43 | EE | Yliès Falcone,
Jean-Claude Fernandez,
Laurent Mounier:
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.
ICISS 2008: 41-55 |
42 | EE | 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 | EE | 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 | EE | 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 | EE | Hugo Venturini,
Frédéric Riss,
Jean-Claude Fernandez,
Miguel Santana:
Non-transparent debugging for software-pipelined loops.
CASES 2007: 23-32 |
38 | EE | Jacques Combaz,
Jean-Claude Fernandez,
Joseph Sifakis,
Loïc Strus:
Using Speed Diagrams for Symbolic Quality Management.
IPDPS 2007: 1-8 |
37 | EE | 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 | EE | 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 | EE | Saddek Bensalem,
Jean-Claude Fernandez,
Klaus Havelund,
Laurent Mounier:
Confirmation of deadlock potentials detected by runtime analysis.
PADTAD 2006: 41-50 |
34 | EE | Vianney Darmaillacq,
Jean-Claude Fernandez,
Roland Groz,
Laurent Mounier,
Jean-Luc Richier:
Test Generation for Network Security Rules.
TestCom 2006: 341-356 |
2005 |
33 | EE | Jacques Combaz,
Jean-Claude Fernandez,
Thierry Lepley,
Joseph Sifakis:
Fine Grain QoS Control for Multimedia Application Software.
DATE 2005: 1038-1043 |
32 | EE | Jacques Combaz,
Jean-Claude Fernandez,
Thierry Lepley,
Joseph Sifakis:
QoS control for optimality and safety.
EMSOFT 2005: 90-99 |
31 | EE | Jean-Claude Fernandez,
Laurent Mounier,
Cyril Pachon:
A Model-Based Approach for Robustness Testing.
TestCom 2005: 333-348 |
2003 |
30 | EE | Jean-Claude Fernandez,
Laurent Mounier,
Cyril Pachon:
Property Oriented Test Case Generation.
FATES 2003: 147-163 |
29 | EE | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu:
Using static analysis to improve automatic test generation.
STTT 4(2): 142-152 (2003) |
28 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |