Stéphane Lafortune

20.7k total citations · 5 hit papers
312 papers, 12.2k citations indexed

About

Stéphane Lafortune is a scholar working on Computational Theory and Mathematics, Computer Networks and Communications and Industrial and Manufacturing Engineering. According to data from OpenAlex, Stéphane Lafortune has authored 312 papers receiving a total of 12.2k indexed citations (citations by other indexed papers that have themselves been cited), including 225 papers in Computational Theory and Mathematics, 126 papers in Computer Networks and Communications and 52 papers in Industrial and Manufacturing Engineering. Recurrent topics in Stéphane Lafortune's work include Petri Nets in System Modeling (218 papers), Formal Methods in Verification (163 papers) and Distributed systems and fault tolerance (117 papers). Stéphane Lafortune is often cited by papers focused on Petri Nets in System Modeling (218 papers), Formal Methods in Verification (163 papers) and Distributed systems and fault tolerance (117 papers). Stéphane Lafortune collaborates with scholars based in United States, Canada and China. Stéphane Lafortune's co-authors include Christos G. Cassandras, Demosthenis Teneketzis, Meera Sampath, Raja Sengupta, Tae-Sic Yoo, Xiang Yin, Feng Lin, Rami Debouk, Yi-Chin Wu and Şahika Genç and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and Physics Letters A.

In The Last Decade

Stéphane Lafortune

302 papers receiving 11.8k citations

Hit Papers

Introduction to Discrete Event Systems 1995 2026 2005 2015 1999 1995 2007 1996 2021 400 800 1.2k
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Introduction to Discrete Event Systems
    1999 1.2k citations Christos G. Cassandras, Stéphane Lafortune profile →
  2. Diagnosability of discrete-event systems
    1995 1.1k citations Stéphane Lafortune et al. IEEE Transactions on Automatic Control profile →
  3. Introduction to Discrete Event Systems
    2007 1.1k citations Christos G. Cassandras, Stéphane Lafortune Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)) profile →
  4. Failure diagnosis using discrete-event models
    1996 481 citations Stéphane Lafortune et al. profile →
  5. Introduction to Discrete Event Systems
    2021 182 citations Christos G. Cassandras, Stéphane Lafortune profile →

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Stéphane Lafortune United States 50 9.5k 3.7k 3.1k 2.6k 1.7k 312 12.2k
W.M. Wonham Canada 59 12.5k 1.3× 5.1k 1.4× 2.8k 0.9× 10.1k 3.8× 1.9k 1.1× 234 23.1k
Alessandro Giua Italy 46 4.8k 0.5× 1.8k 0.5× 1.9k 0.6× 1.4k 0.5× 433 0.3× 330 7.2k
Bruce H. Krogh United States 43 2.9k 0.3× 2.0k 0.5× 983 0.3× 2.8k 1.0× 743 0.4× 228 8.0k
Feng Lin United States 45 4.2k 0.4× 2.3k 0.6× 844 0.3× 1.8k 0.7× 792 0.5× 336 7.0k
Demosthenis Teneketzis United States 34 2.8k 0.3× 1.9k 0.5× 1.2k 0.4× 1.4k 0.5× 855 0.5× 170 5.3k
K. Mani Chandy United States 46 2.1k 0.2× 7.0k 1.9× 741 0.2× 741 0.3× 1.6k 1.0× 168 11.4k
Christoforos N. Hadjicostis Cyprus 38 2.2k 0.2× 3.4k 0.9× 399 0.1× 1.9k 0.7× 1.2k 0.7× 300 6.2k
Ravi Sethi United States 26 2.0k 0.2× 3.0k 0.8× 2.4k 0.8× 276 0.1× 3.8k 2.3× 88 9.8k
Rajeev Alur United States 46 8.8k 0.9× 1.9k 0.5× 186 0.1× 1.0k 0.4× 5.2k 3.1× 187 12.5k
Amir Pnueli Israel 45 9.5k 1.0× 2.1k 0.6× 249 0.1× 436 0.2× 7.5k 4.5× 168 13.1k

Countries citing papers authored by Stéphane Lafortune

Since Specialization
Citations

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

Fields of papers citing papers by Stéphane Lafortune

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Stéphane Lafortune. 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 Stéphane Lafortune. The network helps show where Stéphane Lafortune may publish in the future.

Co-authorship network of co-authors of Stéphane Lafortune

