Jean-Claude Fernandez

1.7k total citations
23 papers, 548 citations indexed

About

Jean-Claude Fernandez is a scholar working on Computational Theory and Mathematics, Software and Hardware and Architecture. According to data from OpenAlex, Jean-Claude Fernandez has authored 23 papers receiving a total of 548 indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Computational Theory and Mathematics, 11 papers in Software and 7 papers in Hardware and Architecture. Recurrent topics in Jean-Claude Fernandez's work include Formal Methods in Verification (17 papers), Software Testing and Debugging Techniques (9 papers) and Embedded Systems Design Techniques (6 papers). Jean-Claude Fernandez is often cited by papers focused on Formal Methods in Verification (17 papers), Software Testing and Debugging Techniques (9 papers) and Embedded Systems Design Techniques (6 papers). Jean-Claude Fernandez collaborates with scholars based in France, Switzerland and Türkiye. Jean-Claude Fernandez's co-authors include Laurent Mounier, Ylìès Falcone, Claude Jard, Thierry Jéron, César Viho, Gilbert Reinisch, Jean-Luc Richier, Joseph Sifakis, Marius Bozga and Jean-Marc Gambaudo and has published in prestigious journals such as Physical Review Letters, Physica Scripta and Real-Time Systems.

In The Last Decade

Jean-Claude Fernandez

23 papers receiving 492 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Jean-Claude Fernandez France 13 328 227 210 127 111 23 548
Pravesh K. Kothari United States 11 136 0.4× 209 0.9× 236 1.1× 236 1.9× 255 2.3× 39 600
Roland Backhouse United Kingdom 15 402 1.2× 106 0.5× 511 2.4× 121 1.0× 84 0.8× 52 676
Roberto Bagnara Italy 11 323 1.0× 148 0.7× 241 1.1× 57 0.4× 124 1.1× 36 450
Michael Karr United States 6 261 0.8× 94 0.4× 215 1.0× 38 0.3× 66 0.6× 7 421
Jean-Christophe Filliâtre France 10 487 1.5× 142 0.6× 596 2.8× 127 1.0× 151 1.4× 25 783
Annabelle McIver Australia 14 556 1.7× 158 0.7× 686 3.3× 144 1.1× 33 0.3× 58 835
David Monniaux France 11 483 1.5× 305 1.3× 439 2.1× 102 0.8× 232 2.1× 32 756
Eric C. R. Hehner Canada 12 357 1.1× 174 0.8× 451 2.1× 105 0.8× 100 0.9× 33 613
Roman Manevich United States 10 66 0.2× 113 0.5× 150 0.7× 323 2.5× 307 2.8× 18 592
David S. Wise United States 16 221 0.7× 48 0.2× 393 1.9× 408 3.2× 483 4.4× 55 776

Countries citing papers authored by Jean-Claude Fernandez

Since Specialization
Citations

This map shows the geographic impact of Jean-Claude Fernandez's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Jean-Claude Fernandez with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jean-Claude Fernandez more than expected).

Fields of papers citing papers by Jean-Claude Fernandez

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jean-Claude Fernandez. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Jean-Claude Fernandez. The network helps show where Jean-Claude Fernandez may publish in the future.

Co-authorship network of co-authors of Jean-Claude Fernandez

