The following pages link to Étienne André (Q315304):
Displaying 49 items.
- Formalising concurrent UML state machines using coloured Petri nets (Q315307) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- TCTL model checking lower/upper-bound parametric timed automata without invariants (Q1631215) (← links)
- Integer-complete synthesis for bounded parametric timed automata (Q1675143) (← links)
- The language preservation problem is undecidable for parametric event-recording automata (Q1751409) (← links)
- Parametric verification: an introduction (Q2032913) (← links)
- Iterative bounded synthesis for efficient cycle detection in parametric timed automata (Q2044207) (← links)
- Efficient convex zone merging in parametric timed automata (Q2112120) (← links)
- Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems (Q2165213) (← links)
- An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
- Time4sys2imi: a tool to formalize real-time system models under uncertainty (Q2279117) (← links)
- Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking (Q2287101) (← links)
- Parametric timed broadcast protocols (Q2287111) (← links)
- Consistency in parametric interval probabilistic timed automata (Q2291816) (← links)
- Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs (Q2842655) (← links)
- Language Preservation Problems in Parametric Timed Automata (Q2945580) (← links)
- Synthesis of Timing Parameters Satisfying Safety Properties (Q3172862) (← links)
- An Efficient Algorithm for Learning Event-Recording Automata (Q3172935) (← links)
- Parametric Deadlock-Freeness Checking Timed Automata (Q3179417) (← links)
- Parametric Timed Model Checking for Guaranteeing Timed Opacity (Q3297588) (← links)
- PeCAn: Compositional Verification of Petri Nets Made Easy (Q3457799) (← links)
- Behavioral Cartography of Timed Automata (Q3584962) (← links)
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA (Q3646167) (← links)
- On the Expressiveness of Parametric Timed Automata (Q4603554) (← links)
- What’s Decidable About Parametric Timed Automata? (Q4686606) (← links)
- An Inverse Method for Parametric Timed Automata (Q4982084) (← links)
- (Q4989408) (← links)
- (Q4994965) (← links)
- Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints* (Q5025034) (← links)
- Parametric Analyses of Attack-fault Trees* (Q5025035) (← links)
- Learning-Based Compositional Parameter Synthesis for Event-Recording Automata (Q5082188) (← links)
- (Q5094115) (← links)
- Merge and Conquer: State Merging in Parametric Timed Automata (Q5166701) (← links)
- (Q5208876) (← links)
- Timed ATL: Forget Memory, Just Count (Q5235469) (← links)
- Distributed parametric model checking timed automata under non-zenoness assumption (Q6108439) (← links)
- Repairing timed automata clock guards through abstraction and testing (Q6536174) (← 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)
- The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata (Q6717015) (← links)
- Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity" (Q6724271) (← links)
- Artifact for paper "IMITATOR 3: Synthesis of timing parameters beyond decidability" (CAV 2021) (Q6724275) (← links)
- Data for paper "Parametric schedulability analysis of a launcher flight control system under reactivity constraints" (Q6724280) (← links)
- Data for paper "Parametric analyses of attack-fault trees" (Q6724284) (← links)
- Data for paper "Zone extrapolations in parametric timed automata" (Q6724290) (← links)
- Data for "Exemplifying parametric timed specifications over signals with bounded behavior" (Q6724294) (← links)
- Experimental data for paper "strategFTO: Untimed control for timed opacity" (Q6724297) (← links)
- Experiments regarding the inverse method extended with the integer hull ("RITPS") (Q6724350) (← links)
