dblp.uni-trier.dewww.uni-trier.de

Jean-Claude Fernandez Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
46EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Runtime Verification of Safety-Progress Properties. RV 2009: 40-59
45EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Enforcement monitoring wrt. the safety-progress classification of properties. SAC 2009: 593-600
2008
44EEMohamad Jaber, Jacques Combaz, Loïc Strus, Jean-Claude Fernandez: Using neural networks for quality management. ETFA 2008: 1441-1448
43EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. ICISS 2008: 41-55
42EEHugo Venturini, Frédéric Riss, Jean-Claude Fernandez, Miguel Santana: A fully-non-transparent approach to the code location problem. SCOPES 2008: 61-68
41EEYliè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)
40EEJacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus: Symbolic quality control for multimedia applications. Real-Time Systems 40(1): 1-43 (2008)
2007
39EEHugo Venturini, Frédéric Riss, Jean-Claude Fernandez, Miguel Santana: Non-transparent debugging for software-pipelined loops. CASES 2007: 23-32
38EEJacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus: Using Speed Diagrams for Symbolic Quality Management. IPDPS 2007: 1-8
37EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier: A Compositional Testing Framework Driven by Partial Specifications. TestCom/FATES 2007: 107-122
2006
36EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier: A Test Calculus Framework Applied to Network Security Policies. FATES/RV 2006: 55-69
35EESaddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier: Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50
34EEVianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier: Test Generation for Network Security Rules. TestCom 2006: 341-356
2005
33EEJacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis: Fine Grain QoS Control for Multimedia Application Software. DATE 2005: 1038-1043
32EEJacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis: QoS control for optimality and safety. EMSOFT 2005: 90-99
31EEJean-Claude Fernandez, Laurent Mounier, Cyril Pachon: A Model-Based Approach for Robustness Testing. TestCom 2005: 333-348
2003
30EEJean-Claude Fernandez, Laurent Mounier, Cyril Pachon: Property Oriented Test Case Generation. FATES 2003: 147-163
29EEMarius Bozga, Jean-Claude Fernandez, Lucian Ghirvu: Using static analysis to improve automatic test generation. STTT 4(2): 142-152 (2003)
28EEJean-Claude Fernandez, Marius Bozga, Lucian Ghirvu: State space reduction based on live variables analysis. Sci. Comput. Program. 47(2-3): 203-220 (2003)
2002
27EEJean-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
24EEMarius 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
22EEMarius 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
20EEMarius 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
19EEMarius 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
17EEJean-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
16EEJean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu: CADP - A Protocol Validation and Verification Toolbox. CAV 1996: 437-440
1995
15EEPaul Caspi, Jean-Claude Fernandez, Alain Girault: An Algorithm for Reducing Binary Branchings. FSTTCS 1995: 279-293
1994
14EEJean-Claude Fernandez, Joseph Sifakis, Robert de Simone: Model-Based Verification Methods and Tools (Abstract). CONCUR 1994: 64
1993
13EEJean-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
11EEJean-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
8EEJean-Claude Fernandez, Laurent Mounier: "On the Fly" Verification of Behavioural Equivalences and Preorders. CAV 1991: 181-191
7EEJean-Claude Fernandez, Laurent Mounier: A Tool Set for deciding Behavioral Equivalences. CONCUR 1991: 23-42
6EEAhmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis: Safety for Branching Time Semantics. ICALP 1991: 76-92
1990
5EEAhmed 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

Coauthor Index

1Saddek Bensalem [25] [35]
2Ahmed Bouajjani [5] [6] [9]
3Marius Bozga [19] [20] [21] [22] [23] [24] [25] [26] [28] [29]
4Paul Caspi [15]
5Jacques Combaz [32] [33] [38] [40] [44]
6Vianney Darmaillacq [34]
7Yliès Falcone [36] [37] [41] [43] [45] [46]
8Hubert Garavel [11] [16]
9Lucian Ghirvu [20] [21] [22] [23] [24] [25] [26] [28] [29]
10Alain Girault [15]
11Susanne Graf [6] [20] [21] [26]
12Roland Groz [34]
13Nicolas Halbwachs [5] [9]
14Klaus Havelund [35]
15Mohamad Jaber [44]
16Claude Jard [10] [17] [18] [23]
17Thierry Jéron [10] [17] [18] [23]
18Alain Kerbrat [13] [16] [19] [23]
19Jean-Pierre Krimm [20] [21] [26]
20Yassine Lakhnech [25]
21Thierry Lepley [32] [33]
22Manuel P. Malumbres [27]
23Radu Mateescu [16]
24Pierre Morel [23]
25Laurent Mounier [4] [7] [8] [10] [11] [13] [16] [19] [20] [21] [23] [26] [30] [31] [34] [35] [36] [37] [41] [43] [45] [46]
26Cyril Pachon [30] [31]
27Anne Rasse [11]
28Pascal Raymond [9]
29Jean-Luc Richier [2] [34] [36] [37] [41]
30Frédéric Riss [39] [42]
31Carlos Rodriguez [6] [11]
32Miguel Santana [39] [42]
33J. Ph. Schwartz [1]
34Joseph Sifakis [1] [6] [11] [14] [21] [32] [33] [38] [40]
35Mihaela Sighireanu [16]
36Robert de Simone [14]
37Loïc Strus [38] [40] [44]
38Hugo Venturini [39] [42]
39César Viho [17] [18]
40Jacques Voiron [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)