Étienne André
65
Documents
Researcher identifiers
etienne-andre
Presentation
My Web page is available at [lipn.univ-paris13.fr/~andre/](https://lipn.univ-paris13.fr/~andre/ "Étienne André")
Publications
- 14
- 14
- 10
- 9
- 9
- 7
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 36
- 22
- 21
- 19
- 19
- 2
- 1
- 1
- 1
- 1
- 25
- 18
- 1
Efficient Convex Zone Merging in Parametric Timed Automata20th 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 Behavior14th 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 opacity8th 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 Systems42nd 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 Automata14th 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 DecidabilityCAV 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 methodACC 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 AutomataTACAS 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 AutomataTAP 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 systemsICCPS 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 automataICECCS 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)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 automata13th 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 automata24th 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 checking20th 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 constraints19th 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 Data31st International Conference on Computer-Aided Verification (CAV 2019), Jul 2019, New York, United States
Conference papers
hal-02153223v1
|
|
|
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⟩
Conference papers
hal-02153238v1
|
Online Parametric Timed Pattern Matching with Automata-Based Skipping11th 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 uncertainty16th 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 Testing13th 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 Opacity17th 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 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⟩
Conference papers
hal-01961497v1
|
|
Parametric analyses of attack-fault trees19th 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 Automata25th 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 uncertainty23rd 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
|
|
|
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⟩
Conference papers
hal-01957157v1
|
|
A benchmark library for parametric timed model checkingSixth 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
|
|
Liveness in L/U-Parametric Timed Automatá17th International Conference on Application of Concurrency to System Design (ACSD 2017), Jun 2017, Zaragoza, Spain
Conference papers
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⟩
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 syndrome25. Federation European Physiological Societies (FEPS), Federation of European Physiological Societies.; French Physiological Society., Jun 2016, Paris, France. pp.2
Conference papers
hal-02741066v1
|
|
|
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⟩
Conference papers
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⟩
Conference papers
hal-02538061v1
|
Preserving Partial Order Runs in Parametric Time Petri Nets15th International Conference on Application of Concurrency to System Design (ACSD'15), 2015, Brussels, Belgium
Conference papers
hal-01242847v1
|
|
|
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⟩
Conference papers
hal-02939637v1
|
|
Verification of Two Real-Time Systems Using Parametric Timed AutomataWATERS - International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems, Dec 2015, Lund, Sweden
Conference papers
hal-01240583v1
|
|
Reachability Preservation Based Parameter Synthesis for Timed AutomataNFM '15, Apr 2015, Pasadena, California, United States
Conference papers
hal-01121214v1
|
Teaching formal methods: Experience at UPMC and UP13 with CosyVerif25th 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 Environment18th 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 Systems15th 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 AutomataThe 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 MethodISTE Ltd and John Wiley & Sons Inc, pp.176, 2013, Focus, 9781848214477
Books
hal-00785289v1
|
|
Expiring opacity problems in parametric timed automata2023
Preprints, Working Papers, ...
hal-04151207v1
|
|
Liveness in L/U-Parametric Timed Automata2016
Preprints, Working Papers, ...
hal-01304232v1
|
|
Contributions to parametric timed model checking: Theory and algorithmsLogic in Computer Science [cs.LO]. Université Paris 13, 2018
Habilitation à diriger des recherches
tel-01857440v1
|