Jean-Claude Fernandez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
18
Active years
1990–2014
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | FORTE | Efficient and Generalized Decentralized Monitoring of Regular Languages. | Ylis Falcone, Tom Cornebize, Jean-Claude Fernandez |
| 2009 | SAC | Enforcement monitoring wrt. the safety-progress classification of properties. | Ylis Falcone, Jean-Claude Fernandez, Laurent Mounier |
| 2009 | RV | Runtime Verification of Safety-Progress Properties. | Ylis Falcone, Jean-Claude Fernandez, Laurent Mounier |
| 2008 | ETFA | Using neural networks for quality management. | Mohamad Jaber, Jacques Combaz, Loc Strus, Jean-Claude Fernandez |
| 2008 | ICISS | Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. | Ylis Falcone, Jean-Claude Fernandez, Laurent Mounier |
| 2008 | SCOPES | A fully-non-transparent approach to the code location problem. | Hugo Venturini, Frdric Riss, Jean-Claude Fernandez, Miguel Santana |
| 2007 | CASES | Non-transparent debugging for software-pipelined loops. | Hugo Venturini, Frdric Riss, Jean-Claude Fernandez, Miguel Santana |
| 2006 | ISSTA | Confirmation of deadlock potentials detected by runtime analysis. | Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier |
| 2005 | DATE | Fine Grain QoS Control for Multimedia Application Software. | Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis |
| 2005 | EMSOFT | QoS control for optimality and safety. | Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis |
| 2002 | EuroPar | A Parallel Implementation of H.26L Video Encoder (Research Note). | Jean-Claude Fernandez, Manuel P. Malumbres |
| 2000 | CAV | IF: A Validation Environment for Timed Asynchronous Systems. | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier |
| 2000 | SAS | A Transformational Approach for Generating Non-linear Invariants. | Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech |
| 2000 | TACAS | Using Static Analysis to Improve Automatic Test Generation. | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu |
| 1999 | FM | 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 |
| 1999 | SAS | State Space Reduction Based on Live Variables Analysis. | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu |
| 1996 | CAV | CADP - A Protocol Validation and Verification Toolbox. | Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu |
| 1996 | CAV | Using On-The-Fly Verification Techniques for the Generation of test Suites. | Jean-Claude Fernandez, Claude Jard, Thierry Jron, Csar Viho |
| 1994 | CONCUR | Model-Based Verification Methods and Tools (Abstract). | Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone |
| 1993 | CAV | Symbolic Equivalence Checking. | Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier |
| 1993 | SAS | Abstract Interpretation and Verification of Reactive Systems. | Jean-Claude Fernandez |
| 1992 | ICSE | A Toolbox for the Verification of LOTOS Programs. | Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodrguez, Joseph Sifakis |
| 1991 | CAV | "On the Fly" Verification of Behavioural Equivalences and Preorders. | Jean-Claude Fernandez, Laurent Mounier |
| 1991 | CONCUR | A Tool Set for deciding Behavioral Equivalences. | Jean-Claude Fernandez, Laurent Mounier |
| 1991 | ICALP | Safety for Branching Time Semantics. | Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodrguez, Joseph Sifakis |
| 1990 | CAV | Minimal Model Generation. | Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs |
| 1990 | FORTE | Verifying Bisimulations "On the Fly". | Jean-Claude Fernandez, Laurent Mounier |