Étienne André
18
Documents
Identifiants chercheurs
- etienne-andre
Présentation
My Web page is available at [lipn.univ-paris13.fr/~andre/](https://lipn.univ-paris13.fr/~andre/ "Étienne André")
Publications
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 18
- 5
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 13
- 7
- 7
- 4
- 4
- 11
- 4
Reachability and liveness in parametric timed automataLogical Methods in Computer Science, 2022, 18 (1), ⟨10.46298/lmcs-18(1:31)2022⟩
Article dans une revue
hal-03574379v1
|
|
Parametric updates in parametric timed automataLogical 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
|
|
|
Parametric Analyses of Attack-fault TreesFundamenta Informaticae, 2021, 182 (1), pp.69 - 94. ⟨10.3233/fi-2021-2066⟩
Article dans une revue
hal-03483440v1
|
Language Preservation Problems in Parametric Timed AutomataLogical Methods in Computer Science, 2020, 16 (1), ⟨10.23638/LMCS-16⟩
Article dans une revue
hal-02498022v1
|
|
Parametric Verification: An IntroductionLNCS Transactions on Petri Nets and Other Models of Concurrency, 2019, ⟨10.1007/978-3-662-60651-3_3⟩
Article dans une revue
hal-03544041v1
|
|
Parametric Verification: An IntroductionLNCS Transactions on Petri Nets and Other Models of Concurrency, inPress
Article dans une revue
hal-02170526v1
|
|
Parametric updates in parametric timed automata39th 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 trees19th 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 Protocols20th 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 automata24th 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
|
|
|
Timed Automata with Parametric Updates18th 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
|
|
TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants16th 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
|
|
Liveness in L/U-Parametric Timed Automatá17th International Conference on Application of Concurrency to System Design (ACSD 2017), Jun 2017, Zaragoza, Spain
Communication dans un congrès
hal-01724293v1
|
|
Decision Problems for Parametric Timed Automata18th 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
|
|
Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems5th 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
|
|
On the Expressiveness of Parametric Timed Automata14th 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
|
|
Integer-Complete Synthesis for Bounded Parametric Timed Automata9th 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
|
|
Liveness in L/U-Parametric Timed Automata2016
Pré-publication, Document de travail
hal-01304232v1
|