( en | de | ru )

 

Disambiguation of "Petrucci, Laure"

Author of the publication

copydeleteadd this publication to your clipboard
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.

, , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 280-295. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefan Laure

Laure Amate

Laure Aeschimann

Laure Johann

Laure Fourchaud

 

Other publications of authors with the same name

Specification and validation of a concurrent system: an educational project., and . Int. J. Softw. Tools Technol. Transf., 3 (4): 372-381 (2001)Avoiding State Exposion by Composition of Minimal Covering Graphs., and . CAV, volume 575 of Lecture Notes in Computer Science, page 169-180. Springer, (1991)Modular construction of the symbolic observation graph., and . ACSD, page 88-97. IEEE, (2008)Composition/décomposition de réseaux de petri et de leurs graphes de couverture., and . RAIRO Theor. Informatics Appl., 28 (2): 73-124 (1994)Parallel Nested Depth-First Searches for LTL Model Checking., , and . ATVA, volume 6996 of Lecture Notes in Computer Science, page 381-396. Springer, (2011)Multi-threaded Explicit State Space Exploration with State Reconstruction., , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 208-223. Springer, (2013)Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models., , , , , and . CoRR, (2023)On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)., , , and . CoRR, (2024)Efficient state-based analysis by introducing bags in Petri nets color domains., , , , and . ACC, page 5018-5025. IEEE, (2009)PAPETRI: Environment for the Analysis of PETRI Nets., , and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 43-56. DIMACS/AMS, (1990)