Accéder directement au contenu

Étienne André

28
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

41258

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

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
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

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

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
Image document

Consistency in Parametric Interval Probabilistic Timed Automata

Étienne André , Benoit Delahaye , Paulin Fournier
Journal of Logical and Algebraic Methods in Programming, inPress, ⟨10.1016/j.jlamp.2019.04.007⟩
Article dans une revue hal-02154775v1

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

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

Parametric Verification: An Introduction

Étienne André , Michał Knapik , Didier Lime , Wojciech Penczek , Laure Petrucci
LNCS Transactions on Petri Nets and Other Models of Concurrency, inPress
Article dans une revue hal-02170526v1

What’s decidable about parametric timed automata?

Étienne André
International Journal on Software Tools for Technology Transfer, 2019, 21 (2), pp.203-219. ⟨10.1007/s10009-017-0467-0⟩
Article dans une revue hal-02172670v1
Image document

Preserving Partial Order Runs in Parametric Time Petri Nets

Étienne André , Thomas Chatain , César Rodriguez
ACM Transactions on Embedded Computing Systems (TECS), 2016, 16, pp.25. ⟨10.1145/3012283⟩
Article dans une revue hal-01425696v1

Parametric schedulability analysis of a launcher flight control system under reactivity constraints

Étienne André , Emmanuel Coquard , Laurent Fribourg , Jawher Jerray , David Lesens
19th International Conference on Application of Concurrency to System Design (ACSD 2019), Wil van der Aalst, Jun 2019, Aachen, Germany
Communication dans un congrès hal-02072159v1

Formalizing Time4sys using parametric timed automata

Étienne André
13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), Jul 2019, Guilin, China
Communication dans un congrès hal-02153214v1

On the expressive power of invariants in parametric timed automata

Étienne André , Didier Lime , Mathias Ramparison
24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Jing Sun; Jun Pang, Nov 2019, Hong Kong, China
Communication dans un congrès hal-02267883v1

Parametric Timed Broadcast Protocols

Étienne André , Benoît Delahaye , Paulin Fournier , Didier Lime
20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), Constantin Enea and Ruzica Piskac, Jan 2019, Lisboa, Portugal. ⟨10.1007/978-3-030-11245-5_23⟩
Communication dans un congrès hal-01961497v1

Parametric Timed Model Checking for Guaranteeing Timed Opacity

Étienne André , Jun Sun
17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), Ming-Hsien Tsai, Oct 2019, Taipei, Taiwan
Communication dans un congrès hal-02170527v1

Parametric analyses of attack-fault trees

Étienne André , Didier Lime , Mathias Ramparison , Mariëlle Stoelinga
19th International Conference on Application of Concurrency to System Design (ACSD 2019), Jun 2019, Aachen, Germany
Communication dans un congrès hal-02153316v1

Minimal-Time Synthesis for Parametric Timed Automata

Étienne André , Vincent Bloemen , Laure Petrucci , Jaco van de Pol
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Apr 2019, Prague, Czech Republic. pp.211--228, ⟨10.1007/978-3-030-17465-1_12⟩
Communication dans un congrès hal-02153342v1

Online Parametric Timed Pattern Matching with Automata-Based Skipping

Masaki Waga , Étienne André
11th Annual NASA Formal Methods Symposium (NFM 2019), Moshe Vardi, May 2019, Houston, TX, United States. ⟨10.1007/978-3-030-20652-9_26⟩
Communication dans un congrès hal-02072161v1

Time4sys2imi: A tool to formalize real-time system models under uncertainty

Étienne André , Jawher Jerray , Sahar Mhiri
16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Robert M. Hierons; Mohamed Mosbah, Oct 2019, Hammamet, Tunisia
Communication dans un congrès hal-02234990v1

Repairing Timed Automata Clock Guards through Abstraction and Testing

Étienne André , Paolo Arcaini , Angelo Gargantini , Marco Radavelli
13th International Conference on Tests and Proofs (TAP 2019), Dirk Beyer; Chantal Keller, Oct 2019, Porto, Portugal
Communication dans un congrès hal-02235206v1

Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking

Étienne André , Laurent Fribourg , Jean-Marc Mota , Romain Soulat
20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), Constantin Enea and Ruzica Piskac, Jan 2019, Lisboa, Portugal. ⟨10.1007/978-3-030-11245-5_23⟩
Communication dans un congrès hal-01966300v1

Symbolic Monitoring against Specifications Parametric in Time and Data

Masaki Waga , Étienne André , Ichiro Hasuo
31st International Conference on Computer-Aided Verification (CAV 2019), Jul 2019, New York, United States
Communication dans un congrès hal-02153223v1
Image document

Parametric updates in parametric timed automata

Étienne André , Didier Lime , Mathias Ramparison
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.39-56, ⟨10.1007/978-3-030-21759-4_3⟩
Communication dans un congrès hal-02153238v1
Image document

TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants

Etienne André , Didier Lime , Mathias Ramparison
16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018), Sep 2018, Beijing, China. pp.37-52, ⟨10.1007/978-3-030-00151-3_3⟩
Communication dans un congrès hal-01957138v1
Image document

Consistency in Parametric Interval Probabilistic Timed Automata

Etienne André , Benoit Delahaye
23rd International Symposium on Temporal Representation and Reasoning, Oct 2016, Copenhagen, Denmark
Communication dans un congrès hal-01590892v1