Accéder directement au contenu

Étienne André

18
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

"didier-lime"
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

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

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

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

Timed Automata with Parametric Updates

Étienne André , Didier Lime , Mathias Ramparison
18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia. pp.21-29, ⟨10.1109/acsd.2018.000-2⟩
Communication dans un congrès hal-01957157v1
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

Liveness in L/U-Parametric Timed Automatá

Étienne André , Didier Lime
17th International Conference on Application of Concurrency to System Design (ACSD 2017), Jun 2017, Zaragoza, Spain
Communication dans un congrès hal-01724293v1
Image document

Decision Problems for Parametric Timed Automata

Étienne André , Didier Lime , Olivier Henri Roux
18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-47846-3_25⟩
Communication dans un congrès hal-02538055v1
Image document

Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems

Baptiste Parquier , Laurent Rioux , Rafik Henia , Romain Soulat , Olivier Henri Roux
5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-53946-1_8⟩
Communication dans un congrès hal-02538041v1
Image document

On the Expressiveness of Parametric Timed Automata

Étienne André , Didier Lime , Olivier Henri Roux
14th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2016), Aug 2016, Québec, Canada. ⟨10.1007/978-3-319-44878-7_2⟩
Communication dans un congrès hal-02538061v1
Image document

Integer-Complete Synthesis for Bounded Parametric Timed Automata

Étienne André , Didier Lime , Olivier Henri Roux
9th International Conference on Reachability Problems (RP 2015), Sep 2015, Warsaw, Poland. pp.7-19, ⟨10.1007/978-3-319-24537-9_2⟩
Communication dans un congrès hal-02939637v1