Étienne André
Université Paris 13
H-index: 24
Europe-France
Top articles of Étienne André
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Zone extrapolations in parametric timed automata | Innovations in Systems and Software Engineering | Johan Arcile Étienne André | 2024/4/17 |
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance | arXiv preprint arXiv:2403.18764 | Jesse Reimann Nico Mansion James Haydon Benjamin Bray Agnishom Chattopadhyay | 2024/3/27 |
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model | Logical Methods in Computer Science | Bineet Ghosh Étienne André | 2024/1/11 |
Formalizing UML state machines for automated verification–A survey | Étienne André Shuang Liu Yang Liu Christine Choppy Jun Sun | 2023/7/13 | |
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I | Cyrille Artho Axel Legay Doron Peled | 2016 | |
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata | arXiv preprint arXiv:2310.09109 | Étienne André Didier Lime Olivier H Roux | 2023/10/13 |
A trivial yet open synthesis problem | Étienne André | 2023/4/22 | |
Parameterized Verification of Disjunctive Timed Networks | Étienne André Paul Eichler Swen Jacobs Shyam Lal Karra | 2023/12/30 | |
Parametric timed pattern matching | ACM Transactions on Software Engineering and Methodology | Masaki Waga Étienne André Ichiro Hasuo | 2023/2/13 |
Monitoring device and monitoring method | 2023/10/19 | ||
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties | Science of Computer Programming | Bineet Ghosh Étienne André | 2023/8/1 |
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata | arXiv preprint arXiv:2310.20392 | Étienne André Engel Lefaucheux Didier Lime Dylan Marinho Jun Sun | 2023/10/31 |
Monitoring cyber-physical systems under uncertainty | Étienne André Ichiro Hasuo Masaki Waga | 2023/4/22 | |
Configuring timing parameters to ensure opacity | Étienne André | 2023/4/23 | |
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS | Sebastian Altmeyer Étienne André Silvano Dal Zilio Loïc Fejoz Michael González Harbour | 2023/7/3 | |
Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems | Bineet Ghosh Étienne André | 2022/6/12 | |
Timed automata as a formalism for expressing security: A survey on theory and practice | Johan Arcile Étienne André | 2022/12/7 | |
duf: Dynamic uncore frequency scaling to reduce power consumption | Concurrency and Computation: Practice and Experience | Étienne André Rémi Dulong Amina Guermouche François Trahay | 2022/2/1 |
Model-bounded monitoring of hybrid systems | ACM Transactions on Cyber-Physical Systems | Masaki Waga Étienne André Ichiro Hasuo | 2022/11/5 |
Efficient Convex Zone Merging in Parametric Timed Automata | Étienne André Dylan Marinho Laure Petrucci Jaco van de Pol | 2022/8/29 |