Étienne André Nantes Université, Bretagne, France

Identifiants chercheurs

IdHAL :

etienne-andre

ORCID :

0000-0001-8473-9555

arXiv :

andre_e_2

Présentation

Publications

Article dans une revue (48)

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
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
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
Formalizing UML State Machines for Automated Verification – A Survey Étienne André,Shuang Liu,Yang Liu,Christine Choppy,Jun Sunet al. ACM Computing Surveys, 2023, 55 (13s), pp.1-47. ⟨10.1145/3579821⟩ Article dans une revue hal-04661686v1
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
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
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
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
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
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 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
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
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
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
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
Automated synthesis of local time requirement for service composition Étienne André,Tian Huat Tan,Manman Chen,Shuang Liu,Jun Sunet al. Software and Systems Modeling, 2020, 19, pp.983-1013. ⟨10.1007/s10270-020-00787-5⟩ Article dans une revue hal-02512449v1
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-Adamet 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-Hualdeet al. Chemistry - A European Journal, 2016, 22 (9), pp.3105 - 3114. ⟨10.1002/chem.201503693⟩ Article dans une revue istex cea-01492975v1
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. Sayonet al. Journal of Antimicrobial Chemotherapy, 2016, 71 (8), pp.2248-2251. ⟨10.1093/jac/dkw146⟩ Article dans une revue hal-01332106v1
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 Goujardet 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. Mersonet 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 Gardenet 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-Cantinet 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. Ouhsaineet 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 Gornitzkaet 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. Lazraqet 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. Ranaivonjatovoet 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
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
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
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. Rauwelet 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

Communication dans un congrès (71)

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 Limeet 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
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
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance Jesse Reimann,Nico Mansion,James Haydon,Benjamin Bray,Agnishom Chattopadhyayet 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
CosyVerif: The Path to Formalisms Cohabitation Étienne André,Jaime Arias,Benoît Barbot,Francis Hulin-Hubard,Fabrice Kordonet al. 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, Jun 2024, Geneva, Switzerland. pp.432-444, ⟨10.1007/978-3-031-61433-0_21⟩ Communication dans un congrès hal-04610312v1
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
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
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
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
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
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
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 Harbouret 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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-Adamet 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
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. Drobeket al. China France 2nd Workshop on Advanced Materials, Aug 2016, Metz, France Communication dans un congrès hal-01710237v1
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
Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems Baptiste Parquier,Laurent Rioux,Rafik Henia,Romain Soulat,Olivier Henri Rouxet 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
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
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
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-Adamet al. Journées francophones de Nutrition, Dec 2015, Marseille, France Communication dans un congrès hal-01584643v1
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
CosyVerif: An Open Source Extensible Verification Environment Étienne André,Yousra Lembachar,Laure Petrucci,Francis Hulin-Hubard,Alban Linardet 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
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-Hubardet 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
The TARDIS framework: intelligent virtual agents for social coaching in job interviews K Anderson,E. André,T Baur,S. Bernardini,M Cholletet 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. Dezzaniet 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

Poster de conférence (2)

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 Gpr West,Etienne André,Frederique Lantoine Adamet al. FEPS 2016 – Joint Meeting of the Federation of European Physiological Societies and the French Physiological Society, Jun 2016, Paris, France. Acta Physiologica SI(708) 50-51 Poster de conférence hal-01592261v1
L’arginine orale, particulièrement sous une forme à libération prolongée, est utilisée plus efficacement pour la synthèse de monoxyde d’azote quand les sujets présentent des facteurs de risque du syndrome métabolique Ambre Deveaux,Hélène Fouillet,Klaus Jurgen Petzke,Dominique Hermier,Etienne Andréet al. Journées francophones de Nutrition, Dec 2015, Marseille, France Poster de conférence hal-01584653v1

Ouvrages (1)

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

Chapitre d'ouvrage (1)

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

Autre publication scientifique (1)

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 Harbouret al. 2023, ⟨10.4230/DARTS.9.1.4⟩ Autre publication scientifique hal-04254710v1

Pré-publication, Document de travail (2)

Execution-time opacity problems in one-clock parametric timed automata Étienne André,Johan Arcile,Engel Lefaucheux 2024 Pré-publication, Document de travail hal-05194823v1
Liveness in L/U-Parametric Timed Automata Étienne André,Didier Lime 2016 Pré-publication, Document de travail hal-01304232v1

Thèse (2)

Vers la synthèse totale de nanotubes de carbone Zig-Zag de diamètres contrôlés : utilisation de calixarènes Etienne André Autre. Université Paris Sud - Paris XI, 2012. Français. ⟨NNT : 2012PA112345⟩ Thèse tel-01124065v1
An inverse method for the synthesis of timing parameters in concurrent systems Etienne André Computers and Society [cs.CY]. École normale supérieure de Cachan - ENS Cachan, 2010. English. ⟨NNT : 2010DENS0044⟩ Thèse tel-00595268v1

HDR (1)

Contributions to parametric timed model checking: Theory and algorithms Étienne André Logic in Computer Science [cs.LO]. Université Paris 13, 2018 HDR tel-01857440v1