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
11092013
The petri net markup language: Concepts, technology, and tools
J Billington, S Christensen, K Van Hee, E Kindler, O Kummer, L Petrucci, ...
International Conference on Application and Theory of Petri Nets, 483-505, 2003
5242003
Modular analysis of Petri nets
S Christensen, L Petrucci
The computer journal 43 (3), 224-242, 2000
1872000
Fast: Fast acceleration of symbolic transition systems
S Bardin, A Finkel, J Leroux, L Petrucci
International Conference on Computer Aided Verification, 118-121, 2003
1512003
Structural analysis of workflow nets with shared resources
K Barkaoui, L Petrucci
921998
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
912009
Towards a modular analysis of coloured Petri nets
S Christensen, L Petrucci
International Conference on Application and Theory of Petri Nets, 113-133, 1992
861992
FAST: acceleration from theory to practice
S Bardin, A Finkel, J Leroux, L Petrucci
International Journal on Software Tools for Technology Transfer 10 (5), 401-424, 2008
822008
Modular state space analysis of coloured Petri nets
S Christensen, L Petrucci
International Conference on Application and Theory of Petri Nets, 201-217, 1995
701995
PNML Framework: an extendable reference implementation of the Petri Net Markup Language
LM Hillah, F Kordon, L Petrucci, N Treves
International Conference on Applications and Theory of Petri Nets, 318-327, 2010
632010
Improved multi-core nested depth-first search
S Evangelista, A Laarman, L Petrucci, J Van De Pol
International Symposium on Automated Technology for Verification and …, 2012
592012
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
542004
Semantics, composition and net properties of algebraic high-level nets
C Dimitrovici, U Hummert, L Petrucci
International Conference on Application and Theory of Petri Nets, 93-117, 1990
471990
Modular analysis of systems composed of semiautonomous subsystems
C Lakos, L Petrucci
Proceedings. Fourth International Conference on Application of Concurrency …, 2004
452004
Modular construction of the symbolic observation graph
K Klai, L Petrucci
2008 8th International Conference on Application of Concurrency to System …, 2008
402008
Parallel nested depth-first searches for LTL model checking
S Evangelista, L Petrucci, S Youcef
International Symposium on Automated Technology for Verification and …, 2011
332011
Modular state space exploration for timed Petri nets
C Lakos, L Petrucci
International journal on software tools for technology transfer 9 (3), 393-411, 2007
332007
PN standardisation: a survey
L Hillah, F Kordon, L Petrucci, N Treves
International Conference on Formal Techniques for Networked and Distributed …, 2006
302006
Efficient state-based analysis by introducing bags in Petri nets color domains
S Haddad, F Kordon, L Petrucci, JF Pradat-Peyre, L Treves
2009 American Control Conference, 5018-5025, 2009
282009
CosyVerif: An open source extensible verification environment
É André, Y Lembachar, L Petrucci, F Hulin-Hubard, A Linard, L Hillah, ...
2013 18th International Conference on Engineering of Complex Computer …, 2013
222013
The system can't perform the operation now. Try again later.
Articles 1–20