Accéder directement au contenu

Étienne André

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

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

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

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

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