![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Jean-Claude Fernandez
Person information
- affiliation: IMAG, Grenoble, France
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1996
- [b2]Jean-Claude Fernandez:
Validation par évaluation sur un modèle : méthodes et algorithmes. Joseph Fourier University, Grenoble, France, 1996 - 1988
- [b1]Jean-Claude Fernandez:
ALDEBARAN : un système de vérification par réduction de processus communicants. (Aldebaran : a system of verification of communicating processes by using reduction). Joseph Fourier University, Grenoble, France, 1988
Journal Articles
- 2012
- [j12]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
What can you verify and enforce at runtime? Int. J. Softw. Tools Technol. Transf. 14(3): 349-382 (2012) - [j11]Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron
, Hervé Marchand, Laurent Mounier:
More testable properties. Int. J. Softw. Tools Technol. Transf. 14(4): 407-437 (2012) - 2011
- [j10]Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier:
Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods Syst. Des. 38(3): 223-262 (2011) - 2008
- [j9]Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus:
Symbolic quality control for multimedia applications. Real Time Syst. 40(1): 1-43 (2008) - 2003
- [j8]Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu:
State space reduction based on live variables analysis. Sci. Comput. Program. 47(2-3): 203-220 (2003) - [j7]Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu:
Using static analysis to improve automatic test generation. Int. J. Softw. Tools Technol. Transf. 4(2): 142-152 (2003) - 2000
- [j6]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) - 1997
- [j5]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) - [j4]Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier:
Protocol Verification with the ALDÉBARAN Toolset. Int. J. Softw. Tools Technol. Transf. 1(1-2): 166-184 (1997) - 1992
- [j3]Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron
:
On-the-fly Verification of Finite Transition Systems. Formal Methods Syst. Des. 1(2/3): 251-273 (1992) - [j2]Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond:
Minimal State Graph Generation. Sci. Comput. Program. 18(3): 247-269 (1992) - 1989
- [j1]Jean-Claude Fernandez:
An Implementation of an Efficient Algorithm for Bisimulation Equivalence. Sci. Comput. Program. 13(1): 219-236 (1989)
Conference and Workshop Papers
- 2015
- [c41]Abdurrahman Pektas, Tankut Acarman, Yliès Falcone, Jean-Claude Fernandez:
Runtime-behavior based malware classification using online machine learning. WorldCIS 2015: 166-171 - 2014
- [c40]Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez:
Efficient and Generalized Decentralized Monitoring of Regular Languages. FORTE 2014: 66-83 - 2010
- [c39]Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron
, Hervé Marchand, Laurent Mounier:
More Testable Properties. ICTSS 2010: 30-46 - 2009
- [c38]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
Runtime Verification of Safety-Progress Properties. RV 2009: 40-59 - [c37]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
Enforcement monitoring wrt. the safety-progress classification of properties. SAC 2009: 593-600 - 2008
- [c36]Mohamad Jaber
, Jacques Combaz, Loïc Strus, Jean-Claude Fernandez:
Using neural networks for quality management. ETFA 2008: 1441-1448 - [c35]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. ICISS 2008: 41-55 - [c34]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 - [c33]Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier:
j-POST: a Java Toolchain for Property-Oriented Software Testing. MBT@ETAPS 2008: 29-41 - 2007
- [c32]Hugo Venturini, Frédéric Riss, Jean-Claude Fernandez, Miguel Santana:
Non-transparent debugging for software-pipelined loops. CASES 2007: 23-32 - [c31]Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus:
Using Speed Diagrams for Symbolic Quality Management. IPDPS 2007: 1-8 - [c30]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
- [c29]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 - [c28]Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier:
Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50 - [c27]Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier:
Test Generation for Network Security Rules. TestCom 2006: 341-356 - 2005
- [c26]Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis:
Fine Grain QoS Control for Multimedia Application Software. DATE 2005: 1038-1043 - [c25]Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis:
QoS control for optimality and safety. EMSOFT 2005: 90-99 - [c24]Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon:
A Model-Based Approach for Robustness Testing. TestCom 2005: 333-348 - 2003
- [c23]Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon:
Property Oriented Test Case Generation. FATES 2003: 147-163 - 2002
- [c22]Jean-Claude Fernandez, Manuel P. Malumbres
:
A Parallel Implementation of H.26L Video Encoder (Research Note). Euro-Par 2002: 830-833 - 2000
- [c21]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 - [c20]Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech:
A Transformational Approach for Generating Non-linear Invariants. SAS 2000: 58-74 - [c19]Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu:
Using Static Analysis to Improve Automatic Test Generation. TACAS 2000: 235-250 - 1999
- [c18]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 - [c17]Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu:
State Space Reduction Based on Live Variables Analysis. SAS 1999: 164-178 - [c16]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 - 1996
- [c15]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 - [c14]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
- [c13]Paul Caspi, Jean-Claude Fernandez, Alain Girault:
An Algorithm for Reducing Binary Branchings. FSTTCS 1995: 279-293 - 1994
- [c12]Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone:
Model-Based Verification Methods and Tools (Abstract). CONCUR 1994: 64 - 1993
- [c11]Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier:
Symbolic Equivalence Checking. CAV 1993: 85-96 - [c10]Jean-Claude Fernandez:
Abstract Interpretation and Verification of Reactive Systems. WSA 1993: 60-71 - 1992
- [c9]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 - 1991
- [c8]Jean-Claude Fernandez, Laurent Mounier:
"On the Fly" Verification of Behavioural Equivalences and Preorders. CAV 1991: 181-191 - [c7]Jean-Claude Fernandez, Laurent Mounier:
A Tool Set for deciding Behavioral Equivalences. CONCUR 1991: 23-42 - [c6]Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis:
Safety for Branching Time Semantics. ICALP 1991: 76-92 - 1990
- [c5]Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs:
Minimal Model Generation. CAV 1990: 197-203 - [c4]Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs:
Minimal Model Generation. CAV (DIMACS/AMS volume) 1990: 85-92 - [c3]Jean-Claude Fernandez, Laurent Mounier:
Verifying Bisimulations "On the Fly". FORTE 1990: 95-110 - 1985
- [c2]Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron:
Verification of protocol specificaitons using the CESAR system. PSTV 1985: 71-90 - 1983
- [c1]Jean-Claude Fernandez, Jean-Philippe Schwartz, Joseph Sifakis:
An Example of Specification and Verification in Cesar. The Analysis of Concurrent Systems 1983: 199-210
Parts in Books or Collections
- 2014
- [p1]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
On the Expressiveness of some Runtime Validation Techniques. HOWARD-60 2014: 112-123
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint