Étienne André

Nantes Université, Bretagne, France
67 %
Libre accès
129
Documents
Affiliations actuelles
  • Laboratoire des Sciences du Numérique de Nantes (LS2N)
  • STR (LS2N - équipe STR)
Identifiants chercheurs

Présentation

Publications

17
16
13
11
10
9
6
5
4
4
3
3
3
3
3
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
18
12
11
7
7
7
6
6
6
6
6
6
5
5
5
5
5
5
5
5
5
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
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
37
36
18
36
28
27
23
20
20
5
5
2
1
1
1
16
4
1
1
3
1
1
3
1
1
1
1
1

Publications

Deposit thumbnail

Zone extrapolations in parametric timed automata

Johan Arcile , Étienne André

Innovations in Systems and Software Engineering, 2025, 21, pp.707--726. ⟨10.1007/s11334-024-00554-5⟩

Article dans une revue hal-04558548v1
Deposit thumbnail

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model

Bineet Ghosh , Étienne André

Logical Methods in Computer Science, 2024, Volume 20, Issue 1, ⟨10.46298/lmcs-20(1:2)2024⟩

Article dans une revue hal-04654243v1

MoULDyS: Monitoring of autonomous systems in the presence of uncertainties

Bineet Ghosh , Étienne André

Science of Computer Programming, 2023, 230, pp.102976. ⟨10.1016/j.scico.2023.102976⟩

Article dans une revue hal-04661688v1
Deposit thumbnail

Parametric Timed Pattern Matching

Masaki Waga , Étienne André , Ichiro Hasuo

ACM Transactions on Software Engineering and Methodology, 2023, 32 (1), pp.10. ⟨10.1145/3517194⟩

Article dans une revue hal-04661097v1
Deposit thumbnail

Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata

Étienne André , Engel Lefaucheux , Didier Lime , Dylan Marinho , Jun Sun

Electronic Proceedings in Theoretical Computer Science, 2023, 392, pp.1 - 26. ⟨10.4204/eptcs.392.1⟩

Article dans une revue hal-04312156v1

Formalizing UML State Machines for Automated Verification – A Survey

Étienne André , Shuang Liu , Yang Liu , Christine Choppy , Jun Sun et al.

ACM Computing Surveys, 2023, 55 (13s), pp.1-47. ⟨10.1145/3579821⟩

Article dans une revue hal-04661686v1
Deposit thumbnail

Timed automata as a formalism for expressing security: A survey on theory and practice

Johan Arcile, , Étienne André

ACM Computing Surveys, 2022, 55 (6), ⟨10.1145/3534967⟩

Article dans une revue hal-03690234v1
Deposit thumbnail

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

Model-bounded Monitoring of Hybrid Systems

Masaki Waga , Étienne André , Ichiro Hasuo

ACM Transactions on Cyber-Physical Systems, 2022, 6 (4), pp.1-26. ⟨10.1145/3529095⟩

Article dans une revue hal-04662623v1
Deposit thumbnail

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

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⟩

Article dans une revue hal-03343147v1
Deposit thumbnail

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

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⟩

Article dans une revue hal-03481029v1
Deposit thumbnail

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

DUF : Dynamic Uncore Frequency scaling to reduce power consumption

Etienne André , Rémi Dulong , Amina Guermouche , François Trahay

Concurrency and Computation: Practice and Experience, 2021, 34 (3), pp.e6580. ⟨10.1002/cpe.6580⟩

Article dans une revue hal-02401796v4

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

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⟩

Article dans une revue hal-02512449v1
Deposit thumbnail

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(1:5)2020⟩

Article dans une revue hal-02498022v1
Deposit thumbnail

Consistency in Parametric Interval Probabilistic Timed Automata

Étienne André , Benoit Delahaye , Paulin Fournier

Journal of Logical and Algebraic Methods in Programming, In press, ⟨10.1016/j.jlamp.2019.04.007⟩

Article dans une revue hal-02154775v1

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, ⟨10.1007/978-3-662-60651-3_3⟩

Article dans une revue hal-02170526v1

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⟩

Article dans une revue hal-02172670v1

Analogue bandwidth mismatch compensation techniques for time-interleaved ADCs using FD-SOI technology

Alexandre Mas , E. André , Caroline Lelandais-Perrault , Filipe Vinci dos Santos , Philippe Benabes

Electronics Letters, 2019, 55 (15), pp.831-833. ⟨10.1049/el.2018.6468⟩

Article dans une revue hal-02525672v1

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⟩

Article dans une revue hal-01965926v1

Improvement of chemical, physical, and electrical properties of parylene-D deposited by chemical vapor deposition by controlling the parameters process

M. Mokni , A. Kahouli , F. Jomni , Jean-Luc Garden , E. André et al.

Materials Chemistry and Physics, 2017, 186, pp.598-611. ⟨10.1016/j.matchemphys.2016.11.042⟩

Article dans une revue hal-01962998v1

L-arginine supplementation alleviates postprandial endothelial dysfunction when baseline fasting plasma arginine concentration is low: A randomized controlled trial in healthy overweight adults with cardiometabolic risk factors

A. Deveaux , I. Pham , S.G. West , E. André , F. Lantoine-Adam et al.

Journal of Nutrition, 2016, 146 (7), pp.1330-1340. ⟨10.3945/jn.115.227959⟩

Article dans une revue hal-01576899v1

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 et al.

Chemistry - A European Journal, 2016, 22 (9), pp.3105 - 3114. ⟨10.1002/chem.201503693⟩

Article dans une revue istex cea-01492975v1
Deposit thumbnail

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 et al.

Journal of Antimicrobial Chemotherapy, 2016, ⟨10.1093/jac/dkw146⟩

Article dans une revue hal-01332106v1
Deposit thumbnail

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⟩

Article dans une revue hal-01425696v1

A slow-compared with a fast-release form of oral arginine increases its utilization for nitric oxide synthesis in overweight adults with cardiometabolic risk factors in a randomized controlled study

Ambre Deveaux , Hélène Fouillet , Klaus J. Petzke , Dominique Hermier , Etienne André et al.

Journal of Nutrition, 2016, 146 (7), pp.1322-1329. ⟨10.3945/jn.116.231910⟩

Article dans une revue hal-01531692v1

HIV-1 subtype B-infected MSM may have driven the spread of transmitted resistant strains in France in 2007–12: impact on susceptibility to first-line strategies

Pierre Frange , Pierre Assoumou , Diane Descamps , Antoine Chéret , Cécile Goujard et al.

Journal of Antimicrobial Chemotherapy, 2015, 70 (7), pp.2084-2089. ⟨10.1093/jac/dkv049⟩

Article dans une revue hal-01983697v1

Dielectric Investigation of Parylene D Thin Films: Relaxation and Conduction Mechanisms

M. Mokni , A. Kahouli , F. Jomni , Jean-Luc Garden , E. André et al.

Journal of Physical Chemistry A, 2015, 119 (35), pp.9210 - 9217. ⟨10.1021/acs.jpca.5b07459⟩

Article dans une revue hal-01872506v1

pH influence on the complexation site of Al(III) with protocatechuic acid. A spectroscopic and theoretical approach

J.P. Cornard , C. Lapouge , E. André

Spectrochimica Acta Part A: Molecular and Biomolecular Spectroscopy [1994-..], 2013, 108, pp.280 - 287. ⟨10.1016/j.saa.2013.02.005⟩

Article dans une revue istex hal-00807472v1

LE SEVRAGE TABAGIQUE DES FUMEURS TRÈS DÉPENDANTS

J. Perriot , G. Mathern , E. André , Anne Schmitt , F. Merson et al.

Revue Medicale de Liege, 2013

Article dans une revue halshs-01565574v1

Versatile reactivity of phosphagermaallene tip(t-Bu)Ge=C=PMes* with alpha-ethylenic esters

D. Ghereg , F. Ouhsaine , J. Escudié , Stephane Labat , E. André et al.

Organometallics, 2013, 32 (4), pp.1085-1093. ⟨10.1021/om301224t⟩

Article dans une revue hal-00994533v1

Dielectric properties of parylene AF4 as low-k material for microelectronic applications

Abdelkader Kahouli , Alain Sylvestre , Fathi Jomni , E. André , Jean-Luc Garden et al.

Thin Solid Films, 2012, 520 (7), pp.2493-2497. ⟨10.1016/j.tsf.2011.10.025⟩