This figure shows the co-authorship network connecting the top 25 collaborators of Stéphane Lafortune. A scholar is included among the top collaborators of Stéphane Lafortune 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 Stéphane Lafortune. Stéphane Lafortune 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.
Lin, Feng, et al.. (2025). Detectability of Discrete Event Systems Under Sensor Attacks. Journal of Systems Science and Complexity. 38(1). 150–177.
2.
Lafortune, Stéphane. (2024). Spectral and linear stability of peakons in the Novikov equation. Studies in Applied Mathematics. 152(4). 1404–1424. 6 indexed citations
3.
Lin, Feng, Stéphane Lafortune, & Caisheng Wang. (2024). Diagnosability and attack detection for discrete event systems under sensor attacks. Discrete Event Dynamic Systems. 34(3). 465–495. 3 indexed citations
4.
Kang, Eunsuk, et al.. (2022). On synthesizing tolerable and permissive controllers for labeled transition systems. IFAC-PapersOnLine. 55(28). 158–164. 1 indexed citations
5.
Lafortune, Stéphane & Dmitry E. Pelinovsky. (2022). Spectral Instability of Peakons in the $b$-Family of the Camassa--Holm Equations. SIAM Journal on Mathematical Analysis. 54(4). 4572–4590. 17 indexed citations
6.
Kwong, R.H., et al.. (2021). Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata. IEEE Transactions on Automatic Control. 67(6). 2873–2888. 17 indexed citations
7.
Lafortune, Stéphane, et al.. (2020). Embedded Insertion Functions for Opacity Enforcement. IEEE Transactions on Automatic Control. 66(9). 4184–4191. 6 indexed citations
8.
Giua, Alessandro, Stéphane Lafortune, & Carla Seatzu. (2019). Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis. IEEE Transactions on Automatic Control. 65(7). 3092–3097. 7 indexed citations
9.
Lafortune, Stéphane, Feng Lin, & Christoforos N. Hadjicostis. (2018). On the history of diagnosability and opacity in discrete event systems. Annual Reviews in Control. 45. 257–266. 130 indexed citations
10.
Carvalho, Lilian K., Yi-Chin Wu, R.H. Kwong, & Stéphane Lafortune. (2016). Detection and prevention of actuator enablement attacks in supervisory control systems. 298–305. 40 indexed citations
11.
Lafortune, Stéphane, et al.. (2012). Modeling, Analysis, and Control of a Class of Resource Allocation Systems Arising in Concurrent Software.. Deep Blue (University of Michigan). 2 indexed citations
12.
Zhou, Hao, et al.. (2011). Simulation analysis of multithreaded programs under deadlock-avoidance control. Winter Simulation Conference. 703–715. 2 indexed citations
13.
Lafortune, Stéphane, et al.. (2008). An algorithm for maximising covered area. International Journal of Control. 81(9). 1493–1505. 2 indexed citations
14.
Wang, Yin, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, & Scott Mahlke. (2008). Gadara: dynamic deadlock avoidance for multithreaded programs. Operating Systems Design and Implementation. 281–294. 101 indexed citations
15.
Cassandras, Christos G. & Stéphane Lafortune. (2007). Introduction to Discrete Event Systems. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 1–51. 1080 indexed citations breakdown →
16.
Lafortune, Stéphane & Şahika Genç. (2006). On diagnosis and predictability of partially-observed discrete -event systems.. Deep Blue (University of Michigan). 4 indexed citations
17.
Lafortune, Stéphane, et al.. (2005). On a discrete version of the Korteweg-De Vries equation. 2005. 22. 6 indexed citations
18.
Gómez‐Ullate, David, Stéphane Lafortune, & P. Winternitz. (1999). Symmetries of discrete dynamical systems involving two species. LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas). 17 indexed citations
19.
Chen, Yiliang, et al.. (1997). Resolving Feature Interactions Using Modular Supervisory Control with Priorities.. 108–122. 14 indexed citations
20.
Thistle, J.G., et al.. (1997). Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach.. 35(7). 93–107. 13 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 W.M. Wonham Breakdown of academic impact, for papers by Alessandro Giua Breakdown of academic impact, for papers by Bruce H. Krogh Breakdown of academic impact, for papers by Feng Lin Breakdown of academic impact, for papers by Demosthenis Teneketzis Breakdown of academic impact, for papers by K. Mani Chandy Breakdown of academic impact, for papers by Christoforos N. Hadjicostis Breakdown of academic impact, for papers by Ravi Sethi Breakdown of academic impact, for papers by Rajeev Alur Breakdown of academic impact, for papers by Amir Pnueli
Rankless by CCL
2026