|
Search the dblp DataBase
Jean-Claude Fernandez:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jean-Claude Fernandez, J. Ph. Schwartz, Joseph Sifakis
An Example of Specification and Verification in Cesar. [Citation Graph (0, 0)][DBLP] The Analysis of Concurrent Systems, 1983, pp:199-210 [Conf]
- Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs
Minimal Model Generation. [Citation Graph (0, 0)][DBLP] CAV, 1990, pp:197-203 [Conf]
- Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
IF: A Validation Environment for Timed Asynchronous Systems. [Citation Graph (0, 0)][DBLP] CAV, 2000, pp:543-547 [Conf]
- Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
CADP - A Protocol Validation and Verification Toolbox. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:437-440 [Conf]
- Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
Using On-The-Fly Verification Techniques for the Generation of test Suites. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:348-359 [Conf]
- Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
Symbolic Equivalence Checking. [Citation Graph (0, 0)][DBLP] CAV, 1993, pp:85-96 [Conf]
- Jean-Claude Fernandez, Laurent Mounier
"On the Fly" Verification of Behavioural Equivalences and Preorders. [Citation Graph (0, 0)][DBLP] CAV, 1991, pp:181-191 [Conf]
- Jean-Claude Fernandez, Laurent Mounier
A Tool Set for deciding Behavioral Equivalences. [Citation Graph (0, 0)][DBLP] CONCUR, 1991, pp:23-42 [Conf]
- Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone
Model-Based Verification Methods and Tools (Abstract). [Citation Graph (0, 0)][DBLP] CONCUR, 1994, pp:64- [Conf]
- Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis
Fine Grain QoS Control for Multimedia Application Software. [Citation Graph (0, 0)][DBLP] DATE, 2005, pp:1038-1043 [Conf]
- Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis
QoS control for optimality and safety. [Citation Graph (0, 0)][DBLP] EMSOFT, 2005, pp:90-99 [Conf]
- Jean-Claude Fernandez, Manuel P. Malumbres
A Parallel Implementation of H.26L Video Encoder (Research Note). [Citation Graph (0, 0)][DBLP] Euro-Par, 2002, pp:830-833 [Conf]
- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
A Test Calculus Framework Applied to Network Security Policies. [Citation Graph (0, 0)][DBLP] FATES/RV, 2006, pp:55-69 [Conf]
- Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
Property Oriented Test Case Generation. [Citation Graph (0, 0)][DBLP] FATES, 2003, pp:147-163 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:307-327 [Conf]
- Jean-Claude Fernandez, Laurent Mounier
Verifying Bisimulations "On the Fly". [Citation Graph (0, 0)][DBLP] FORTE, 1990, pp:95-110 [Conf]
- Paul Caspi, Jean-Claude Fernandez, Alain Girault
An Algorithm for Reducing Binary Branchings. [Citation Graph (0, 0)][DBLP] FSTTCS, 1995, pp:279-293 [Conf]
- Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis
Safety for Branching Time Semantics. [Citation Graph (0, 0)][DBLP] ICALP, 1991, pp:76-92 [Conf]
- Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis
A Toolbox for the Verification of LOTOS Programs. [Citation Graph (0, 0)][DBLP] ICSE, 1992, pp:246-259 [Conf]
- Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron
Verification of protocol specificaitons using the CESAR system. [Citation Graph (0, 0)][DBLP] PSTV, 1985, pp:71-90 [Conf]
- Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
A Model-Based Approach for Robustness Testing. [Citation Graph (0, 0)][DBLP] TestCom, 2005, pp:333-348 [Conf]
- Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier
Test Generation for Network Security Rules. [Citation Graph (0, 0)][DBLP] TestCom, 2006, pp:341-356 [Conf]
- Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech
A Transformational Approach for Generating Non-linear Invariants. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:58-74 [Conf]
- Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
State Space Reduction Based on Live Variables Analysis. [Citation Graph (0, 0)][DBLP] SAS, 1999, pp:164-178 [Conf]
- Jean-Claude Fernandez
Abstract Interpretation and Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP] WSA, 1993, pp:60-71 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] SDL Forum, 1999, pp:423-440 [Conf]
- Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
Using Static Analysis to Improve Automatic Test Generation. [Citation Graph (0, 0)][DBLP] TACAS, 2000, pp:235-250 [Conf]
- Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron
On-the-fly Verification of Finite Transition Systems. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1992, v:1, n:2/3, pp:251-273 [Journal]
- Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond
Minimal State Graph Generation. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1992, v:18, n:3, pp:247-269 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2000, v:36, n:1, pp:27-52 [Journal]
- Jean-Claude Fernandez
An Implementation of an Efficient Algorithm for Bisimulation Equivalence. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1989, v:13, n:1, pp:219-236 [Journal]
- Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu
State space reduction based on live variables analysis. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2003, v:47, n:2-3, pp:203-220 [Journal]
- Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1997, v:29, n:1-2, pp:123-146 [Journal]
- Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
Using static analysis to improve automatic test generation. [Citation Graph (0, 0)][DBLP] STTT, 2003, v:4, n:2, pp:142-152 [Journal]
- Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
Protocol Verification with the ALDÉBARAN Toolset. [Citation Graph (0, 0)][DBLP] STTT, 1997, v:1, n:1-2, pp:166-184 [Journal]
- Hugo Venturini, Frederic Riss, Jean-Claude Fernandez, Miguel Santana
Non-transparent debugging for software-pipelined loops. [Citation Graph (0, 0)][DBLP] CASES, 2007, pp:23-32 [Conf]
- Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loic Strus
Using Speed Diagrams for Symbolic Quality Management. [Citation Graph (0, 0)][DBLP] IPDPS, 2007, pp:1-8 [Conf]
- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
A Compositional Testing Framework Driven by Partial Specifications. [Citation Graph (0, 0)][DBLP] TestCom/FATES, 2007, pp:107-122 [Conf]
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. [Citation Graph (, )][DBLP]
Confirmation of deadlock potentials detected by runtime analysis. [Citation Graph (, )][DBLP]
Enforcement monitoring wrt. the safety-progress classification of properties. [Citation Graph (, )][DBLP]
A fully-non-transparent approach to the code location problem. [Citation Graph (, )][DBLP]
Using neural networks for quality management. [Citation Graph (, )][DBLP]
Runtime Verification of Safety-Progress Properties. [Citation Graph (, )][DBLP]
j-POST: a Java Toolchain for Property-Oriented Software Testing. [Citation Graph (, )][DBLP]
Search in 0.048secs, Finished in 0.049secs
|