Accéder directement au contenu

Étienne André

115
Documents
Identifiants chercheurs
  • IdHAL etienne-andre

Présentation

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

Publications

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

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

Sebastian Altmeyer , Étienne André , Silvano Dal Zilio , Loïc Fejoz , Michael González Harbour
Dagstuhl Artifacts Series, 2023, 9 (1), ⟨10.4230/DARTS.9.1.4⟩
Article dans une revue hal-04254710v1

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

Johan Arcile, , Étienne André
ACM Computing Surveys, 2022, ⟨10.1145/3534967⟩
Article dans une revue hal-03690234v1

Reachability and liveness in parametric timed automata

Étienne André , Didier Lime , Olivier Henri Roux
Logical Methods in Computer Science, 2022, 18 (1), ⟨10.46298/lmcs-18(1:31)2022⟩
Article dans une revue hal-03574379v1
Image document

DUF: Dynamic Uncore Frequency scaling to reduce power consumption

Étienne André , Rémi Dulong , Amina Guermouche , François Trahay
Concurrency and Computation: Practice and Experience, 2022, 34 (3), pp.e6580. ⟨10.1002/cpe.6580⟩
Article dans une revue hal-03414542v1

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

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

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

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

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

DUF : Dynamic Uncore Frequency scaling to reduce power consumption

Étienne André , Rémi Dulong , Amina Guermouche , François Trahay
Concurrency and Computation: Practice and Experience, 2021, 34 (3), pp.e6580
Article dans une revue hal-02401796v4
Image document

Consistency in Parametric Interval Probabilistic Timed Automata

Étienne André , Benoit Delahaye , Paulin Fournier
Journal of Logical and Algebraic Methods in Programming, inPress, ⟨10.1016/j.jlamp.2019.04.007⟩
Article dans une revue hal-02154775v1

Automated synthesis of local time requirement for service composition

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

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⟩
Article dans une revue hal-02498022v1

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

Parametric Verification: An Introduction

Étienne André , Michał Knapik , Didier Lime , Wojciech Penczek , Laure Petrucci
LNCS Transactions on Petri Nets and Other Models of Concurrency, inPress
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

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

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é
Materials Chemistry and Physics, 2017, 186, pp.598-611. ⟨10.1016/j.matchemphys.2016.11.042⟩
Article dans une revue hal-01962998v1

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

Étienne André , Baptiste Boutonnet , Pauline Charles , Cyril Martini , Juan-Manuel Aguiar-Hualde
Chemistry - A European Journal, 2016, 22 (9), pp.3105 - 3114. ⟨10.1002/chem.201503693⟩
Article dans une revue cea-01492975v1
Image document

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

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

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é
Journal of Nutrition, 2016, 146 (7), pp.1322-1329. ⟨10.3945/jn.116.231910⟩
Article dans une revue hal-01531692v1

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
Journal of Nutrition, 2016, 146 (7), pp.1330-1340. ⟨10.3945/jn.115.227959⟩
Article dans une revue hal-01576899v1
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-01425696v1

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

M. Mokni , A. Kahouli , F. Jomni , Jean-Luc Garden , E. André
Journal of Physical Chemistry A, 2015, 119 (35), pp.9210 - 9217. ⟨10.1021/acs.jpca.5b07459⟩
Article dans une revue hal-01872506v1

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
Journal of Antimicrobial Chemotherapy, 2015, 70 (7), pp.2084-2089. ⟨10.1093/jac/dkv049⟩
Article dans une revue hal-01983697v1

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

LE SEVRAGE TABAGIQUE DES FUMEURS TRÈS DÉPENDANTS

J. Perriot , G. Mathern , E. André , Anne Schmitt , F. Merson
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é
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
Thin Solid Films, 2012, 520 (7), pp.2493-2497. ⟨10.1016/j.tsf.2011.10.025⟩
Article dans une revue hal-00653266v1

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
Chemistry - A European Journal, 2011, 17 (45), pp.12763-12772. ⟨10.1002/chem.201100281⟩
Article dans une revue hal-01613244v1
Image document

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

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

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

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

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
Angewandte Chemie International Edition, 2010, 49 (46), pp.8704-8707. ⟨10.1002/anie.201003044⟩
Article dans une revue hal-01613251v1

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
Organometallics, 2010, 29 (11), pp.2566-2578. ⟨10.1021/om100233y⟩
Article dans une revue hal-01613253v1

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
Organometallics, 2010, 29 (21), pp.4849-4857. ⟨10.1021/om100113c⟩
Article dans une revue hal-01613252v1

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

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

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

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
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é
EPL - Europhysics Letters, 1993, 22, pp.717-722
Article dans une revue hal-01324254v1
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-04151207v2

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
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-02153238v1
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-01961496v1
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-01957138v1
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-01957157v1

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
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-01658415v1
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
Communication dans un congrès hal-01724293v1

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
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-01590892v1
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-02538061v1

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

Marwa Mokni , Abdelkader Kahouli , Fathi Jomni , Jean-Luc Garden , E. André
International Conference on Dielectrics 2016 ( ICD), Jul 2016, Montpellier, France
Communication dans un congrès hal-01345398v1
Image document

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

Baptiste Parquier , Laurent Rioux , Rafik Henia , Romain Soulat , Olivier Henri Roux
5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-53946-1_8⟩
Communication dans un congrès hal-02538041v1

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

Ambre Deveaux , Isabelle Pham , Sheila G. West , Etienne André , Frederique Lantoine-Adam
25. Federation European Physiological Societies (FEPS), Federation of European Physiological Societies.; French Physiological Society., Jun 2016, Paris, France. pp.2
Communication dans un congrès hal-02741066v1
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-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
China France 2nd Workshop on Advanced Materials, Aug 2016, Metz, France
Communication dans un congrès hal-01710237v1
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-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
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-02939637v1

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
Journées francophones de Nutrition, Dec 2015, Marseille, France
Communication dans un congrès hal-01584643v1
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-01240583v1

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
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 hal-00926126v1

CosyVerif: An Open Source Extensible Verification Environment

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

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

K Anderson , E. André , T Baur , S. Bernardini , M Chollet
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 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

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

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

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

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