Concepedia

Laure Petrucci

LP

11

Publications

254

Citations

10

H-Index

2004

Active since

Affiliations

Université Sorbonne Paris Nord(Current)

Laboratoire d'Informatique de Paris-Nord

Centre National de la Recherche Scientifique

Université Paris Cité

École Normale Supérieure Paris-Saclay

Laure Petrucci is an author at Université Sorbonne Paris Nord specializing in computer science, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringVerificationAutomated ReasoningComputer EngineeringSoftware AnalysisProgram Analysis

Publications per year

2004–2022

11

Publications

11

FAST: acceleration from theory to practice

Sébastien Bardin, Alain Finkel, Jérôme Leroux et al. · International Journal on Software Tools for Technology Transfer · 2008 · 78 citations · Full text

Computational Science, Engineering, Special Relativity +3

Modular construction of the symbolic observation graph

Kaïs Klai, Laure Petrucci · 2008 · 32 citations

Engineering, Verification, Linear Time Logic +19

Modular analysis of systems composed of semiautonomous subsystems

C. Lakos, Laure Petrucci · 2004 · 31 citations

Petri Net, Engineering, Reachability Problem +18

Modular state space exploration for timed petri nets

C. Lakos, Laure Petrucci · International Journal on Software Tools for Technology Transfer · 2007 · 21 citations

Petri Net, Engineering, Stochastic Petri Net +6

Efficient state-based analysis by introducing bags in Petri nets color domains

Serge Haddad, Fabrice Kordon, Laure Petrucci et al. · 2009 · 16 citations

Petri Net, Symmetric Nets, Engineering +21

Rows per page

1–5 of 11