Travelled to:1 × Australia
1 × Brazil
1 × Denmark
1 × Estonia
1 × France
1 × Greece
1 × Spain
2 × Canada
2 × Germany
2 × Italy
7 × USA
Collaborated with:L.Mounier Y.Falcone M.Bozga L.Ghirvu J.Richier C.Pachon J.Sifakis S.Graf A.Bouajjani A.Kerbrat ∅ T.Jéron C.Rodríguez J.Krimm H.Garavel N.Halbwachs J.Combaz T.Lepley C.Jard C.Viho H.Marchand V.Darmaillacq R.Groz S.Bensalem Y.Lakhnech R.Mateescu M.Sighireanu A.Rasse
Talks about:test (8) generat (6) verif (5) properti (4) system (3) valid (3) time (3) framework (2) asynchron (2) approach (2)
Person: Jean-Claude Fernandez
DBLP: Fernandez:Jean=Claude
Contributed to:
2010
2009
2008
200720062006
200520052003
2000
2000
2000
19991999199619931993
19921991
19911990Wrote 22 papers:
- ICTSS-2010-FalconeFJMM
- More Testable Properties (YF, JCF, TJ, HM, LM), pp. 30–46.
- SAC-2009-FalconeFM #classification #monitoring
- Enforcement monitoring wrt. the safety-progress classification of properties (YF, JCF, LM), pp. 593–600.
- MBT-2008-FalconeMFR #java #named #testing
- j-POST: a Java Toolchain for Property-Oriented Software Testing (YF, LM, JCF, JLR), pp. 29–41.
- TestCom-FATES-2007-FalconeFMR #composition #framework #specification #testing
- A Compositional Testing Framework Driven by Partial Specifications (YF, JCF, LM, JLR), pp. 107–122.
- FATES-RV-2006-FalconeFMR #calculus #framework #network #policy #security
- A Test Calculus Framework Applied to Network Security Policies (YF, JCF, LM, JLR), pp. 55–69.
- TestCom-2006-DarmaillacqFGMR #generative #network #security #testing
- Test Generation for Network Security Rules (VD, JCF, RG, LM, JLR), pp. 341–356.
- DATE-2005-CombazFLS #multi
- Fine Grain QoS Control for Multimedia Application Software (JC, JCF, TL, JS), pp. 1038–1043.
- TestCom-2005-FernandezMP #approach #modelling #robust #testing
- A Model-Based Approach for Robustness Testing (JCF, LM, CP), pp. 333–348.
- FATES-2003-FernandezMP #generative #testing
- Property Oriented Test Case Generation (JCF, LM, CP), pp. 147–163.
- CAV-2000-BozgaFGGKM #named #validation
- IF: A Validation Environment for Timed Asynchronous Systems (MB, JCF, LG, SG, JPK, LM), pp. 543–547.
- SAS-2000-BensalemBFGL #approach #generative #invariant
- A Transformational Approach for Generating Non-linear Invariants (SB, MB, JCF, LG, YL), pp. 58–74.
- TACAS-2000-BozgaFG #automation #generative #static analysis #testing #using
- Using Static Analysis to Improve Automatic Test Generation (MB, JCF, LG), pp. 235–250.
- FM-v1-1999-BozgaFGGKM #named #representation #validation
- IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems (MB, JCF, LG, SG, JPK, LM), pp. 307–327.
- SAS-1999-BozgaFG #analysis #reduction
- State Space Reduction Based on Live Variables Analysis (MB, JCF, LG), pp. 164–178.
- CAV-1996-FernandezGKMMS #named #protocol #validation #verification
- CADP — A Protocol Validation and Verification Toolbox (JCF, HG, AK, LM, RM, MS), pp. 437–440.
- CAV-1996-FernandezJJV #generative #on the fly #testing #using #verification
- Using On-The-Fly Verification Techniques for the Generation of test Suites (JCF, CJ, TJ, CV), pp. 348–359.
- CAV-1993-FernandezKM #equivalence
- Symbolic Equivalence Checking (JCF, AK, LM), pp. 85–96.
- WSA-1993-Fernandez #abstract interpretation #verification
- Abstract Interpretation and Verification of Reactive Systems (JCF), pp. 60–71.
- ICSE-1992-FernandezGMRRS #source code #verification
- A Toolbox for the Verification of LOTOS Programs (JCF, HG, LM, AR, CR, JS), pp. 246–259.
- CAV-1991-FernandezM #behaviour #on the fly #verification
- “On the Fly” Verification of Behavioural Equivalences and Preorders (JCF, LM), pp. 181–191.
- ICALP-1991-BouajjaniFGRS #branch #safety #semantics
- Safety for Branching Time Semantics (AB, JCF, SG, CR, JS), pp. 76–92.
- CAV-1990-BouajjaniFH #generative
- Minimal Model Generation (AB, JCF, NH), pp. 197–203.