default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDÉtienne André
Person information
- affiliation: Université Sorbonne Paris Nord, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j32]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)- [j31]Masaki Waga
, Étienne André:
Hyper Parametric Timed CTL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(11): 4286-4297 (2024) - [c94]É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: 432-444 - [c93]Étienne André, Johan Arcile, Engel Lefaucheux:
Execution-Time Opacity Problems in One-Clock Parametric Timed Automata. FSTTCS 2024: 3:1-3:22 - [c92]Étienne André:
Tuning Trains Speed in Railway Scheduling. ICFEM 2024: 37-50 - [c91]Étienne André, Sarah Dépernet, Engel Lefaucheux:
The Bright Side of Timed Opacity. ICFEM 2024: 51-69 - [c90]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: 186-195 - [c89]Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux:
Execution-Time Opacity Control for Timed Automata. SEFM 2024: 347-365 - [c88]Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra:
Parameterized Verification of Disjunctive Timed Networks. VMCAI (1) 2024: 124-146 - [i49]Étienne André, Engel Lefaucheux, Dylan Marinho:
Expiring opacity problems in parametric timed automata. CoRR abs/2403.07647 (2024) - [i48]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 abs/2403.18764 (2024) - [i47]Bineet Ghosh, Étienne André:
MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties. CoRR abs/2407.17201 (2024) - [i46]Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong:
Formalizing UML State Machines for Automated Verification - A Survey. CoRR abs/2407.17215 (2024) - [i45]Masaki Waga, Étienne André:
Hyper parametric timed CTL. CoRR abs/2407.21321 (2024) - [i44]Étienne André, Swen Jacobs, Shyam Lal Karra, Ocan Sankur:
Parameterized Verification of Timed Networks with Clock Invariants. CoRR abs/2408.05190 (2024) - [i43]Étienne André, Sarah Dépernet, Engel Lefaucheux:
The Bright Side of Timed Opacity. CoRR abs/2408.12240 (2024) - [i42]Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux:
Execution-time opacity control for timed automata. CoRR abs/2409.10336 (2024) - [i41]Étienne André, Johan Arcile, Engel Lefaucheux:
Execution-time opacity problems in one-clock parametric timed automata. CoRR abs/2410.01659 (2024) - [i40]Étienne André:
Tuning Trains Speed in Railway Scheduling. CoRR abs/2412.04730 (2024) - 2023
- [j30]Johan Arcile, Étienne André:
Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice. ACM Comput. Surv. 55(6): 127:1-127:36 (2023) - [j29]É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): 277:1-277:47 (2023) - [j28]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): 04:1-04:6 (2023) - [j27]Bineet Ghosh, Étienne André:
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties. Sci. Comput. Program. 230: 102976 (2023) - [j26]Masaki Waga, Étienne André, Ichiro Hasuo:
Parametric Timed Pattern Matching. ACM Trans. Softw. Eng. Methodol. 32(1): 10:1-10:35 (2023) - [c87]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: 19:1-19:18 - [c86]Étienne André, Engel Lefaucheux, Dylan Marinho:
Expiring opacity problems in parametric timed automata. ICECCS 2023: 89-98 - [c85]Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun:
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. TiCSA@ETAPS 2023: 1-26 - [e5]Étienne André, Jun Sun:
Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I. Lecture Notes in Computer Science 14215, Springer 2023, ISBN 978-3-031-45328-1 [contents] - [e4]Étienne André, Jun Sun:
Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II. Lecture Notes in Computer Science 14216, Springer 2023, ISBN 978-3-031-45331-1 [contents] - [i39]Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra:
Parameterized Verification of Disjunctive Timed Networks. CoRR abs/2305.07295 (2023) - [i38]Étienne André, Didier Lime, Olivier H. Roux:
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. CoRR abs/2310.09109 (2023) - 2022
- [j25]É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) - [j24]Étienne André, Didier Lime, Olivier H. Roux:
Reachability and liveness in parametric timed automata. Log. Methods Comput. Sci. 18(1) (2022) - [j23]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded Monitoring of Hybrid Systems. ACM Trans. Cyber Phys. Syst. 6(4): 30:1-30:26 (2022) - [j22]Étienne André, Didier Lime, Dylan Marinho, Jun Sun:
Guaranteeing Timed Opacity using Parametric Timed Model Checking. ACM Trans. Softw. Eng. Methodol. 31(4): 64:1-64:36 (2022) - [c84]Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS 2022: 200-218 - [c83]Bineet Ghosh, Étienne André:
Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. FORTE 2022: 67-87 - [c82]Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho:
strategFTO: Untimed Control for Timed Opacity. FTSCS 2022: 27-33 - [c81]Johan Arcile, Étienne André:
Zone Extrapolations in Parametric Timed Automata. NFM 2022: 451-469 - [c80]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. NFM 2022: 470-488 - [d6]Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata". Zenodo, 2022
- [d5]Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun:
Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption. Zenodo, 2022 - [d4]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Data for "Exemplifying parametric timed specifications over signals with bounded behavior". Version 1. Zenodo, 2022 [all versions] - [d3]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Data for "Exemplifying parametric timed specifications over signals with bounded behavior". Version 2. Zenodo, 2022 [all versions] - [i37]Johan Arcile, Étienne André:
Zone extrapolations in parametric timed automata. CoRR abs/2203.13173 (2022) - [i36]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Exemplifying parametric timed specifications over signals with bounded behavior. CoRR abs/2203.13247 (2022) - [i35]Bineet Ghosh, Étienne André:
Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems. CoRR abs/2204.11505 (2022) - [i34]Johan Arcile, Étienne André:
Timed automata as a formalism for expressing security: A survey on theory and practice. CoRR abs/2206.03445 (2022) - [i33]Étienne André, Didier Lime, Dylan Marinho, Jun Sun:
Guaranteeing Timed Opacity using Parametric Timed Model Checking. CoRR abs/2206.05438 (2022) - [i32]Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho:
strategFTO: Untimed control for timed opacity. CoRR abs/2211.14233 (2022) - [i31]Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Efficient Convex Zone Merging in Parametric Timed Automata. CoRR abs/2212.04802 (2022) - 2021
- [j21]É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): 253-290 (2021) - [j20]É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): 31-67 (2021) - [j19]Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga:
Parametric Analyses of Attack-fault Trees. Fundam. Informaticae 182(1): 69-94 (2021) - [j18]Étienne André, Didier Lime, Mathias Ramparison:
Parametric updates in parametric timed automata. Log. Methods Comput. Sci. 17(2) (2021) - [c79]Jawher Jerray, Laurent Fribourg, Étienne André:
An Approximation of Minimax Control using Random Sampling and Symbolic Computation. ADHS 2021: 265-270 - [c78]Jawher Jerray, Laurent Fribourg, Étienne André:
Robust optimal periodic control using guaranteed Euler's method. ACC 2021: 986-991 - [c77]Étienne André:
IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability. CAV (1) 2021: 552-565 - [c76]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded monitoring of hybrid systems. ICCPS 2021: 21-32 - [c75]Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol:
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. TACAS (1) 2021: 311-329 - [c74]Étienne André, Dylan Marinho, Jaco van de Pol:
A Benchmarks Library for Extended Parametric Timed Automata. TAP@STAF 2021: 39-50 - [d2]Étienne André, Dylan Marinho, Jaco van de Pol:
The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata. Zenodo, 2021 - [i30]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded monitoring of hybrid systems. CoRR abs/2102.07401 (2021) - [i29]Jawher Jerray, Laurent Fribourg, Étienne André:
Robust optimal periodic control using guaranteed Euler's method. CoRR abs/2103.10125 (2021) - [i28]Étienne André, Dylan Marinho, Jaco van de Pol:
A Benchmarks Library for Extended Parametric Timed Automata. CoRR abs/2106.10232 (2021) - [i27]Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens:
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR abs/2112.07548 (2021) - 2020
- [j17]Étienne André, Benoît Delahaye, Paulin Fournier:
Consistency in Parametric Interval Probabilistic Timed Automata. J. Log. Algebraic Methods Program. 110 (2020) - [j16]Étienne André, Didier Lime, Nicolas Markey:
Language Preservation Problems in Parametric Timed Automata. Log. Methods Comput. Sci. 16(1) (2020) - [j15]É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): 983-1013 (2020) - [c73]Jawher Jerray, Laurent Fribourg, Étienne André:
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). ARCH 2020: 197-208 - [c72]Étienne André, Aleksander Kryukov:
Parametric non-interference in timed automata. ICECCS 2020: 37-42 - [i26]É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 abs/2003.08116 (2020) - [i25]Étienne André, Didier Lime, Olivier H. Roux:
Reachability and liveness in parametric timed automata. CoRR abs/2004.09171 (2020) - [i24]Jawher Jerray, Laurent Fribourg, Étienne André:
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples. CoRR abs/2006.09993 (2020) - [i23]Jawher Jerray, Laurent Fribourg, Étienne André:
Robust optimal control using dynamic programming and guaranteed Euler's method. CoRR abs/2007.13644 (2020) - [i22]Étienne André, Aleksander Kryukov:
Parametric non-interference in timed automata. CoRR abs/2010.09527 (2020)
2010 – 2019
- 2019
- [j14]Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek:
Timed ATL: Forget Memory, Just Count. J. Artif. Intell. Res. 66: 197-223 (2019) - [j13]Étienne André:
What's decidable about parametric timed automata? Int. J. Softw. Tools Technol. Transf. 21(2): 203-219 (2019) - [j12]Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci:
Parametric Verification: An Introduction. Trans. Petri Nets Other Model. Concurr. 14: 64-100 (2019) - [c71]Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens:
Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints. ACSD 2019: 13-22 - [c70]Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga:
Parametric Analyses of Attack-Fault Trees. ACSD 2019: 33-42 - [c69]Étienne André, Jun Sun:
Parametric Timed Model Checking for Guaranteeing Timed Opacity. ATVA 2019: 115-130 - [c68]Masaki Waga, Étienne André, Ichiro Hasuo:
Symbolic Monitoring Against Specifications Parametric in Time and Data. CAV (1) 2019: 520-539 - [c67]Étienne André, Didier Lime, Mathias Ramparison:
Parametric Updates in Parametric Timed Automata. FORTE 2019: 39-56 - [c66]Étienne André, Didier Lime, Mathias Ramparison:
On the Expressive Power of Invariants in Parametric Timed Automata. ICECCS 2019: 87-96 - [c65]Étienne André, Jawher Jerray, Sahar Mhiri:
Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. ICTAC 2019: 113-123 - [c64]Masaki Waga, Étienne André:
Online Parametric Timed Pattern Matching with Automata-Based Skipping. NFM 2019: 371-389 - [c63]Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol:
Minimal-Time Synthesis for Parametric Timed Automata. TACAS (2) 2019: 211-228 - [c62]Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM 2019: 129-146 - [c61]Étienne André:
Formalizing Time4sys using parametric timed automata. TASE 2019: 176-183 - [c60]É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: 409-424 - [c59]Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime:
Parametric Timed Broadcast Protocols. VMCAI 2019: 491-512 - [e3]Étienne André, Mariëlle Stoelinga:
Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Lecture Notes in Computer Science 11750, Springer 2019, ISBN 978-3-030-29661-2 [contents] - [d1]Étienne André, Jun Sun:
Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity". Zenodo, 2019 - [i21]Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol:
Minimal-Time Synthesis for Parametric Timed Automata. CoRR abs/1902.03013 (2019) - [i20]Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga:
Parametric analyses of attack-fault trees. CoRR abs/1902.04336 (2019) - [i19]Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens:
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR abs/1903.07217 (2019) - [i18]Masaki Waga, Étienne André:
Online Parametric Timed Pattern Matching with Automata-Based Skipping. CoRR abs/1903.07328 (2019) - [i17]Étienne André, Didier Lime, Mathias Ramparison:
Parametric updates in parametric timed automata. CoRR abs/1904.08824 (2019) - [i16]Masaki Waga, Étienne André, Ichiro Hasuo:
Symbolic Monitoring against Specifications Parametric in Time and Data. CoRR abs/1905.04486 (2019) - [i15]Étienne André:
Formalizing Time4sys using parametric timed automata. CoRR abs/1905.09458 (2019) - [i14]Étienne André, Benoît Delahaye, Paulin Fournier:
Consistency in Parametric Interval Probabilistic Timed Automata. CoRR abs/1906.04982 (2019) - [i13]Étienne André, Jun Sun:
Parametric Timed Model Checking for Guaranteeing Timed Opacity. CoRR abs/1907.00537 (2019) - [i12]Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci:
Parametric Verification: An Introduction. CoRR abs/1907.00555 (2019) - [i11]Étienne André:
What's decidable about parametric timed automata? CoRR abs/1907.01721 (2019) - [i10]Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Repairing Timed Automata Clock Guards through Abstraction and Testing. CoRR abs/1907.02133 (2019) - [i9]Étienne André, Jawher Jerray, Sahar Mhiri:
Time4sys2imi: A tool to formalize real-time system models under uncertainty. CoRR abs/1907.13447 (2019) - [i8]Étienne André, Didier Lime, Mathias Ramparison:
On the expressive power of invariants in parametric timed automata. CoRR abs/1908.06633 (2019) - 2018
- [b2]Étienne André:
Contributions to parametric timed model checking: Theory and algorithms. (Contributions au model-checking temporisé paramétré : théorie et algorithmes). Paris 13 University, France, 2018 - [j11]Étienne André, Shang-Wei Lin:
The language preservation problem is undecidable for parametric event-recording automata. Inf. Process. Lett. 136: 17-20 (2018) - [c58]Étienne André, Didier Lime, Mathias Ramparison:
Timed Automata with Parametric Updates. ACSD 2018: 21-29 - [c57]Étienne André, Didier Lime, Mathias Ramparison:
TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. FORMATS 2018: 37-52 - [c56]Étienne André:
A Benchmark Library for Parametric Timed Model Checking. FTSCS 2018: 75-83 - [c55]Étienne André, Ichiro Hasuo, Masaki Waga:
Offline Timed Pattern Matching under Uncertainty. ICECCS 2018: 10-20 - [i7]Étienne André, Didier Lime, Nicolas Markey:
Language Preservation Problems in Parametric Timed Automata. CoRR abs/1807.07091 (2018) - [i6]Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime:
Parametric Timed Broadcast Protocols. CoRR abs/1811.12576 (2018) - [i5]Étienne André: