Follow
Laure Petrucci
Laure Petrucci
LIPN, CNRS UMR 7030, Université Paris 13
Verified email at lipn.univ-paris13.fr
Title
Cited by
Cited by
Year
Systems and software verification: model-checking techniques and tools
B Bérard, M Bidoit, A Finkel, F Laroussinie, A Petit, L Petrucci, ...
Springer Science & Business Media, 2013
12352013
The petri net markup language: Concepts, technology, and tools
J Billington, S Christensen, K Van Hee, E Kindler, O Kummer, L Petrucci, ...
Applications and Theory of Petri Nets 2003: 24th International Conference …, 2003
5612003
Modular analysis of Petri nets
S Christensen, L Petrucci
The computer journal 43 (3), 224-242, 2000
2052000
Fast: Fast acceleration of symbolic transition systems
S Bardin, A Finkel, J Leroux, L Petrucci
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
1662003
Structural analysis of workflow nets with shared ressources
K Barkaoui, L Petrucci
Workflow management: Net-based Concepts, Models, Techniques and Tools (WFM …, 1998
1061998
A primer on the Petri Net Markup Language and ISO/IEC 15909-2
LM Hillah, E Kindler, F Kordon, L Petrucci, N Treves
Petri Net Newsletter 76, 9-28, 2009
1002009
FAST: acceleration from theory to practice
S Bardin, A Finkel, J Leroux, L Petrucci
International Journal on Software Tools for Technology Transfer 10, 401-424, 2008
992008
Towards a modular analysis of coloured Petri nets
S Christensen, L Petrucci
International Conference on Application and Theory of Petri Nets, 113-133, 1992
891992
PNML Framework: an extendable reference implementation of the Petri Net Markup Language
LM Hillah, F Kordon, L Petrucci, N Treves
Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010
832010
Modular state space analysis of coloured Petri nets
S Christensen, L Petrucci
International Conference on Application and Theory of Petri Nets, 201-217, 1995
751995
Improved multi-core nested depth-first search
S Evangelista, A Laarman, L Petrucci, J Van De Pol
Automated Technology for Verification and Analysis: 10th International …, 2012
732012
An approach to distributed state space exploration for coloured petri nets
LM Kristensen, L Petrucci
International Conference on Application and Theory of Petri Nets, 474-483, 2004
572004
Modular construction of the symbolic observation graph
K Klai, L Petrucci
2008 8th International Conference on Application of Concurrency to System …, 2008
492008
Semantics, composition and net properties of algebraic high-level nets
C Dimitrovici, U Hummert, L Petrucci
Advances in Petri Nets 1991 11, 93-117, 1991
481991
Modular analysis of systems composed of semiautonomous subsystems
C Lakos, L Petrucci
Proceedings. Fourth International Conference on Application of Concurrency …, 2004
462004
Parallel nested depth-first searches for LTL model checking
S Evangelista, L Petrucci, S Youcef
Automated Technology for Verification and Analysis: 9th International …, 2011
402011
Parallel model checking algorithms for linear-time temporal logic
J Barnat, V Bloemen, A Duret-Lutz, A Laarman, L Petrucci, J van de Pol, ...
Handbook of Parallel Constraint Reasoning, 457-507, 2018
372018
PN standardisation: a survey
L Hillah, F Kordon, L Petrucci, N Trèves
International Conference on Formal Techniques for Networked and Distributed …, 2006
372006
Quasi-optimal partial order reduction
HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
332018
Modular state space exploration for timed Petri nets
C Lakos, L Petrucci
International journal on software tools for technology transfer 9, 393-411, 2007
332007
The system can't perform the operation now. Try again later.
Articles 1–20