The following pages link to Laure Petrucci (Q225085):
Displaying 30 items.
- Parametric verification: an introduction (Q2032913) (← links)
- Iterative bounded synthesis for efficient cycle detection in parametric timed automata (Q2044207) (← links)
- Quasi-optimal partial order reduction (Q2050101) (← links)
- Efficient convex zone merging in parametric timed automata (Q2112120) (← links)
- On completeness of liveness synthesis for parametric timed automata (Extended Abstract) (Q2237334) (← links)
- (Q2733893) (← links)
- Parameter Synthesis for Parametric Interval Markov Chains (Q2796061) (← links)
- Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs (Q2842655) (← links)
- Parallel Nested Depth-First Searches for LTL Model Checking (Q3172928) (← links)
- (Q3369934) (← links)
- PeCAn: Compositional Verification of Petri Nets Made Easy (Q3457799) (← links)
- An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets (Q3612361) (← links)
- PN Standardisation: A Survey (Q3613078) (← links)
- Towards a Standard for Modular Petri Nets: A Formalisation (Q3636839) (← links)
- (Q4037088) (← links)
- Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture (Q4362279) (← links)
- Improved Multi-Core Nested Depth-First Search (Q4649302) (← links)
- Extending pnml Scope: A Framework to Combine Petri Nets Types (Q4909349) (← links)
- Verification of Reachability Properties for Time Petri Nets (Q5168522) (← links)
- (Q5190771) (← links)
- Timed ATL: Forget Memory, Just Count (Q5235469) (← links)
- Experimenting Formal Proofs of Petri Nets Refinements (Q5403468) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712353) (← links)
- Parameter Synthesis Algorithms for Parametric Interval Markov Chains (Q5881537) (← links)
- Specification and validation of a concurrent system: An educational project (Q5953454) (← links)
- Distributed parametric model checking timed automata under non-zenoness assumption (Q6108439) (← links)
- Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving (Q6535202) (← links)
- A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets (Q6622141) (← links)
- Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata" (Q6705353) (← links)
- Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption (Q6705356) (← links)
