Ban3

Informations sur l'auteur

Jean-Claude Fernandez

http://pistou.imag.fr/site/author/2182

  
 

Publications de l'auteur

La liste contient 38 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
2011
1
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier.
Runtime enforcement monitors: composition, synthesis, and enforcement abilities.
Formal Methods in System Design, 38(3):223--262, jun 2011.
bibtex/ html
2
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier.
What can you Verify and Enforce at Runtime?.
STTT: Software Tools for Technology Transfer - Special issue on Runtime Verification. Invited paper, to appear, 2011.
bibtex/ html
2003
3
Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu.
State Space Reduction based on Live Variables Analysis.
Science of Computer Programming, 47(2--3):203--220, may 2003.
bibtex/ html
1997
4
Jean-Claude Fernandez, Claude Jard, Thierry Jéron, Laurence Nedelka, César Viho.
Jan Friso Groote, Martin Rem.
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology.
scp, 29(1--2):123--146, jul 1997. Note: Special issue on Industrially Relevant Applications of Formal Analysis Techniques. Also available as INRIA Research Report~RR-2923.
bibtex/ html
1992
5
Jean-Claude Fernandez, Claude Jard, Thierry Jéron, Laurent Mounier.
``On the Fly'' Verification of Finite Transition Systems.
Formal Methods in System Design, 1992.
bibtex/ html
1990
6
Jean-Claude Fernandez.
An Implementation of an Efficient Algorithm for Bisimulation Equivalence.
scp, 13(2--3):219--236, may 1990.
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2010
7
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier.
More Testable Properties.
In ICTSS’10: 22nd IFIP International Conference on Testing Software and Systems, 2010.
bibtex/ html
2009
8
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier.
Runtime Verification of Safety-Progress Properties.
In RV’09: workshop on Runtime Verification, 2009.
bibtex/ html
9
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier.
Enforcement Monitoring wrt. the Safety-Progress Classification of Properties.
In SAC’09: 24th Annual ACM Symposium on Applied Computing – Software Verification and Testing Track, 2009.
bibtex/ html
2008
10
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier.
j-POST: a Java Toolchain for Property-Oriented Software Testing.
Fourth Workshop on Model-Based Testing (MBT'08), a satellite event of ETAPS'08, March 29 - April 6, 2008, Budapest, 220(1):29-41, Electronic Notes in Theoretical Computer Science, mar 2008.
bibtex/ html
11
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier.
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.
In ICISS’08: International Conference on Information Systems Security, 2008.
bibtex/ html
2007
12
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier.
Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp.
A Compositional Testing Framework Driven by Partial Specifications.
Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, 4581:107-122, Lecture Notes in Computer Science, 2007.
bibtex/ html
2006
13
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier.
A Test Calculus Framework Applied to Network Security Policies.
Formal Approaches to Testing and Runtime Verification (FATES/RV'06), LNCS 4262, :55-69, Seattle, USA, aug 2006.
bibtex/ html
14
Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier.
M. Umit Uyar, Ali Y. Duale, Mariusz A. Fecko.
Test Generation for Network Security Rules.
Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, 3964:341-356, Lecture Notes in Computer Science, 2006.
bibtex/ html
1999
15
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu.
Agostino Cortesi, Gilberto Filé.
State Space Reduction based on Live Variables Analysis.
Proceedings of the 6th International Symposium on Static Analysis SAS '99 (Venice, Italy), 1694:164--178, lncs, 1999.
bibtex/ html
16
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier.
Jeannette Wing, Jim Woodcock.
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.
Proceedings of World Congress on Formal Methods in the Development of Computing Systems FM'99 (Toulouse, France), sep 1999.
bibtex/ html
1996
17
Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Radu Mateescu, Laurent Mounier, Mihaela Sighireanu.
Rajeev Alur, Thomas A. Henzinger.
CADP (CÆSAR/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox.
Proceedings of the 8th Conference on Computer-Aided Verification (New Brunswick, New Jersey, USA), 1102:437--440, lncs, aug 1996.
bibtex/ html
18
Jean-Claude Fernandez, Claude Jard, Thierry Jéron, Laurence Nedelka, César Viho.
Rajeev Alur, Thomas A. Henzinger.
Using On-the-Fly Verification Techniques for the Generation of Test Suites.
Proceedings of the 8th International Conference on Computer-Aided Verification (Rutgers University, New Brunswick, NJ, USA), 1102:348--359, lncs, aug 1996. Note: Also available as INRIA Research Report~RR-2987.
bibtex/ html
1993
19
Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier.
C. Courcoubetis.
Symbolic Equivalence Checking.
Proceedings of the 5th Workshop on Computer-Aided Verification (Heraklion, Greece), 697, lncs, jun 1993.
bibtex/ html
1992
20
Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodríguez, Joseph Sifakis.
Lori A. Clarke.
A Toolbox for the Verification of LOTOS Programs.
Proceedings of the 14th International Conference on Software Engineering ICSE'14 (Melbourne, Australia), :246--259, may 1992.
bibtex/ html
1991
21
Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodríguez, Joseph Sifakis.
Safety for Branching Time Semantics.
Proceedings of 18th ICALP, jul 1991.
bibtex/ html
22
Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodríguez, Joseph Sifakis.
Omar Rafiq.
Une boîte à outils pour la vérification de programmes LOTOS.
Actes du Colloque Francophone pour l'Ingénierie des Protocoles CFIP'91 (Pau, France), :479--500, Paris, sep 1991.
bibtex/ html
23
Jean-Claude Fernandez, Laurent Mounier.
Kim G. Larsen, Arne Skou.
``On the Fly'' Verification of Behavioural Equivalences and Preorders.
Proceedings of the 3rd Workshop on Computer-Aided Verification (Aalborg, Denmark), 575, lncs, Berlin, jul 1991.
bibtex/ html
24
Jean-Claude Fernandez, Laurent Mounier.
A Tool Set for Deciding Behavioral Equivalences.
Proceedings of CONCUR'91 (Amsterdam, The Netherlands), aug 1991.
bibtex/ html
1990
25
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs.
Robert P. Kurshan, E. M. Clarke.
Minimal Model Generation.
Proceedings of the 2nd Workshop on Computer-Aided Verification (Rutgers, New Jersey, USA), 3:85--92, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, jun 1990.
bibtex/ html
26
Jean-Claude Fernandez, Laurent Mounier.
Juan Quemada, José Manas, Enrique Vázquez.
Verifying Bisimulations ``On the Fly''.
Proceedings of the 3rd International Conference on Formal Description Techniques FORTE'90 (Madrid, Spain), nov 1990.
bibtex/ html
1985
27
Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron.
Michel Diaz.
Verification of Protocol Specifications using the CESAR System.
Proceedings of the 5th IFIP International Workshop on Protocol Specification, Testing and Verification (Moissac, France), :71--90, jun 1985.
bibtex/ html
1983
28
Jean-Claude Fernandez, J. P. Schwartz, Joseph Sifakis.
G. Goos, J. Hartmanis.
An Example of Specification and Verification in CESAR.
The Analysis of Concurrent Systems, 207:199--210, lncs, sep 1983.
bibtex/ html
Short communications [COM] and posters [AFF] in conferences and workshops
2005
29
Thomas Deruyter, Jean-Claude Fernandez, Marie-Laure Potet.
Modélisation d'architecture pour le reciblage et la paramétrisation d'une chaîne de compilateur DSP.
18th International Conference Software & Systems Engineering and their Applications - ICSSEA'2005, Paris, nov 2005.
bibtex/ html
National peer reviewed journal [ACLN]
2006
30
Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier.
Tester la conformité d'un réseau à une politique de sécurité.
Revue de l'Electricité et de l'Electronique, 6/7:33-43, Juin-Juillet 2006.
bibtex/ html
National peer-reviewed conference proceedings [ACTN]
2005
31
Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier.
Éléments de modélisation pour le test de politiques de sécurité.
Colloque sur les RIsques et la Sécurité d'Internet et des Systèmes, CRiSIS, Bourges, oct 2005.
bibtex/ html
Doctoral Dissertations and Habilitations Theses [TH]
1988
32
Jean-Claude Fernandez.
ALDEBARAN~: un système de vérification par réduction de processus communicants.
Thèse de Doctorat, Université Joseph~Fourier (Grenoble), may 1988.
bibtex/ html
Other Publications [AP]
2010
33
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier.
More Testable Properties.
Technical Report, (RR-7279), 2010. Note: Extended version.
bibtex/ html
2005
34
Adam Rose, Stuart Swan, John Pierce, Jean-Claude Fernandez.
Transaction Level Modeling in SystemC.
Open SystemC Initiative, 2005.
bibtex/ html
1995
35
Jean-Claude Fernandez, Laurent Mounier.
A Local Checking Algorithm for Boolean Equation Systems.
Rapport SPECTRE, (95-07), VERIMAG, Grenoble, mar 1995.
bibtex/ html
1990
36
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs.
On the Verification of Safety Properties.
Rapport SPECTRE, (L12), Laboratoire de Génie Informatique --- Institut IMAG, Grenoble, apr 1990.
bibtex/ html
1989
37
Jean-Claude Fernandez.
ALDEBARAN: A Tool for Verification of Communicating Processes.
Rapport SPECTRE, (C14), Laboratoire de Génie Informatique --- Institut IMAG, Grenoble, sep 1989.
bibtex/ html
38
Jean-Claude Fernandez.
ALDEBARAN: User's Manual.
Laboratoire de Génie Informatique --- Institut IMAG, Grenoble, jan 1989.
bibtex/ html