Volgen
Laure Petrucci
Laure Petrucci
LIPN, CNRS UMR 7030, Université Paris 13
Geverifieerd e-mailadres voor lipn.univ-paris13.fr
Titel
Geciteerd door
Geciteerd door
Jaar
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
11672013
The petri net markup language: Concepts, technology, and tools
J Billington, S Christensen, K Van Hee, E Kindler, O Kummer, L Petrucci, ...
ICATPN 3, 483-505, 2003
5422003
Modular analysis of Petri nets
S Christensen, L Petrucci
The computer journal 43 (3), 224-242, 2000
1982000
FAST: Fast acceleration of symbolic transition systems
S Bardin, A Finkel, J Leroux, L Petrucci
CAV 3, 118-121, 2003
1562003
Structural analysis of workflow nets with shared ressources
K Barkaoui, L Petrucci
Workflow management: Net-based Concepts, Models, Techniques and Tools (WFM …, 1998
1031998
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
962009
Towards a modular analysis of coloured Petri nets
S Christensen, L Petrucci
DAIMI Report Series 21 (391), 1992
931992
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
912008
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
752010
Modular state space analysis of coloured Petri nets
S Christensen, L Petrucci
Application and Theory of Petri Nets 1995: 16th International Conference …, 1995
731995
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
662012
An approach to distributed state space exploration for coloured petri nets
LM Kristensen, L Petrucci
Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004
562004
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
471991
Modular construction of the symbolic observation graph
K Klai, L Petrucci
2008 8th International Conference on Application of Concurrency to System …, 2008
462008
Modular analysis of systems composed of semiautonomous subsystems
C Lakos, L Petrucci
Proceedings. Fourth International Conference on Application of Concurrency …, 2004
452004
Parallel nested depth-first searches for LTL model checking
S Evangelista, L Petrucci, S Youcef
Automated Technology for Verification and Analysis: 9th International …, 2011
352011
PN standardisation: a survey
L Hillah, F Kordon, L Petrucci, N Treves
Formal Techniques for Networked and Distributed Systems-FORTE 2006: 26th …, 2006
342006
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
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
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
262018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20