Étienne André

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 116

Top Venues

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. SAC (2024)
Étienne André, Engel Lefaucheux, Dylan Marinho
Expiring opacity problems in parametric timed automata. CoRR (2024)
Bineet Ghosh, Étienne André
MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties. CoRR (2024)
Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong
Formalizing UML State Machines for Automated Verification - A Survey. CoRR (2024)
Bineet Ghosh, Étienne André
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model. Log. Methods Comput. Sci. 20 (1) (2024)
Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci
CosyVerif: The Path to Formalisms Cohabitation. Petri Nets (2024)
Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra
Parameterized Verification of Disjunctive Timed Networks. VMCAI (1) (2024)
Masaki Waga, Étienne André
Hyper parametric timed CTL. CoRR (2024)
Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. CoRR (2024)
Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong
Formalizing UML State Machines for Automated Verification - A Survey. ACM Comput. Surv. 55 (13s) (2023)
Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. TiCSA@ETAPS (2023)
Bineet Ghosh, Étienne André
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties. Sci. Comput. Program. 230 (2023)
Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS (2023)
Masaki Waga, Étienne André, Ichiro Hasuo
Parametric Timed Pattern Matching. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra
Parameterized Verification of Disjunctive Timed Networks. CoRR (2023)
Étienne André, Didier Lime, Olivier H. Roux
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. CoRR (2023)
Étienne André, Engel Lefaucheux, Dylan Marinho
Expiring opacity problems in parametric timed automata. ICECCS (2023)
Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 9 (1) (2023)
Johan Arcile, Étienne André
Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice. ACM Comput. Surv. 55 (6) (2023)
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
Efficient Convex Zone Merging in Parametric Timed Automata. CoRR (2022)
Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
strategFTO: Untimed control for timed opacity. CoRR (2022)
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS (2022)
Johan Arcile, Étienne André
Zone extrapolations in parametric timed automata. CoRR (2022)
Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
Exemplifying parametric timed specifications over signals with bounded behavior. CoRR (2022)
Étienne André, Rémi Dulong, Amina Guermouche, François Trahay
duf: Dynamic uncore frequency scaling to reduce power consumption. Concurr. Comput. Pract. Exp. 34 (3) (2022)
Johan Arcile, Étienne André
Timed automata as a formalism for expressing security: A survey on theory and practice. CoRR (2022)
Étienne André, Didier Lime, Dylan Marinho, Jun Sun
Guaranteeing Timed Opacity using Parametric Timed Model Checking. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Bineet Ghosh, Étienne André
Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. FORTE (2022)
Masaki Waga, Étienne André, Ichiro Hasuo
Model-bounded Monitoring of Hybrid Systems. ACM Trans. Cyber Phys. Syst. 6 (4) (2022)
Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
strategFTO: Untimed Control for Timed Opacity. FTSCS (2022)
Bineet Ghosh, Étienne André
Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems. CoRR (2022)
Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. NFM (2022)
Étienne André, Didier Lime, Dylan Marinho, Jun Sun
Guaranteeing Timed Opacity using Parametric Timed Model Checking. CoRR (2022)
Étienne André, Didier Lime, Olivier H. Roux
Reachability and liveness in parametric timed automata. Log. Methods Comput. Sci. 18 (1) (2022)
Johan Arcile, Étienne André
Zone Extrapolations in Parametric Timed Automata. NFM (2022)
Masaki Waga, Étienne André, Ichiro Hasuo
Model-bounded monitoring of hybrid systems. ICCPS (2021)
Masaki Waga, Étienne André, Ichiro Hasuo
Model-bounded monitoring of hybrid systems. CoRR (2021)
Jawher Jerray, Laurent Fribourg, Étienne André
An Approximation of Minimax Control using Random Sampling and Symbolic Computation. ADHS (2021)
Étienne André, Didier Lime, Mathias Ramparison
Parametric updates in parametric timed automata. Log. Methods Comput. Sci. 17 (2) (2021)
Étienne André, Dylan Marinho, Jaco van de Pol
A Benchmarks Library for Extended Parametric Timed Automata. TAP@STAF (2021)
Étienne André
IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability. CAV (1) (2021)
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
Parametric Analyses of Attack-fault Trees. Fundam. Informaticae 182 (1) (2021)
Jawher Jerray, Laurent Fribourg, Étienne André
Robust optimal periodic control using guaranteed Euler's method. CoRR (2021)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints. Fundam. Informaticae 182 (1) (2021)
Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun
Distributed parametric model checking timed automata under non-Zenoness assumption. Formal Methods Syst. Des. 59 (1) (2021)
Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. TACAS (1) (2021)
Jawher Jerray, Laurent Fribourg, Étienne André
Robust optimal periodic control using guaranteed Euler's method. ACC (2021)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR (2021)
Étienne André, Dylan Marinho, Jaco van de Pol
A Benchmarks Library for Extended Parametric Timed Automata. CoRR (2021)
Étienne André, Benoît Delahaye, Paulin Fournier
Consistency in Parametric Interval Probabilistic Timed Automata. J. Log. Algebraic Methods Program. 110 (2020)
Étienne André, Aleksander Kryukov
Parametric non-interference in timed automata. CoRR (2020)
Étienne André, Didier Lime, Olivier H. Roux
Reachability and liveness in parametric timed automata. CoRR (2020)
Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong
Automated synthesis of local time requirement for service composition. CoRR (2020)
Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong
Automated synthesis of local time requirement for service composition. Softw. Syst. Model. 19 (4) (2020)
Étienne André, Aleksander Kryukov
Parametric non-interference in timed automata. ICECCS (2020)
Jawher Jerray, Laurent Fribourg, Étienne André
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). ARCH (2020)
Étienne André, Didier Lime, Nicolas Markey
Language Preservation Problems in Parametric Timed Automata. Log. Methods Comput. Sci. 16 (1) (2020)
Jawher Jerray, Laurent Fribourg, Étienne André
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples. CoRR (2020)
Jawher Jerray, Laurent Fribourg, Étienne André
Robust optimal control using dynamic programming and guaranteed Euler's method. CoRR (2020)
Masaki Waga, Étienne André, Ichiro Hasuo
Symbolic Monitoring against Specifications Parametric in Time and Data. CoRR (2019)
Étienne André
Formalizing Time4sys using parametric timed automata. CoRR (2019)
Étienne André, Jun Sun
Parametric Timed Model Checking for Guaranteeing Timed Opacity. CoRR (2019)
Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
Parametric Verification: An Introduction. CoRR (2019)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints. ACSD (2019)
Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
Minimal-Time Synthesis for Parametric Timed Automata. CoRR (2019)
Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli
Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM (2019)
Étienne André
What's decidable about parametric timed automata? CoRR (2019)
Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime
Parametric Timed Broadcast Protocols. VMCAI (2019)
Étienne André, Jawher Jerray, Sahar Mhiri
Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. ICTAC (2019)
Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli
Repairing Timed Automata Clock Guards through Abstraction and Testing. CoRR (2019)
Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
Parametric Verification: An Introduction. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Masaki Waga, Étienne André
Online Parametric Timed Pattern Matching with Automata-Based Skipping. NFM (2019)
Étienne André, Didier Lime, Mathias Ramparison
Parametric updates in parametric timed automata. CoRR (2019)
Étienne André, Jawher Jerray, Sahar Mhiri
Time4sys2imi: A tool to formalize real-time system models under uncertainty. CoRR (2019)
Étienne André, Jun Sun
Parametric Timed Model Checking for Guaranteeing Timed Opacity. ATVA (2019)
Étienne André, Didier Lime, Mathias Ramparison
Parametric Updates in Parametric Timed Automata. FORTE (2019)
Étienne André, Benoît Delahaye, Paulin Fournier
Consistency in Parametric Interval Probabilistic Timed Automata. CoRR (2019)
Masaki Waga, Étienne André, Ichiro Hasuo
Symbolic Monitoring Against Specifications Parametric in Time and Data. CAV (1) (2019)
Étienne André
What's decidable about parametric timed automata? Int. J. Softw. Tools Technol. Transf. 21 (2) (2019)
Masaki Waga, Étienne André
Online Parametric Timed Pattern Matching with Automata-Based Skipping. CoRR (2019)
Étienne André, Didier Lime, Mathias Ramparison
On the expressive power of invariants in parametric timed automata. CoRR (2019)
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
Parametric Analyses of Attack-Fault Trees. ACSD (2019)
Étienne André, Didier Lime, Mathias Ramparison
On the Expressive Power of Invariants in Parametric Timed Automata. ICECCS (2019)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR (2019)
Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat
Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. VMCAI (2019)
Étienne André
Formalizing Time4sys using parametric timed automata. TASE (2019)
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
Parametric analyses of attack-fault trees. CoRR (2019)
Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
Minimal-Time Synthesis for Parametric Timed Automata. TACAS (2) (2019)
Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek
Timed ATL: Forget Memory, Just Count. J. Artif. Intell. Res. 66 (2019)
Étienne André, Shang-Wei Lin
The language preservation problem is undecidable for parametric event-recording automata. Inf. Process. Lett. 136 (2018)
Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. CoRR (2018)
Étienne André, Didier Lime, Nicolas Markey
Language Preservation Problems in Parametric Timed Automata. CoRR (2018)
Étienne André, Ichiro Hasuo, Masaki Waga
Offline Timed Pattern Matching under Uncertainty. ICECCS (2018)
Étienne André
A benchmark library for parametric timed model checking. CoRR (2018)
Étienne André
A Benchmark Library for Parametric Timed Model Checking. FTSCS (2018)
Étienne André, Ichiro Hasuo, Masaki Waga
Offline timed pattern matching under uncertainty. CoRR (2018)
Étienne André, Didier Lime, Mathias Ramparison
Timed Automata with Parametric Updates. ACSD (2018)
Étienne André, Didier Lime, Mathias Ramparison
TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. FORMATS (2018)
Étienne André, Shang-Wei Lin
The language preservation problem is undecidable for parametric event-recording automata. CoRR (2018)
Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime
Parametric Timed Broadcast Protocols. CoRR (2018)

Étienne André.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Étienne André