Access content directly

Étienne André

65
Documents
Researcher identifiers
  • IdHAL etienne-andre

Presentation

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

Publications

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⟩
Journal articles hal-03798157v1

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⟩
Journal articles hal-03690234v1

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⟩
Journal articles hal-03574379v1

Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints

Étienne André , Emmanuel Coquard , Laurent Fribourg , Jawher Jerray , David Lesens
Fundamenta Informaticae, 2021, 182 (1), pp.31-67. ⟨10.3233/FI-2021-2065⟩
Journal articles hal-03481029v1
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⟩
Journal articles 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⟩
Journal articles hal-03340905v1

An Approximation of Minimax Control using Random Sampling and Symbolic Computation

Jawher Jerray , Laurent Fribourg , Étienne André
IFAC-PapersOnLine, 2021, Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), 54 (5), pp.265-270. ⟨10.1016/j.ifacol.2021.08.509⟩
Journal articles hal-03343147v1

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⟩
Journal articles 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⟩
Journal articles hal-02512449v1
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⟩
Journal articles hal-02154775v1

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⟩
Journal articles hal-02172670v1

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
Journal articles hal-02170526v1

The language preservation problem is undecidable for parametric event-recording automata

Étienne André , Shang-Wei Lin
Information Processing Letters, 2018, 136, pp.17-20. ⟨10.1016/j.ipl.2018.03.013⟩
Journal articles hal-01965926v1

A New, Simple and Versatile Strategy for the Synthesis of Short Segments of Zigzag-Type Carbon Nanotubes

Étienne André , Baptiste Boutonnet , Pauline Charles , Cyril Martini , Juan-Manuel Aguiar-Hualde
Chemistry - A European Journal, 2016, 22 (9), pp.3105 - 3114. ⟨10.1002/chem.201503693⟩
Journal articles cea-01492975v1
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⟩
Journal articles hal-01425696v1
Image document

Usefulness of an HIV DNA resistance genotypic test in patients who are candidates for a switch to the rilpivirine/emtricitabine/tenofovir disoproxil fumarate combination

S. Lambert-Niclot , C. Allavena , M. Grude , P. Flandre , S. Sayon
Journal of Antimicrobial Chemotherapy, 2016, ⟨10.1093/jac/dkw146⟩
Journal articles hal-01332106v1

Fluoxetine, desipramine, and the dual antidepressant milnacipran reduce alcohol self-administration and/or relapse in dependent rats.

Emmanuelle Simon O'Brien , Rémi Legastelois , Hakim Houchi , Catherine Vilpoux , Stéphanie Alaux-Cantin
Neuropsychopharmacology, 2011, 36 (7), pp.1518-30. ⟨10.1038/npp.2011.37⟩
Journal articles inserm-00746162v1
Image document

Fluoxetine, desipramine, and the dual antidepressant milnacipran reduce alcohol self-administration and/or relapse in dependent rats

Emmanuelle Simon O'Brien , Rémi Legastelois , Hakim Houchi , Catherine Vilpoux , Stéphanie Alaux
Neuropsychopharmacology, 2011, ⟨10.1038/npp.2011.37⟩
Journal articles hal-00625929v1

An Inverse Method for Parametric Timed Automata

Étienne André , Emmanuelle Encrenaz , Laurent Fribourg , Thomas Chatain
International Journal of Foundations of Computer Science, 2009, 20 (5), pp.819-836. ⟨10.1142/S0129054109006905⟩
Journal articles hal-00772641v1

Quantitative Microroughness Analysis Down To The Nanometer-Scale

Philippe Dumas , B. Bouffakhreddine , Claude Amra , O. Vatel , E. André
EPL - Europhysics Letters, 1993, 22, pp.717-722
Journal articles hal-01324254v1

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⟩
Conference papers hal-03772708v1

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⟩
Conference papers hal-03690071v1

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⟩
Conference papers hal-03874435v1

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⟩
Conference papers hal-03801020v1

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⟩
Conference papers 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⟩
Conference papers hal-03320626v1

Robust optimal periodic control using guaranteed Euler's method

Jawher Jerray , Laurent Fribourg , Étienne André
ACC 2021 - American Control Conference, May 2021, New Orleans/Virtual, United States. pp.986-991, ⟨10.23919/ACC50511.2021.9482621⟩
Conference papers hal-03174207v1

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⟩
Conference papers hal-03340887v1

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⟩
Conference papers 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
Conference papers hal-03142412v1

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
Conference papers hal-02972357v1

Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)