Article dans une revue istex hal-00653266v1

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⟩

Article dans une revue inserm-00746162v1

Versatile stereoselective cycloadditions between heterocumulenes and phosphagermaallene tip(tBu)Ge=C=PMes*: Experimental and theoretical Investigations

D. Ghereg , E. André , Heinz Gornitzka , J. Escudie , F. Ouhsaine et al.

Chemistry - A European Journal, 2011, 17 (45), pp.12763-12772. ⟨10.1002/chem.201100281⟩

Article dans une revue istex hal-01613244v1

1,3-Dipole behavior of phosphagermaallene tip(tBu)Ge-C-PMes* leading to a phosphagermaheterocyclic carbene

D. Ghereg , E. André , Jean-Marc Sotiropoulos , Karinne Miqueu , Heinz Gornitzka et al.

Angewandte Chemie International Edition, 2010, 49 (46), pp.8704-8707. ⟨10.1002/anie.201003044⟩

Article dans une revue istex hal-01613251v1

Reactions of germenes with some para-quinones: Formation of a tricyclic compound from 1,4-benzoquinone undergoing an unexpected rearrangement

D. Ghereg , E. André , S. Ech-Cherif El Kettani , N. Saffon , M. Lazraq et al.

Organometallics, 2010, 29 (21), pp.4849-4857. ⟨10.1021/om100113c⟩

Article dans une revue hal-01613252v1

The reactivity of phosphagermaallene Mes*P=C=Ge(t -Bu)tip toward aldehydes and ketones: An experimental and theoretical study

F. Ouhsaine , E. André , Jean-Marc Sotiropoulos , J. Escudie , H. Ranaivonjatovo et al.

Organometallics, 2010, 29 (11), pp.2566-2578. ⟨10.1021/om100233y⟩

Article dans une revue hal-01613253v1

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⟩

Article dans une revue hal-00772641v1

Toward a better understanding of the regioselectivity of the Al(III)−protocatechuic acid complexation reaction

E. André , C. Lapouge , J.P. Cornard

Journal of Physical Chemistry A, 2008, 112, pp.9829-9834. ⟨10.1021/jp802362j⟩

Article dans une revue istex hal-00329963v1

Stability of pentacene top gated thin film transistors

K. Diallo , M. Erouel , J. Tardy , E. André , Jean-Luc Garden

Applied Physics Letters, 2007, 91 (18), pp.183508. ⟨10.1063/1.2802039⟩

Article dans une revue hal-01727723v1

Characterization of the Al(III) binding site of protocatechuic acid by electronic spectroscopy and quantum chemical calculations

E. André , J.P. Cornard , C. Lapouge

Chemical Physics Letters, 2007, 434, pp.155-159. ⟨10.1016/j.cplett.2006.11.095⟩

Article dans une revue istex hal-00267122v1

Metal complexation of protocatechuic acid and its derivatives : determination of the optimal computational conditions for the simulation of electronic spectra

E. André , C. Lapouge , J.P. Cornard

Journal of Molecular Structure: THEOCHEM, 2007, 806, pp.131-140. ⟨10.1016/j.theochem.2006.11.017⟩

Article dans une revue istex hal-00267129v1

[Quality of life of very disabled children: a questionnaire about the role of health status and tube feeding].

E. André , I. Hodgkinson , C. Bérard , V. Des Portes

Archives de Pédiatrie, 2007, 14 (9), pp.1076-83. ⟨10.1016/j.arcped.2007.03.027⟩

Article dans une revue istex hal-00655315v1

Integration of self-assembled carbon nanotube transistors: statistics and gate engineering at the wafer scale

L. Marty , A. Bonhomme , A. Iaia , E. André , E. Rauwel et al.

Nanotechnology, 2006, 17, pp.5038

Article dans une revue hal-00134897v1

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

Article dans une revue hal-01324254v1
Deposit thumbnail

Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets

Étienne André , Jean-Luc Béchennec , Sudipta Chattopadhyay , Sébastien Faucou , Didier Lime et al.

SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania (IT), Italy. pp.1998-2006, ⟨10.1145/3672608.3707861⟩

Communication dans un congrès hal-05408909v1
Deposit thumbnail

Parameterized Verification of Timed Networks with Clock Invariants

