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
10842013
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
5052003
Modular analysis of Petri nets
S Christensen, L Petrucci
The computer journal 43 (3), 224-242, 2000
1802000
Fast: Fast acceleration of symbolic transition systems
S Bardin, A Finkel, J Leroux, L Petrucci
International Conference on Computer Aided Verification, 118-121, 2003
1482003
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
902009
Structural analysis of workflow nets with shared resources
K Barkaoui, L Petrucci
871998
Towards a modular analysis of coloured Petri nets
S Christensen, L Petrucci
International Conference on Application and Theory of Petri Nets, 113-133, 1992
851992
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
792008
Modular state space analysis of coloured Petri nets
S Christensen, L Petrucci
International Conference on Application and Theory of Petri Nets, 201-217, 1995
691995
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
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
572010
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
492004
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
491990
Modular analysis of systems composed of semiautonomous subsystems
C Lakos, L Petrucci
Proceedings. Fourth International Conference on Application of Concurrency …, 2004
432004
Développement d'un modèle représentatif d'une éolienne afin d'étudier l'implantation de plusieurs machines sur un parc éolien
M Jourieh
36*2007
Modular construction of the symbolic observation graph
K Klai, L Petrucci
2008 8th International Conference on Application of Concurrency to System …, 2008
352008
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
LTL satisfiability checking revisited
J Li, L Zhang, G Pu, MY Vardi, J He
2013 20th International Symposium on Temporal Representation and Reasoning …, 2013
32*2013
Modular state space exploration for timed Petri nets
C Lakos, L Petrucci
International journal on software tools for technology transfer 9 (3-4), 393-411, 2007
312007
PN standardisation: a survey
L Hillah, F Kordon, L Petrucci, N Treves
International Conference on Formal Techniques for Networked and Distributed …, 2006
282006
The system can't perform the operation now. Try again later.
Articles 1–20