Jean-Marc Faure

973 total citations
35 papers, 467 citations indexed

About

Jean-Marc Faure is a scholar working on Computational Theory and Mathematics, Software and Industrial and Manufacturing Engineering. According to data from OpenAlex, Jean-Marc Faure has authored 35 papers receiving a total of 467 indexed citations (citations by other indexed papers that have themselves been cited), including 27 papers in Computational Theory and Mathematics, 17 papers in Software and 10 papers in Industrial and Manufacturing Engineering. Recurrent topics in Jean-Marc Faure's work include Formal Methods in Verification (24 papers), Petri Nets in System Modeling (17 papers) and Software Testing and Debugging Techniques (10 papers). Jean-Marc Faure is often cited by papers focused on Formal Methods in Verification (24 papers), Petri Nets in System Modeling (17 papers) and Software Testing and Debugging Techniques (10 papers). Jean-Marc Faure collaborates with scholars based in France, Germany and Portugal. Jean-Marc Faure's co-authors include Jean-Jacques Lesage, Romain Jacob, Jean‐Marc Roussel, Julien Provost, Christian Diedrich, Paul Valckenaers, Gérard Morel, Carlos Eduardo Pereira, Olivier de Smet and José Machado and has published in prestigious journals such as IEEE Transactions on Industrial Informatics, International Journal of Production Research and Reliability Engineering & System Safety.

In The Last Decade

Jean-Marc Faure

35 papers receiving 453 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-Marc Faure France 11 294 132 117 104 97 35 467
Franck Cassez France 13 447 1.5× 68 0.5× 171 1.5× 97 0.9× 162 1.7× 51 596
Iwona Grobelna Poland 11 242 0.8× 89 0.7× 40 0.3× 59 0.6× 38 0.4× 51 376
Gianfranco Lamperti Italy 11 368 1.3× 112 0.8× 97 0.8× 53 0.5× 181 1.9× 50 553
Marina Zanella Italy 10 337 1.1× 115 0.9× 88 0.8× 58 0.6× 187 1.9× 56 558
Shengbing Jiang United States 12 692 2.4× 242 1.8× 207 1.8× 48 0.5× 57 0.6× 36 770
Ansgar Fehnker Australia 10 291 1.0× 29 0.2× 68 0.6× 137 1.3× 109 1.1× 35 434
Martijn Hendriks Netherlands 9 173 0.6× 40 0.3× 82 0.7× 108 1.0× 94 1.0× 42 343
Laure Petrucci France 7 364 1.2× 50 0.4× 130 1.1× 191 1.8× 179 1.8× 38 569
Dejan Ničković Austria 12 257 0.9× 30 0.2× 75 0.6× 215 2.1× 157 1.6× 49 465
Davide Bresolin Italy 13 328 1.1× 45 0.3× 181 1.5× 101 1.0× 344 3.5× 58 593

Countries citing papers authored by Jean-Marc Faure

Since Specialization
Citations

This map shows the geographic impact of Jean-Marc Faure'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-Marc Faure with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jean-Marc Faure more than expected).

Fields of papers citing papers by Jean-Marc Faure

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jean-Marc Faure. 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-Marc Faure. The network helps show where Jean-Marc Faure may publish in the future.

Co-authorship network of co-authors of Jean-Marc Faure

