Laure Petrucci

From MaRDI portal
Person:225085

Available identifiers

zbMath Open petrucci.laureDBLPp/LaurePetrucciWikidataQ62058079 ScholiaQ62058079MaRDI QIDQ225085

List of research outcomes





PublicationDate of PublicationType
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets2024-10-22Paper
Avoiding state explosion by composition of minimal covering graphs2024-04-29Paper
Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving2023-11-16Paper
Distributed parametric model checking timed automata under non-zenoness assumption2023-06-29Paper
Quasi-optimal partial order reduction2023-05-05Paper
Parameter Synthesis Algorithms for Parametric Interval Markov Chains2023-03-10Paper
Efficient convex zone merging in parametric timed automata2023-01-18Paper
Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption2022-09-23Dataset
Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"2022-07-07Dataset
On completeness of liveness synthesis for parametric timed automata (Extended Abstract)2021-10-27Paper
Quasi-optimal partial order reduction2021-08-30Paper
Iterative bounded synthesis for efficient cycle detection in parametric timed automata2021-08-04Paper
Parametric verification: an introduction2021-06-14Paper
Timed ATL: Forget Memory, Just Count2019-10-11Paper
Parameter Synthesis for Parametric Interval Markov Chains2016-03-23Paper
PeCAn: Compositional Verification of Petri Nets Made Easy2015-12-17Paper
Verification of Reachability Properties for Time Petri Nets2014-07-07Paper
Experimenting Formal Proofs of Petri Nets Refinements2014-03-26Paper
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs2013-08-16Paper
Extending pnml Scope: A Framework to Combine Petri Nets Types2013-03-13Paper
Improved Multi-Core Nested Depth-First Search2012-11-21Paper
Parallel Nested Depth-First Searches for LTL Model Checking2011-10-07Paper
Modular synthesis of Petri nets from regular languages2009-07-27Paper
Towards a Standard for Modular Petri Nets: A Formalisation2009-06-30Paper
PN Standardisation: A Survey2009-03-11Paper
An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets2009-03-10Paper
FAST verification of the class of stop-and-wait protocols modelled by coloured Petri nets2006-02-06Paper
Applications and Theory of Petri Nets 20042005-12-23Paper
Specification and validation of a concurrent system: An educational project2002-09-29Paper
https://portal.mardi4nfdi.de/entity/Q27338932001-08-12Paper
Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture1997-12-03Paper
https://portal.mardi4nfdi.de/entity/Q40370881993-05-18Paper

Research outcomes over time

This page was built for person: Laure Petrucci