Jean-Claude Fernandez Vis

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

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

Colors in the list of coauthors