Laure Petrucci

Available identifiers

zbMath Open petrucci.laureDBLPp/LaurePetrucciWikidataQ62058079 ScholiaQ62058079MaRDI QIDQ225085

List of research outcomes

Publication	Date of Publication	Type
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets	2024-10-22	Paper
Avoiding state explosion by composition of minimal covering graphs	2024-04-29	Paper
Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving	2023-11-16	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
Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption	2022-09-23	Dataset
Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"	2022-07-07	Dataset
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
Modular synthesis of Petri nets from regular languages	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
FAST verification of the class of stop-and-wait protocols modelled by coloured Petri nets	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
https://portal.mardi4nfdi.de/entity/Q2733893	2001-08-12	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

This page was built for person: Laure Petrucci