This figure shows the co-authorship network connecting the top 25 collaborators of Jean-Claude Fernandez. A scholar is included among the top collaborators of Jean-Claude Fernandez based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Jean-Claude Fernandez. Jean-Claude Fernandez is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Fernandez, Jean-Claude, et al.. (2018). Détermination des principaux indicateurs d'attractivité d'un territoire, un enjeu fort pour les collectivités.. HAL (Le Centre pour la Communication Scientifique Directe). 1 indexed citations
2.
Pektaş, Abdurrahman, Tankut Acarman, Ylìès Falcone, & Jean-Claude Fernandez. (2015). Runtime-behavior based malware classification using online machine learning. 7. 166–171. 6 indexed citations
3.
Falcone, Ylìès, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, & Laurent Mounier. (2011). More testable properties. International Journal on Software Tools for Technology Transfer. 14(4). 407–437. 4 indexed citations
4.
Falcone, Ylìès, Laurent Mounier, Jean-Claude Fernandez, & Jean-Luc Richier. (2011). Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design. 38(3). 223–262. 48 indexed citations
5.
Falcone, Ylìès, Jean-Claude Fernandez, & Laurent Mounier. (2011). What can you verify and enforce at runtime?. International Journal on Software Tools for Technology Transfer. 14(3). 349–382. 54 indexed citations
6.
Falcone, Ylìès, Laurent Mounier, Jean-Claude Fernandez, & Jean-Luc Richier. (2008). j-POST: a Java Toolchain for Property-Oriented Software Testing. Electronic Notes in Theoretical Computer Science. 220(1). 29–41. 5 indexed citations
7.
Combaz, Jacques, et al.. (2008). Symbolic quality control for multimedia applications. Real-Time Systems. 40(1). 1–43. 12 indexed citations
8.
Bensalem, Saddek, Jean-Claude Fernandez, Klaus Havelund, & Laurent Mounier. (2006). Confirmation of deadlock potentials detected by runtime analysis. 41–50. 27 indexed citations
9.
Fernandez, Jean-Claude, et al.. (2003). State space reduction based on live variables analysis. Science of Computer Programming. 47(2-3). 203–220. 12 indexed citations
10.
Bozga, Marius, et al.. (2003). Using static analysis to improve automatic test generation. International Journal on Software Tools for Technology Transfer. 4(2). 142–152. 8 indexed citations
11.
Bozga, Marius, Jean-Claude Fernandez, Claude Jard, et al.. (2000). Verification and test generation for the SSCOP protocol. Science of Computer Programming. 36(1). 27–52. 12 indexed citations
12.
Fernandez, Jean-Claude, Claude Jard, Thierry Jéron, & César Viho. (1997). An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming. 29(1-2). 123–146. 75 indexed citations
13.
Bozga, Marius, Jean-Claude Fernandez, Alain Kerbrat, & Laurent Mounier. (1997). Protocol verification with the ALDÉBARAN toolset. International Journal on Software Tools for Technology Transfer. 1(1-2). 166–183. 20 indexed citations
14.
Halbwachs, Nicolas, et al.. (1993). An executable temporal logic to express safety properties and its connection with the language Lustre. SPIRE - Sciences Po Institutional REpository. 2 indexed citations
15.
Fernandez, Jean-Claude, et al.. (1992). A toolbox for the verification of LOTOS programs. 246–259. 43 indexed citations
16.
Fernandez, Jean-Claude, et al.. (1992). On-the-fly verification of finite transition systems. Formal Methods in System Design. 1(2-3). 251–273. 28 indexed citations
17.
Fernandez, Jean-Claude & Laurent Mounier. (1990). Verifying Bisimulations On the Fly. 95–110. 12 indexed citations
18.
Fernandez, Jean-Claude. (1990). An implementation of an efficient algorithm for bisimulation equivalence. Science of Computer Programming. 13(2-3). 219–236. 116 indexed citations
19.
Fernandez, Jean-Claude, Jean-Marc Gambaudo, Serge Gauthier, & Gilbert Reinisch. (1981). Sine-Gordon Solitons Do Not Behave Like Newtonian Particles. Physical Review Letters. 46(12). 753–756. 36 indexed citations
20.
Fernandez, Jean-Claude, Claude Froeschlé, & Gilbert Reinisch. (1979). Adiabatic Perturbations of Solitons and Shock Waves. Physica Scripta. 20(3-4). 545–551. 11 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Pravesh K. Kothari Breakdown of academic impact, for papers by Roland Backhouse Breakdown of academic impact, for papers by Roberto Bagnara Breakdown of academic impact, for papers by Michael Karr Breakdown of academic impact, for papers by Jean-Christophe Filliâtre Breakdown of academic impact, for papers by Annabelle McIver Breakdown of academic impact, for papers by David Monniaux Breakdown of academic impact, for papers by Eric C. R. Hehner Breakdown of academic impact, for papers by Roman Manevich Breakdown of academic impact, for papers by David S. Wise
Rankless by CCL
2026