Étienne André

Available identifiers

zbMath Open andre.etienneMaRDI QIDQ315304

List of research outcomes

Publication	Date of Publication	Type
Symbolic monitoring against specifications parametric in time and data	2024-02-16	Paper
Parametric updates in parametric timed automata	2024-02-06	Paper
Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems	2024-01-16	Paper
Distributed parametric model checking timed automata under non-zenoness assumption	2023-06-29	Paper
Efficient convex zone merging in parametric timed automata	2023-01-18	Paper
Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems	2022-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q5094115	2022-08-02	Paper
Learning-Based Compositional Parameter Synthesis for Event-Recording Automata	2022-06-15	Paper
\textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability	2022-03-25	Paper
Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints*	2022-02-01	Paper
Parametric Analyses of Attack-fault Trees*	2022-02-01	Paper
Iterative bounded synthesis for efficient cycle detection in parametric timed automata	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4994965	2021-06-22	Paper
Parametric verification: an introduction	2021-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q4989408	2021-05-25	Paper
Parametric Timed Model Checking for Guaranteeing Timed Opacity	2020-07-20	Paper
Consistency in parametric interval probabilistic timed automata	2020-01-31	Paper
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking	2020-01-23	Paper
Parametric timed broadcast protocols	2020-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q5208876	2020-01-22	Paper
Time4sys2imi: a tool to formalize real-time system models under uncertainty	2019-12-12	Paper
Timed ATL: Forget Memory, Just Count	2019-10-11	Paper
TCTL model checking lower/upper-bound parametric timed automata without invariants	2018-12-06	Paper
What’s Decidable About Parametric Timed Automata?	2018-10-02	Paper
The language preservation problem is undecidable for parametric event-recording automata	2018-05-25	Paper
On the Expressiveness of Parametric Timed Automata	2018-02-16	Paper
Integer-complete synthesis for bounded parametric timed automata	2017-10-27	Paper
Parametric Deadlock-Freeness Checking Timed Automata	2016-12-21	Paper
Formalising concurrent UML state machines using coloured Petri nets	2016-09-20	Paper
PeCAn: Compositional Verification of Petri Nets Made Easy	2015-12-17	Paper
Language Preservation Problems in Parametric Timed Automata	2015-09-14	Paper
An Inverse Method for Parametric Timed Automata	2015-03-23	Paper
Parameter synthesis for hierarchical concurrent real-time systems	2015-01-23	Paper
Merge and Conquer: State Merging in Parametric Timed Automata	2014-07-08	Paper
An extension of the inverse method to probabilistic timed automata	2014-06-30	Paper
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs	2013-08-16	Paper
Synthesis of Timing Parameters Satisfying Safety Properties	2011-10-07	Paper
An Efficient Algorithm for Learning Event-Recording Automata	2011-10-07	Paper
Behavioral Cartography of Timed Automata	2010-08-31	Paper
AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA	2009-11-19	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: Étienne André