Étienne André , Swen Jacobs , Shyam Lal Karra , Ocan Sankur

FSTTCS 2025 - 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2025, Goa, India. ⟨10.4230/LIPIcs.FSTTCS.2025.8⟩

Communication dans un congrès hal-05450304v1
Deposit thumbnail

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance

Jesse Reimann , Nico Mansion , James Haydon , Benjamin Bray , Agnishom Chattopadhyay et al.

39th ACM/SIGAPP Symposium On Applied Computing (SAC 2024), Apr 2024, Avila, Espagne, Spain. pp.186-195, ⟨10.1145/3605098.3636014⟩

Communication dans un congrès hal-04654301v1
Deposit thumbnail

The Bright Side of Timed Opacity

Étienne André , Sarah Dépernet , Engel Lefaucheux

25th International Conference on Formal Engineering Methods (ICFEM 2024), Kazuhiro Ogata; Meng Sun; Dominique Méry, Dec 2024, Hiroshima, Japan. pp.51-69, ⟨10.1007/978-981-96-0617-7_4⟩

Communication dans un congrès hal-04631012v3

CosyVerif: The Path to Formalisms Cohabitation

Étienne André , Jaime Arias , Benoît Barbot , Francis Hulin-Hubard , Fabrice Kordon et al.

45th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2024, Geneva, Switzerland. pp.432-444, ⟨10.1007/978-3-031-61433-0_21⟩

Communication dans un congrès hal-04610312v1
Deposit thumbnail

Parameterized Verification of Disjunctive Timed Networks

Étienne André , Paul Eichler , Swen Jacobs , Shyam Lal Karra

25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), Jan 2024, London, United Kingdom. pp.124-146, ⟨10.1007/978-3-031-50524-9_6⟩

Communication dans un congrès hal-04654278v1
Deposit thumbnail

Execution-time opacity control for timed automata

Étienne André , Marie Duflot , Laetitia Laversa , Engel Lefaucheux

22nd International Conference on Software Engineering and Formal Methods (SEFM 2024), Alexandre Madeira; Alexander Knapp, Nov 2024, Aveiro (Portugal), Portugal. ⟨10.1007/978-3-031-77382-2_20⟩

Communication dans un congrès hal-04732493v2
Deposit thumbnail

Tuning Trains Speed in Railway Scheduling

Étienne André

25th International Conference on Formal Engineering Methods (ICFEM 2024), Kazuhiro Ogata; Meng Sun; Dominique Méry, Dec 2024, Hiroshima, Japan. pp.37-50, ⟨10.1007/978-981-96-0617-7_3⟩

Communication dans un congrès hal-04822116v1
Deposit thumbnail

Execution-time opacity problems in one-clock parametric timed automata

Étienne André , Johan Arcile , Engel Lefaucheux

44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024), Siddharth Barman; Sławomir Lasota, Dec 2024, Gandhinagar, India. pp.3:1--3:22, ⟨10.4230/LIPIcs.FSTTCS.2024.3⟩

Communication dans un congrès hal-04732521v1
Deposit thumbnail

Expiring opacity problems in parametric timed automata

Étienne André , Engel Lefaucheux , Dylan Marinho

2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2023, Toulouse, France. pp.89-98, ⟨10.1109/ICECCS59891.2023.00020⟩

Communication dans un congrès hal-04151207v2
Deposit thumbnail

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (invited)

Sebastian Altmeyer , Étienne André , Silvano Dal Zilio , Loïc Fejoz , Michael González Harbour et al.

35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienne, Austria. pp.19:1--19:18, ⟨10.4230/LIPIcs.ECRTS.2023.19⟩

Communication dans un congrès hal-04654624v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-03772708v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-03690071v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-03690070v1
Deposit thumbnail

Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems

Bineet Ghosh , Étienne André

FORTE 2022 -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⟩

Communication dans un congrès hal-03801020v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-03874435v1

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

Communication dans un congrès 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⟩

Communication dans un congrès hal-03265573v1

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⟩

Communication dans un congrès hal-03174207v1

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

Communication dans un congrès hal-02972357v1

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⟩

Communication dans un congrès hal-03340887v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-03320626v1

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⟩

Communication dans un congrès hal-02972549v1

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