This figure shows the co-authorship network connecting the top 25 collaborators of Jean-Marc Faure. A scholar is included among the top collaborators of Jean-Marc Faure 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-Marc Faure. Jean-Marc Faure 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.
Faure, Jean-Marc, et al.. (2019). Finding the minimal cut sequences of dynamic, repairable, and reconfigurable systems from Generalized Boolean logic Driven Markov Process models. Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability. 236(1). 209–220. 1 indexed citations
2.
Guignard, Anaïs, et al.. (2017). Model-Based Testing of PLC Programs With Appropriate Conformance Relations. IEEE Transactions on Industrial Informatics. 14(1). 350–359. 6 indexed citations
3.
Faure, Jean-Marc, et al.. (2017). Safety-Level Aware Bin-Packing Heuristic for Automatic Assignment of Power Plants Control Functions. IEEE Transactions on Automation Science and Engineering. 15(2). 602–612. 2 indexed citations
4.
Amari, Saïd, et al.. (2017). Active Fault-Tolerant Control of Timed Automata with Guards. IFAC-PapersOnLine. 50(1). 13648–13653. 2 indexed citations
5.
Faure, Jean-Marc, et al.. (2017). Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems. Reliability Engineering & System Safety. 163. 57–68. 21 indexed citations
6.
Faure, Jean-Marc, et al.. (2017). Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems. IFAC-PapersOnLine. 50(1). 11144–11149. 1 indexed citations
7.
Jacob, Romain, Jean-Jacques Lesage, & Jean-Marc Faure. (2015). Opacity of Discrete Event Systems: models, validation and quantification. IFAC-PapersOnLine. 48(7). 174–181. 15 indexed citations
8.
Provost, Julien, Jean‐Marc Roussel, & Jean-Marc Faure. (2014). Technical report on Conformance Test of Programmable Logic Controllers - Execution of Minimum-Length Test Sequences. 3 indexed citations
9.
Faure, Jean-Marc, et al.. (2013). AN ANALYTIC EXPRESSION OF THE RELIABILITY OF TRANSMISSIONS IN FIELDBUSES WITH PROPAGATED FAILURES. IFAC Proceedings Volumes. 46(22). 103–108. 1 indexed citations
10.
Guignard, Anaïs & Jean-Marc Faure. (2013). Formal models for conformance test of programmable logic controllers. Journal Européen des Systèmes Automatisés. 47(4-8). 423–446. 2 indexed citations
11.
Faure, Jean-Marc, et al.. (2012). Building meaningful timed models of closed-loop DES for verification purposes. Control Engineering Practice. 21(11). 1620–1639. 15 indexed citations
12.
Provost, Julien, Jean‐Marc Roussel, & Jean-Marc Faure. (2010). Translating Grafcet specifications into Mealy machines for conformance test purposes. Control Engineering Practice. 19(9). 947–957. 35 indexed citations
13.
Provost, Julien, Jean-Marc Roussel, & Jean-Marc Faure. (2009). Test sequence construction from SFC specification. IFAC Proceedings Volumes. 42(5). 299–304. 5 indexed citations
14.
Smet, Olivier de, et al.. (2008). Efficient representation for formal verification of time performances of networked automation architectures. IFAC Proceedings Volumes. 41(2). 5119–5124. 2 indexed citations
15.
Vogel‐Heuser, Birgit, et al.. (2006). PERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING. IFAC Proceedings Volumes. 39(3). 101–106. 19 indexed citations
16.
Roussel, Jean‐Marc & Jean-Marc Faure. (2006). Designing dependable logic controllers using algebraic specifications. Control Engineering Practice. 14(10). 1143–1155. 5 indexed citations
17.
Faure, Jean-Marc, et al.. (2005). FROM FAULT TREE ANALYSIS TO MODEL CHECKING OF LOGIC CONTROLLERS. IFAC Proceedings Volumes. 38(1). 86–91. 2 indexed citations
18.
Roussel, Jean-Marc, et al.. (2004). Algebraic approach for dependable logic control systems design. International Journal of Production Research. 42(14). 2859–2876. 12 indexed citations
19.
Faure, Jean-Marc. (2001). Génération de la commande des systèmes de production en ingénierie intégrée produit/processus. Mécanique & Industries. 2(2). 133–142. 1 indexed citations
20.
Faure, Jean-Marc, et al.. (1995). Business process engineering with partial models. Computers in Industry. 27(2). 111–122. 5 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 Franck Cassez Breakdown of academic impact, for papers by Iwona Grobelna Breakdown of academic impact, for papers by Gianfranco Lamperti Breakdown of academic impact, for papers by Marina Zanella Breakdown of academic impact, for papers by Shengbing Jiang Breakdown of academic impact, for papers by Ansgar Fehnker Breakdown of academic impact, for papers by Martijn Hendriks Breakdown of academic impact, for papers by Laure Petrucci Breakdown of academic impact, for papers by Dejan Ničković Breakdown of academic impact, for papers by Davide Bresolin
Rankless by CCL
2026