Laure Petrucci

2.3k total citations
38 papers, 569 citations indexed

About

Laure Petrucci is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence. According to data from OpenAlex, Laure Petrucci has authored 38 papers receiving a total of 569 indexed citations (citations by other indexed papers that have themselves been cited), including 34 papers in Computational Theory and Mathematics, 12 papers in Software and 9 papers in Artificial Intelligence. Recurrent topics in Laure Petrucci's work include Formal Methods in Verification (24 papers), Petri Nets in System Modeling (22 papers) and Model-Driven Software Engineering Techniques (10 papers). Laure Petrucci is often cited by papers focused on Formal Methods in Verification (24 papers), Petri Nets in System Modeling (22 papers) and Model-Driven Software Engineering Techniques (10 papers). Laure Petrucci collaborates with scholars based in France, Australia and Poland. Laure Petrucci's co-authors include Michel Bidoit, François Laroussinie, Béatrice Bérard, Antoine Petit, Alain Finkel, Ph. Schnoebelen, Pierre McKenzie, Philippe Schnoebelen, Alain Finkel and Sébastien Bardin and has published in prestigious journals such as IEEE Transactions on Reliability, Lecture notes in computer science and Journal of Artificial Intelligence Research.

In The Last Decade

Laure Petrucci

34 papers receiving 517 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Laure Petrucci France 7 364 191 179 130 109 38 569
Béatrice Bérard France 11 521 1.4× 246 1.3× 256 1.4× 172 1.3× 153 1.4× 31 760
François Laroussinie France 11 482 1.3× 260 1.4× 326 1.8× 115 0.9× 104 1.0× 27 701
Ursula Goltz Germany 15 364 1.0× 216 1.1× 387 2.2× 178 1.4× 75 0.7× 60 727
Ph. Schnoebelen France 12 668 1.8× 286 1.5× 392 2.2× 150 1.2× 98 0.9× 26 877
Thierry Jéron France 12 399 1.1× 438 2.3× 176 1.0× 140 1.1× 71 0.7× 35 703
Serge Haddad France 14 493 1.4× 137 0.7× 197 1.1× 193 1.5× 97 0.9× 82 740
Gerd Behrmann Denmark 12 363 1.0× 209 1.1× 160 0.9× 292 2.2× 129 1.2× 31 726
Franck Cassez France 13 447 1.2× 97 0.5× 162 0.9× 171 1.3× 109 1.0× 51 596
Michel Bidoit France 13 535 1.5× 280 1.5× 495 2.8× 141 1.1× 106 1.0× 37 855
Jonathan S. Ostroff Canada 14 651 1.8× 286 1.5× 268 1.5× 154 1.2× 291 2.7× 44 892

Countries citing papers authored by Laure Petrucci

Since Specialization
Citations

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

Fields of papers citing papers by Laure Petrucci

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Laure Petrucci

This figure shows the co-authorship network connecting the top 25 collaborators of Laure Petrucci. A scholar is included among the top collaborators of Laure Petrucci 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 Laure Petrucci. Laure Petrucci 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.
Bae, Kyungmin, et al.. (2024). A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets. Fundamenta Informaticae. 192(3-4). 261–312. 1 indexed citations
2.
Olarte, Carlos, et al.. (2024). Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models. IEEE Transactions on Reliability. 73(2). 861–875. 1 indexed citations
3.
Bae, Kyungmin, et al.. (2023). Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. Science of Computer Programming. 233. 103074–103074. 1 indexed citations
4.
Petrucci, Laure & Jeremy Sproston. (2023). Formal Modeling and Analysis of Timed Systems. Lecture notes in computer science. 1 indexed citations
5.
Cavalcanti, Ana, Cristina Seceleanu, & Laure Petrucci. (2017). Critical Systems: Formal Methods and Automated Verification. Lecture notes in computer science. 9 indexed citations
6.
Quan, Tho, et al.. (2016). Congestion Verification on Abstracted Wireless Sensor Networks with the WSN-PN Tool. 4(1). 33–40. 6 indexed citations
7.
Quan, Tho, et al.. (2015). Component-Based Abstraction of Petri Net Models. 342–349. 1 indexed citations
8.
Petrucci, Laure, et al.. (2013). Professional experience validation process at a national level. 11–15.
9.
Petrucci, Laure, et al.. (2012). Distributed model-checking and counterexample search for CTL logic. 3(1/2). 44–44. 6 indexed citations
10.
Kristensen, Lars Michael & Laure Petrucci. (2011). Applications and theory of Petri nets : 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 2 indexed citations
11.
Kristensen, Lars Michael & Laure Petrucci. (2011). Proceedings of the 32nd international conference on Applications and theory of Petri Nets. 2 indexed citations
12.
Klai, Kaïs & Laure Petrucci. (2008). Modular construction of the symbolic observation graph. 88–97. 14 indexed citations
13.
Bardin, Sébastien, Alain Finkel, Jérôme Leroux, & Laure Petrucci. (2008). FAST: acceleration from theory to practice. International Journal on Software Tools for Technology Transfer. 10(5). 401–424. 32 indexed citations
14.
Choppy, Christine, et al.. (2008). Experimenting Formal Proofs of Petri Nets Refinements. Electronic Notes in Theoretical Computer Science. 214. 231–254. 6 indexed citations
15.
Petrucci, Laure, et al.. (2007). Towards Distributed Verification of Petri Nets Properties. Electronic workshops in computing. 7 indexed citations
16.
Petrucci, Laure, et al.. (2007). Modular state space exploration for timed petri nets. International Journal on Software Tools for Technology Transfer. 9(3-4). 393–411. 15 indexed citations
17.
Petrucci, Laure, Lars Michael Kristensen, Jonathan Billington, & Z.H. Qureshi. (2002). Towards formal specification and analysis of avionics mission systems. Formal Methods. 95–104. 4 indexed citations
18.
Bérard, Béatrice, Michel Bidoit, Alain Finkel, et al.. (2001). Systems and Software Verification. 156 indexed citations
19.
Petrucci, Laure, et al.. (2001). Specification and validation of a concurrent system: an educational project. International Journal on Software Tools for Technology Transfer. 3(4). 372–381. 4 indexed citations
20.
Finkel, Alain & Laure Petrucci. (1994). Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture. RAIRO - Theoretical Informatics and Applications. 28(2). 73–124. 1 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 Béatrice Bérard Breakdown of academic impact, for papers by François Laroussinie Breakdown of academic impact, for papers by Ursula Goltz Breakdown of academic impact, for papers by Ph. Schnoebelen Breakdown of academic impact, for papers by Thierry Jéron Breakdown of academic impact, for papers by Serge Haddad Breakdown of academic impact, for papers by Gerd Behrmann Breakdown of academic impact, for papers by Franck Cassez Breakdown of academic impact, for papers by Michel Bidoit Breakdown of academic impact, for papers by Jonathan S. Ostroff
Rankless by CCL
2026