Étienne André

127
Documents

Présentation

Publications

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

Publications

Image document

Zone extrapolations in parametric timed automata

Johan Arcile , Étienne André
Innovations in Systems and Software Engineering, 2024, ⟨10.1007/s11334-024-00554-5⟩
Article dans une revue hal-04558548 v1
Image document

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

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

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

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

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

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

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

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

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

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

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-03340905 v1
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-03483440 v1

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

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

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

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

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

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

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

Parametric Verification: An Introduction

Etienne André , Michal Jozef Knapik , Didier Lime , Wojciech Penczek , Laure Petrucci
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2019, ⟨10.1007/978-3-662-60651-3_3⟩
Article dans une revue hal-03544041 v1

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

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

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

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

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

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-01492975 v1
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 et al.
Journal of Antimicrobial Chemotherapy, 2016, ⟨10.1093/jac/dkw146⟩
Article dans une revue hal-01332106 v1
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⟩
Article dans une revue hal-01425696 v1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[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-00655315 v1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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-02153316 v1
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⟩
Communication dans un congrès hal-02153238 v1

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

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-01957138 v1
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⟩
Communication dans un congrès hal-01957157 v1
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
Communication dans un congrès hal-01961496 v1

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

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

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

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-01658415 v1
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. ⟨10.1109/ACSD.2017.19⟩
Communication dans un congrès hal-01724293 v1

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

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

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

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-02741066 v1
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⟩
Communication dans un congrès hal-02538055 v1
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⟩
Communication dans un congrès hal-02538041 v1
Image document

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-01590892 v1
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⟩
Communication dans un congrès hal-02538061 v1
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
Communication dans un congrès hal-01240583 v1

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-01584643 v1
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⟩
Communication dans un congrès hal-02939637 v1
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
Communication dans un congrès hal-01121214 v1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The Inverse Method

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

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