Laure Petrucci

Available identifiers

zbMath Open petrucci.laureDBLPp/LaurePetrucciWikidataQ62058079 ScholiaQ62058079MaRDI QIDQ225085

List of research outcomes

Publication	Date of Publication	Type
Avoiding state explosion by composition of minimal covering graphs	2024-04-29	Paper
Distributed parametric model checking timed automata under non-zenoness assumption	2023-06-29	Paper
Quasi-optimal partial order reduction	2023-05-05	Paper
Parameter Synthesis Algorithms for Parametric Interval Markov Chains	2023-03-10	Paper
Efficient convex zone merging in parametric timed automata	2023-01-18	Paper
On completeness of liveness synthesis for parametric timed automata (Extended Abstract)	2021-10-27	Paper
Quasi-optimal partial order reduction	2021-08-30	Paper
Iterative bounded synthesis for efficient cycle detection in parametric timed automata	2021-08-04	Paper
Parametric verification: an introduction	2021-06-14	Paper
Timed ATL: Forget Memory, Just Count	2019-10-11	Paper
Parameter Synthesis for Parametric Interval Markov Chains	2016-03-23	Paper
PeCAn: Compositional Verification of Petri Nets Made Easy	2015-12-17	Paper
Verification of Reachability Properties for Time Petri Nets	2014-07-07	Paper
Experimenting Formal Proofs of Petri Nets Refinements	2014-03-26	Paper
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs	2013-08-16	Paper
Extending pnml Scope: A Framework to Combine Petri Nets Types	2013-03-13	Paper
Improved Multi-Core Nested Depth-First Search	2012-11-21	Paper
Parallel Nested Depth-First Searches for LTL Model Checking	2011-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q5190771	2009-07-27	Paper
Towards a Standard for Modular Petri Nets: A Formalisation	2009-06-30	Paper
PN Standardisation: A Survey	2009-03-11	Paper
An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets	2009-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q3369934	2006-02-06	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
Specification and validation of a concurrent system: An educational project	2002-09-29	Paper
Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture	1997-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4037088	1993-05-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Laure Petrucci