Jean-Claude Fernandez

Author

Verimag

Also Known As

Davies, Jim, Fernandez, Jean-Claude, J.Cl. Fernandez, Jean-Claude Fernandez, Katoen, Joost P.

Publications

1.7K

Citations

H-Index

Concepts

All Affiliations

Verimag Université Grenoble Alpes Université Joseph Fourier Institut de Recherche en Informatique et Systèmes Aléatoires Institut national de recherche en sciences et technologies du numérique

About

Jean-Claude Fernandez is an author at Verimag specializing in computer science, formal verification, and engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	15	979
2	Computer Science	12	14	944
3	Computer Engineering	6	6	335
4	Business	1	1	13
5	Operations Research	1	1	13

Jean-Claude Fernandez

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
An implementation of an efficient algorithm for bisimulation equivalence Jean-Claude Fernandez Science of Computer Programming EngineeringFormal MethodsComputer-aided VerificationComputational ComplexityParallel Programming	1990	201
What can you verify and enforce at runtime? Ylìès Falcone, Jean-Claude Fernandez, Laurent Mounier International Journal on Software Tools for Technology Transfer Program CheckingEngineeringRuntime VerificationProgram AnalysisSoftware Testing	2011	151
An experiment in automatic generation of test suites for protocols with verification technology Jean-Claude Fernandez, Claude Jard, Thierry Jéron, Science of Computer Programming EngineeringVerificationTest Data GenerationSoftware EngineeringSoftware Analysis	1997	146
Runtime enforcement monitors: composition, synthesis, and enforcement abilities Ylìès Falcone, Laurent Mounier, Jean-Claude Fernandez, Formal Methods in System Design Runtime Enforcement MonitorsEngineeringRuntime VerificationProgram AnalysisInformation Security	2011	128
A toolbox for the verification of LOTOS programs Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, EngineeringRuntime VerificationTools AldebaranProgram AnalysisSoftware Testing	1992	82
On-the-fly verification of finite transition systems Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Formal Methods in System Design Finite Transition SystemsEngineeringAutomated ReasoningVerificationFormal Methods	1992	60
Confirmation of deadlock potentials detected by runtime analysis Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, EngineeringVerificationDeadlock PotentialsSoftware EngineeringConcurrent System	2006	47
Sine-Gordon Solitons Do Not Behave Like Newtonian Particles Jean-Claude Fernandez, Jean-Marc Gambaudo, Serge Gauthier, Physical Review Letters Constant Torque IncreasesPhysicsSine-gordon SolitonsTopological SolitonOptical Soliton	1981	42
Protocol verification with the ALDÉBARAN toolset Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, International Journal on Software Tools for Technology Transfer EngineeringInteraction ProtocolVerificationFormal MethodsSoftware Verification	1997	39
State space reduction based on live variables analysis Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu Science of Computer Programming State EstimationNonlinear System IdentificationState Space SearchProcess ControlState Space Reduction	2003	36

Page 1