Communication dans un congrès 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⟩

Communication dans un congrès hal-01961497v1

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

Communication dans un congrès hal-02234990v1

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⟩

Communication dans un congrès hal-02072161v1

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

Communication dans un congrès hal-02235206v1

Formalizing Time4sys using parametric timed automata

Étienne André

13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), Jul 2019, Guilin, China

Communication dans un congrès 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. ⟨10.1109/ICECCS.2019.00017⟩

Communication dans un congrès 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⟩

Communication dans un congrès hal-01966300v1

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. ⟨10.3233/FI-2021-2066⟩

Communication dans un congrès 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⟩

Communication dans un congrès hal-02153342v1

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

Communication dans un congrès hal-02153223v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-02153238v1

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

Communication dans un congrès hal-02072159v1
Deposit thumbnail

TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants

Etienne André , Didier Lime , Mathias Ramparison

16th 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
Deposit thumbnail

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⟩

Communication dans un congrès hal-01957157v1
Deposit thumbnail

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

Communication dans un congrès hal-01961496v1

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⟩

Communication dans un congrès hal-01965927v1

Parametric Model Checking Timed Automata Under Non-Zenoness Assumption

Étienne André , Hoang Gia Nguyen , Laure Petrucci , Jun Sun

NASA Formal Methods, May 2017, Moffett Field, United States. pp.35-51, ⟨10.1007/978-3-319-57288-8_3⟩

Communication dans un congrès hal-03772844v1

Efficient Parameter Synthesis Using Optimized State Exploration Strategies

Étienne André , Hoang Gia Nguyen , Laure Petrucci

2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), Nov 2017, Fukuoka, France. pp.1-10, ⟨10.1109/ICECCS.2017.28⟩

Communication dans un congrès hal-03772780v1

Timed ATL: Forget Memory, Just Count

Etienne André , Laure Petrucci , Wojciech Jamroga , Michal Jozef Knapik , Wojciech Penczek

Conference on Autonomous Agents and MultiAgent Systems, May 2017, Sao Paulo, Brazil

Communication dans un congrès hal-03772771v1
Deposit thumbnail

Learning-Based Compositional Parameter Synthesis for Event-Recording Automata

Etienne André , Shang-Wei Lin

37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.17-32, ⟨10.1007/978-3-319-60225-7_2⟩

Communication dans un congrès hal-01658415v1
Deposit thumbnail

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. ⟨10.1109/ACSD.2017.19⟩

Communication dans un congrès hal-01724293v1

Dielectric and Thermal Properties of Parylene D at High Temperature: Thermal Instability

Marwa Mokni , Abdelkader Kahouli , Fathi Jomni , Jean-Luc Garden , E. André et al.

International Conference on Dielectrics 2016 ( ICD), Jul 2016, Montpellier, France

Communication dans un congrès hal-01345398v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-02538041v1
Deposit thumbnail

Consistency in Parametric Interval Probabilistic Timed Automata

Etienne André , Benoit Delahaye

23rd International Symposium on Temporal Representation and Reasoning, Oct 2016, Copenhagen, Denmark

Communication dans un congrès hal-01590892v1

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

Communication dans un congrès hal-02741066v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-02538055v1

PECVD a-SiCN(O):H materials for H2 separation membranes - An insight into the structure-property relationships

R. Coustel , M. Haacké , V. Rouessac , E. André , M. Drobek et al.

China France 2nd Workshop on Advanced Materials, Aug 2016, Metz, France

Communication dans un congrès hal-01710237v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-02538061v1

La supplémentation en L-arginine atténue la dysfonction endothéliale postprandiale lorsque l’argininémie basale est faible chez des sujets sains présentant des facteurs de risque du syndrome métabolique

Ambre Deveaux , Isabelle Pham , Sheila G West , Etienne André , Frédérique Lantoine-Adam et al.

Journées francophones de Nutrition, Dec 2015, Marseille, France

Communication dans un congrès hal-01584643v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-02939637v1
Deposit thumbnail

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

Communication dans un congrès hal-01240583v1
Deposit thumbnail

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

Communication dans un congrès hal-01121214v1

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

Communication dans un congrès hal-01242847v1

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⟩

Communication dans un congrès hal-01215588v1

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⟩

