Laurent Mounier

2.7k total citations
27 papers, 616 citations indexed

About

Laurent Mounier is a scholar working on Software, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Laurent Mounier has authored 27 papers receiving a total of 616 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Software, 14 papers in Computational Theory and Mathematics and 13 papers in Artificial Intelligence. Recurrent topics in Laurent Mounier's work include Software Testing and Debugging Techniques (14 papers), Formal Methods in Verification (14 papers) and Security and Verification in Computing (9 papers). Laurent Mounier is often cited by papers focused on Software Testing and Debugging Techniques (14 papers), Formal Methods in Verification (14 papers) and Security and Verification in Computing (9 papers). Laurent Mounier collaborates with scholars based in France, Netherlands and Argentina. Laurent Mounier's co-authors include Jean-Claude Fernandez, Sanjay Rawat, Josselin Feist, Ylìès Falcone, Gustavo Grieco, Lucas C. Uzal, Guillermo L. Grinblat, Marie-Laure Potet, Hubert Garavel and Jean-Luc Richier and has published in prestigious journals such as Science of Computer Programming, ACM Transactions on Embedded Computing Systems and International Journal on Software Tools for Technology Transfer.

In The Last Decade

Laurent Mounier

25 papers receiving 575 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Laurent Mounier France 14 317 259 220 197 192 27 616
Paul E. Black United States 15 587 1.9× 170 0.7× 147 0.7× 339 1.7× 247 1.3× 47 813
Vijay D’Silva United Kingdom 9 195 0.6× 198 0.8× 153 0.7× 120 0.6× 180 0.9× 24 493
Rajeev Joshi United States 16 310 1.0× 294 1.1× 106 0.5× 183 0.9× 210 1.1× 30 672
Ana Cavalli France 13 368 1.2× 145 0.6× 93 0.4× 153 0.8× 170 0.9× 81 639
Neha Rungta United States 14 747 2.4× 201 0.8× 172 0.8× 530 2.7× 131 0.7× 47 905
Patrick Meredith United States 14 293 0.9× 297 1.1× 66 0.3× 176 0.9× 175 0.9× 26 674
Vadim Okun United States 11 692 2.2× 114 0.4× 94 0.4× 368 1.9× 106 0.6× 14 796
Fausto Spoto Italy 12 129 0.4× 241 0.9× 179 0.8× 220 1.1× 96 0.5× 48 465
Toby Murray Australia 14 97 0.3× 611 2.4× 259 1.2× 196 1.0× 110 0.6× 66 778
Nina Yevtushenko Russia 13 555 1.8× 200 0.8× 86 0.4× 120 0.6× 332 1.7× 107 775

Countries citing papers authored by Laurent Mounier

Since Specialization
Citations

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

Fields of papers citing papers by Laurent Mounier

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Laurent Mounier

This figure shows the co-authorship network connecting the top 25 collaborators of Laurent Mounier. A scholar is included among the top collaborators of Laurent Mounier 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 Laurent Mounier. Laurent Mounier 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.
Grieco, Gustavo, Guillermo L. Grinblat, Lucas C. Uzal, et al.. (2016). Toward Large-Scale Vulnerability Discovery using Machine Learning. VU Research Portal. 85–96. 156 indexed citations
2.
Feist, Josselin, Laurent Mounier, & Marie-Laure Potet. (2014). Statically detecting use after free on binary code. Journal of Computer Virology and Hacking Techniques. 10(3). 211–217. 47 indexed citations
3.
Rawat, Sanjay, Laurent Mounier, & Marie-Laure Potet. (2014). LiSTT: An Investigation into Unsound-Incomplete Yet Practical Result Yielding Static Taintflow Analysis. 1605. 498–505. 3 indexed citations
4.
Grieco, Gustavo, Laurent Mounier, Marie-Laure Potet, & Sanjay Rawat. (2013). A Stack Model for Symbolic Buffer Overflow Exploitability Analysis. 216–217.
5.
Maraninchi, Florence, et al.. (2013). Synchronous programming of device drivers for global resource control in embedded operating systems. ACM Transactions on Embedded Computing Systems. 12(1s). 1–26. 3 indexed citations
6.
Rawat, Sanjay & Laurent Mounier. (2011). Offset-Aware Mutation Based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results. 531–533. 18 indexed citations
7.
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
8.
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
9.
10.
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
11.
Li, Keqin, Laurent Mounier, & Roland Groz. (2007). Test Generation from Security Policies Specified in Or-BAC. 255–260. 19 indexed citations
12.
Basu, Ananda, et al.. (2007). Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 257–260. 21 indexed citations
13.
Mounier, Laurent, et al.. (2007). Worst-case lifetime computation of a wireless sensor network by model-checking. 1–8. 9 indexed citations
14.
Bensalem, Saddek, Jean-Claude Fernandez, Klaus Havelund, & Laurent Mounier. (2006). Confirmation of deadlock potentials detected by runtime analysis. 41–50. 27 indexed citations
15.
Graf, Susanne & Laurent Mounier. (2004). Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 ; proceedings. Medical Entomology and Zoology. 6 indexed citations
16.
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
17.
Garavel, Hubert & Laurent Mounier. (1997). Specification and verification of various distributed leader election algorithms for unidirectional ring networks. Science of Computer Programming. 29(1-2). 171–197. 13 indexed citations
18.
Fernandez, Jean-Claude, et al.. (1992). A toolbox for the verification of LOTOS programs. 246–259. 43 indexed citations
19.
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
20.
Fernandez, Jean-Claude & Laurent Mounier. (1990). Verifying Bisimulations On the Fly. 95–110. 12 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 Paul E. Black Breakdown of academic impact, for papers by Vijay D’Silva Breakdown of academic impact, for papers by Rajeev Joshi Breakdown of academic impact, for papers by Ana Cavalli Breakdown of academic impact, for papers by Neha Rungta Breakdown of academic impact, for papers by Patrick Meredith Breakdown of academic impact, for papers by Vadim Okun Breakdown of academic impact, for papers by Fausto Spoto Breakdown of academic impact, for papers by Toby Murray Breakdown of academic impact, for papers by Nina Yevtushenko
Rankless by CCL
2026