Accéder directement au contenu

Étienne André

21
Documents
Identifiants chercheurs
  • IdHAL etienne-andre

Présentation

My Web page is available at [lipn.univ-paris13.fr/~andre/](https://lipn.univ-paris13.fr/~andre/ "Étienne André")

Publications

50401
Image document

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

Sebastian Altmeyer , Étienne André , Silvano Dal Zilio , Loïc Fejoz , Michael González Harbour
Dagstuhl Artifacts Series, 2023, 9 (1), ⟨10.4230/DARTS.9.1.4⟩
Article dans une revue hal-04254710v1
Image document

Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata

Étienne André , Engel Lefaucheux , Didier Lime , Dylan Marinho , Jun Sun
Electronic Proceedings in Theoretical Computer Science, 2023, 392, pp.1 - 26. ⟨10.4204/eptcs.392.1⟩
Article dans une revue hal-04312156v1

Guaranteeing Timed Opacity using Parametric Timed Model Checking

Étienne André , Didier Lime , Dylan Marinho , Jun Sun
ACM Transactions on Software Engineering and Methodology, 2022, 31 (4), pp.1-36. ⟨10.1145/3502851⟩
Article dans une revue hal-03798157v1

Reachability and liveness in parametric timed automata

Étienne André , Didier Lime , Olivier Henri Roux
Logical Methods in Computer Science, 2022, 18 (1), ⟨10.46298/lmcs-18(1:31)2022⟩
Article dans une revue hal-03574379v1

Timed automata as a formalism for expressing security: A survey on theory and practice

Johan Arcile, , Étienne André
ACM Computing Surveys, 2022, ⟨10.1145/3534967⟩
Article dans une revue hal-03690234v1
Image document

Parametric Analyses of Attack-fault Trees

Étienne André , Didier Lime , Mathias Ramparison , Mariëlle Stoelinga
Fundamenta Informaticae, 2021, 182 (1), pp.69 - 94. ⟨10.3233/fi-2021-2066⟩
Article dans une revue hal-03483440v1

Distributed parametric model checking timed automata under non-Zenoness assumption

Étienne André , Hoang Gia Nguyen , Laure Petrucci , Jun Sun
Formal Methods in System Design, 2021, 59 (1-3), pp.253-290. ⟨10.1007/s10703-022-00400-z⟩
Article dans une revue cea-04121940v1

Parametric updates in parametric timed automata

Étienne André , Didier Lime , Mathias Ramparison
Logical Methods in Computer Science, 2021, 17 (2), pp.13:1-13:67. ⟨10.23638/LMCS-17(2:13)2021⟩
Article dans une revue hal-03340905v1

Language Preservation Problems in Parametric Timed Automata

Étienne André , Didier Lime , Nicolas Markey
Logical Methods in Computer Science, 2020, 16 (1), ⟨10.23638/LMCS-16⟩
Article dans une revue hal-02498022v1

Automated synthesis of local time requirement for service composition

Étienne André , Tian Huat Tan , Manman Chen , Shuang Liu , Jun Sun
Software and Systems Modeling, 2020, 19, pp.983-1013. ⟨10.1007/s10270-020-00787-5⟩
Article dans une revue hal-02512449v1
Image document

Expiring opacity problems in parametric timed automata

Étienne André , Engel Lefaucheux , Dylan Marinho
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2023, Toulouse, France. pp.89-98, ⟨10.1109/ICECCS59891.2023.00020⟩
Communication dans un congrès hal-04151207v2

Efficient Convex Zone Merging in Parametric Timed Automata

Étienne André , Dylan Marinho , Laure Petrucci , Jaco van de Pol
20th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2022, Warsaw, Poland. pp.200-218, ⟨10.1007/978-3-031-15839-1_12⟩
Communication dans un congrès hal-03772708v1

Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems

Bineet Ghosh , Étienne André
42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Mohammad Mousavi and Anna Philippou, Jun 2022, Lucca, Italy. pp.67-87, ⟨10.1007/978-3-031-08679-3_5⟩
Communication dans un congrès hal-03801020v1

strategFTO: Untimed control for timed opacity

Étienne André , Shapagat Bolat , Engel Lefaucheux , Dylan Marinho
8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022), Cyrille Artho; Peter Ölveczky, Dec 2022, Auckland, New Zealand. pp.27-33, ⟨10.1145/3563822.3568013⟩
Communication dans un congrès hal-03874435v1

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior

Étienne André , Masaki Waga , Natuski Urabe , Ichiro Hasuo
14th NASA Formal Methods Symposium (NFM 2022), May 2022, Pasadena, United States. pp.470-488, ⟨10.1007/978-3-031-06773-0_25⟩
Communication dans un congrès hal-03690071v1

Zone Extrapolations in Parametric Timed Automata

Johan Arcile, , Étienne André
14th NASA Formal Methods Symposium (NFM 2022), Klaus Havelund; Jyo Deshmukh; Ivan Perez, May 2022, Caltech, Pasadena, United States. pp.451-469, ⟨10.1007/978-3-031-06773-0_24⟩
Communication dans un congrès hal-03690070v1

IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability

Étienne André
CAV 2021 - 33rd International Conference on Computer-Aided Verification, Rustan Leino and Alexandra Silva, Jul 2021, Los Angeles/Online, United States. pp.552-565, ⟨10.1007/978-3-030-81685-8_26⟩
Communication dans un congrès hal-03320626v1

Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata

Étienne André , Jaime Arias , Laure Petrucci , Jaco van De Pol
TACAS 2021 - 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Jan Friso Groote; Kim G. Larsen, Mar 2021, virtual, Luxembourg. pp.311-329, ⟨10.1007/978-3-030-72016-2_17⟩
Communication dans un congrès hal-03340887v1

Parametric non-interference in timed automata

Étienne André , Aleksander Kryukov
ICECCS 2020 - 25th International Conference on Engineering of Complex Computer Systems, Yi Li and Alan Liew, Mar 2021, Singapore, Singapore
Communication dans un congrès hal-02972357v1

A Benchmarks Library for Extended Parametric Timed Automata

Étienne André , Dylan Marinho , Jaco van de Pol
TAP 2021 - 15th International Conference on Tests and Proofs, Jun 2021, Virtual, Norway. pp.39-50, ⟨10.1007/978-3-030-79379-1_3⟩
Communication dans un congrès hal-03265573v1

Model-bounded monitoring of hybrid systems

Masaki Waga , Étienne André , Ichiro Hasuo
ICCPS 2021 - 12th ACM/IEEE International Conference on Cyber-Physical Systems, Martina Maggio; James Weimer, May 2021, Nashville, United States
Communication dans un congrès hal-03142412v1