Communication dans un congrès istex hal-00926126v1

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⟩

Communication dans un congrès hal-00926165v1
Deposit thumbnail

The TARDIS framework: intelligent virtual agents for social coaching in job interviews

K Anderson , E. André , T Baur , S. Bernardini , M Chollet et al.

10th International Conference on Advances in Computer Entertainment (ACE 2013), Nov 2013, Twente, Netherlands

Communication dans un congrès hal-01852269v1

Etude expérimentale et théorique de la complexation de Pb(II) par un ligand modèle des substances humiques

C. Lapouge , E. André , J.P. Cornard

12ème Rencontre des Chimistes Théoriciens Francophones, Jul 2010, Namur, Belgique

Communication dans un congrès hal-00483866v1

Etude du système Pb(II) / acide protocatéchuique par chimie quantique (DFT/TD-DFT)

E. André , C. Lapouge , J.P. Cornard , S. Sobanska

Etude du système Pb(II) / acide protocatéchuique par chimie quantique (DFT/TD-DFT), Oct 2009, Ambleteuse, France

Communication dans un congrès hal-00643872v1

Etude des mécanismes de complexation de l'acide 3,4-dihydroxybenzoïque avec Al(III) et Pb(II) par DFT/TD-DFT

E. André , C. Lapouge , J.P. Cornard

11ème Rencontre des Chimistes Théoriciens Francophones, Jul 2008, Dinard, France

Communication dans un congrès hal-00332448v1

Etude DFT/TD-DFT du mécanisme de complexation de l'acide protocatéchuique avec Pb(II)

E. André , C. Lapouge , J.P. Cornard

Journées Nord-Ouest Européennes des Jeunes Chercheurs (JNOEJC), Jun 2008, Villeneuve d'Ascq, France

Communication dans un congrès hal-00332454v1

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⟩

Communication dans un congrès hal-01299163v1

A new analytical approach of the impact of jitter on continuous time delta sigma converters

J. Goulier , E. André , Marc Renaudin

International Conference on Very Large Scale Integration (VLSI-SoC'07), Oct 2007, Atlanta, United States. pp.110-115, ⟨10.1109/VLSISOC.2007.4402482⟩

Communication dans un congrès hal-00222805v1

Determination of the complexation mechanism between metals and a model molecule of the humic substances by quantum chemical calculations

E. André , J.P. Cornard , C. Lapouge

12th International Conference on the Applications of Density Functional Theory, Aug 2007, Amsterdam, Netherlands

Communication dans un congrès hal-00335182v1

Apport des méthodes de chimie quantique (DFT et TD-DFT) à l'étude du mécanisme de complexation de l'aluminium (III) par un précurseur des substances humiques : l'acide protocatéchuique

E. André , C. Lapouge , J.P. Cornard

Journée calcul numérique intensif, Sep 2007, Lille, France

Communication dans un congrès hal-00335187v1

Apport des méthodes TD-DFT à la simulation des spectres électroniques de l'acide 3,4-dihydroxybenzoique et de son anion

E. André , C. Lapouge , J.P. Cornard

3ème Journées Nord-Ouest Européennes des Jeunes Chercheurs (JNOEJC), Apr 2006, Villeneuve d'Ascq, France

Communication dans un congrès hal-00337121v1

A 120nm low power asynchronous ADC

E. Allier , Marc Renaudin , G. Sicard , J. Goulier , A. Dezzani et al.

Low Power Electronics and Design, 2005. ISLPED '05. Proceedings of the 2005 International Symposium on, 2005, San Diego, CA, United States. pp.60-65

Communication dans un congrès hal-00012718v1

The Inverse Method

Étienne André , Romain Soulat

ISTE Ltd and John Wiley & Sons Inc, pp.176, 2013, Focus, 9781848214477

Ouvrages hal-00785289v1

A new analystical approach of the impact of jitter of the continuous time delta sigma converters

J. Goulier , E. André , Marc Renaudin

R. Reis, V. Mooney, P. Hasler. VLSI-SoC: Advanced Topics on Systems on a Chip, Springer, pp.1-16, Volume 291, 2009, IFIP International Federation for Information Processing, ⟨10.1007/978-0-387-89558-1_11⟩

Chapitre d'ouvrage hal-00419377v1