Laure Petrucci

Papers

Total Citations

H-Index

About

Laure Petrucci is a leading figure in formal methods and automated verification, with a particular focus on the rigorous design and analysis of critical systems. Her research centers on developing and applying formal techniques—such as Petri nets, model checking, and process algebras—to ensure the correctness, safety, and reliability of complex, safety-critical software and hardware. Her most-cited work, "Critical Systems: Formal Methods and Automated Verification" (2017), has garnered 9 citations and serves as a key reference for integrating formal verification into industrial practice. Petrucci's major contributions include pioneering compositional verification approaches that enable scalable analysis of large systems, as well as advancing the theory of high-level Petri nets and their application to real-time and distributed systems. Her impact is reflected not only in her citation record but also in her influential role as a co-author of widely used textbooks and her leadership in the formal methods community, including organizing major conferences. Her work continues to bridge the gap between theoretical foundations and practical tool development, making formal verification more accessible for engineers building dependable systems.