Jawher Jerray , Laurent Fribourg , Étienne André
ARCH20 - 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, Goran Frehse and Matthias Althoff, Jul 2020, Berlin, Germany. pp.197-184, ⟨10.29007/l3k2⟩
Conference papers hal-02972549v1

Formalizing Time4sys using parametric timed automata

Étienne André
13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), Jul 2019, Guilin, China
Conference papers 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
Conference papers hal-02267883v1

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⟩
Conference papers hal-01966300v1

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
Conference papers hal-02072159v1

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
Conference papers 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⟩
Conference papers hal-02153238v1

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⟩
Conference papers 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
Conference papers 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
Conference papers hal-02235206v1

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
Conference papers hal-02170527v1

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⟩
Conference papers hal-01961497v1

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
Conference papers 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⟩
Conference papers hal-02153342v1

Offline timed pattern matching under uncertainty

Étienne André , Ichiro Hasuo , Masaki Waga
23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018), Anthony Widjaja Lin and Jun Sun, Dec 2018, Melbourne, Australia. ⟨10.1109/ICECCS2018.2018.00010⟩
Conference papers hal-01965927v1
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⟩
Conference papers hal-01957157v1
Image document

A benchmark library for parametric timed model checking

Étienne André
Sixth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2018), Cyrille Artho and Peter Csaba Ölveczky, Nov 2018, Gold Coast, Australia
Conference papers hal-01961496v1
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
Conference papers 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⟩
Conference papers hal-02538055v1

L-arginine supplementation alleviates post-prandial endothelial dysfunction when baseline fasting plasma arginine concentration is low: a randomized controlled trial in healthy subjects with risk factors for metabolic syndrome

Ambre Deveaux , Isabelle Pham , Sheila G. West , Etienne André , Frederique Lantoine-Adam
25. Federation European Physiological Societies (FEPS), Federation of European Physiological Societies.; French Physiological Society., Jun 2016, Paris, France. pp.2
Conference papers hal-02741066v1
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⟩
Conference papers 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⟩
Conference papers hal-02538061v1

Preserving Partial Order Runs in Parametric Time Petri Nets

Etienne André , Thomas Chatain , César Rodriguez
15th International Conference on Application of Concurrency to System Design (ACSD'15), 2015, Brussels, Belgium
Conference papers hal-01242847v1
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⟩
Conference papers hal-02939637v1
Image document

Verification of Two Real-Time Systems Using Parametric Timed Automata

Youcheng Sun , Giuseppe Lipari , Étienne André
WATERS - International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems, Dec 2015, Lund, Sweden
Conference papers hal-01240583v1
Image document

Reachability Preservation Based Parameter Synthesis for Timed Automata

Étienne André , Giuseppe Lipari , Hoàng Gia Nguyễn , Youcheng Sun
NFM '15, Apr 2015, Pasadena, California, United States
Conference papers hal-01121214v1

Teaching formal methods: Experience at UPMC and UP13 with CosyVerif

Étienne André , Fabrice Kordon , Laure Petrucci
25th EAEEIE annual International Conference, May 2014, Cesme, Turkey. pp.25-28, ⟨10.1109/EAEEIE.2014.6879378⟩
Conference papers hal-01215588v1

CosyVerif: An Open Source Extensible Verification Environment

Étienne André , Yousra Lembachar , Laure Petrucci , Francis Hulin-Hubard , Alban Linard
18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. pp.33-36, ⟨10.1109/ICECCS.2013.15⟩
Conference papers hal-00926165v1

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems

Étienne André , Benoît Barbot , Clément Démoulins , Lom Messan Hillah , Francis Hulin-Hubard
15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. pp.199-214, ⟨10.1007/978-3-642-41202-8_14⟩
Conference papers hal-00926126v1

An Inverse Method for Parametric Timed Automata

Étienne André , Thomas Chatain , Emmanuelle Encrenaz , Laurent Fribourg
The Second Workshop on Reachability Problems in Computational Models (RP 2008), Sep 2008, Liverpool, United Kingdom. pp.29-46, ⟨10.1016/j.entcs.2008.12.029⟩
Conference papers hal-01299163v1

The Inverse Method

Étienne André , Romain Soulat
ISTE Ltd and John Wiley & Sons Inc, pp.176, 2013, Focus, 9781848214477
Books hal-00785289v1
Image document

Contributions to parametric timed model checking: Theory and algorithms

Étienne André
Logic in Computer Science [cs.LO]. Université Paris 13, 2018
Habilitation à diriger des recherches tel-01857440v1