Search - Archive ouverte HAL Access content directly

Filter your results

65 Results
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

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

The Inverse Method

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

Parametric Verification: An Introduction

Étienne André , Michał Knapik , Didier Lime , Wojciech Penczek , Laure Petrucci
LNCS Transactions on Petri Nets and Other Models of Concurrency, In press
Journal articles hal-02170526v1

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

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

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

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

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

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

Baptiste Parquier , Laurent Rioux , Rafik Henia , Romain Soulat , Olivier Henri Roux , et al.
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

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

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

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

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

Automated synthesis of local time requirement for service composition

Étienne André , Tian Huat Tan , Manman Chen , Shuang Liu , Jun Sun , et al.
Software and Systems Modeling, 2020, 19, pp.983-1013. ⟨10.1007/s10270-020-00787-5⟩
Journal articles hal-02512449v1

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 , et al.
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 istex hal-00926126v1
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

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

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

CosyVerif: An Open Source Extensible Verification Environment

Étienne André , Yousra Lembachar , Laure Petrucci , Francis Hulin-Hubard , Alban Linard , et al.
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

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 , et al.
Neuropsychopharmacology, 2011, 36 (7), pp.1518-30. ⟨10.1038/npp.2011.37⟩
Journal articles inserm-00746162v1

Quantitative Microroughness Analysis Down To The Nanometer-Scale

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

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 , et al.
25. Federation European Physiological Societies (FEPS), Federation of European Physiological Societies.; French Physiological Society., Jun 2016, Paris, France. pp.2
Conference papers hal-02741066v1

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

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

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