Skip to Main content

Keywords

Co-authors

Researcher identifiers

  • IdHAL : etienne-andre

Social networks

  • Twitter: etienne_andre
Number of documents

49

Étienne André (mini CV)


My Web page is available at loria.science/andre/


Journal articles13 documents

  • Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, et al.. Automated synthesis of local time requirement for service composition. Software and Systems Modeling, Springer Verlag, In press, ⟨10.1007/s10270-020-00787-5⟩. ⟨hal-02512449⟩
  • Étienne André, Didier Lime, Nicolas Markey. Language Preservation Problems in Parametric Timed Automata. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (1), ⟨10.23638/LMCS-16⟩. ⟨hal-02498022⟩
  • Étienne André, Benoit Delahaye, Paulin Fournier. Consistency in Parametric Interval Probabilistic Timed Automata. Journal of Logical and Algebraic Methods in Programming, Elsevier, In press, ⟨10.1016/j.jlamp.2019.04.007⟩. ⟨hal-02154775⟩
  • Étienne André. What’s decidable about parametric timed automata?. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2019, 21 (2), pp.203-219. ⟨10.1007/s10009-017-0467-0⟩. ⟨hal-02172670⟩
  • Étienne André, Michał Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci. Parametric Verification: An Introduction. LNCS Transactions on Petri Nets and Other Models of Concurrency, Springer, In press. ⟨hal-02170526⟩
  • Étienne André, Shang-Wei Lin. The language preservation problem is undecidable for parametric event-recording automata. Information Processing Letters, Elsevier, 2018, 136, pp.17-20. ⟨10.1016/j.ipl.2018.03.013⟩. ⟨hal-01965926⟩
  • S. Lambert-Niclot, C. Allavena, M. Grude, P. Flandre, S. Sayon, et al.. Usefulness of an HIV DNA resistance genotypic test in patients who are candidates for a switch to the rilpivirine/emtricitabine/tenofovir disoproxil fumarate combination. Journal of Antimicrobial Chemotherapy, Oxford University Press (OUP), 2016, ⟨10.1093/jac/dkw146⟩. ⟨hal-01332106⟩
  • Étienne André, Baptiste Boutonnet, Pauline Charles, Cyril Martini, Juan-Manuel Aguiar-Hualde, et al.. A New, Simple and Versatile Strategy for the Synthesis of Short Segments of Zigzag-Type Carbon Nanotubes. Chemistry - A European Journal, Wiley-VCH Verlag, 2016, 22 (9), pp.3105 - 3114. ⟨10.1002/chem.201503693⟩. ⟨cea-01492975⟩
  • Étienne André, Thomas Chatain, César Rodriguez. Preserving Partial Order Runs in Parametric Time Petri Nets. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 16, pp.25. ⟨10.1145/3012283⟩. ⟨hal-01425696⟩
  • Emmanuelle Simon O'Brien, Rémi Legastelois, Hakim Houchi, Catherine Vilpoux, Stéphanie Alaux, et al.. Fluoxetine, desipramine, and the dual antidepressant milnacipran reduce alcohol self-administration and/or relapse in dependent rats. Neuropsychopharmacology, Nature Publishing Group, 2011, ⟨10.1038/npp.2011.37⟩. ⟨hal-00625929⟩
  • Emmanuelle Simon O'Brien, Rémi Legastelois, Hakim Houchi, Catherine Vilpoux, Stéphanie Alaux-Cantin, et al.. Fluoxetine, desipramine, and the dual antidepressant milnacipran reduce alcohol self-administration and/or relapse in dependent rats.. Neuropsychopharmacology, Nature Publishing Group, 2011, 36 (7), pp.1518-30. ⟨10.1038/npp.2011.37⟩. ⟨inserm-00746162⟩
  • Étienne André, Emmanuelle Encrenaz, Laurent Fribourg, Thomas Chatain. An Inverse Method for Parametric Timed Automata. International Journal of Foundations of Computer Science, World Scientific Publishing, 2009, 20 (5), pp.819-836. ⟨10.1142/S0129054109006905⟩. ⟨hal-00772641⟩
  • Philippe Dumas, B. Bouffakhreddine, Claude Amra, O. Vatel, E. André, et al.. Quantitative Microroughness Analysis Down To The Nanometer-Scale. EPL - Europhysics Letters, European Physical Society/EDP Sciences/Società Italiana di Fisica/IOP Publishing, 1993, 22, pp.717-722. ⟨hal-01324254⟩

Conference papers33 documents

  • Étienne André, Aleksander Kryukov. Parametric non-interference in timed automata. ICECCS 2020 - 25th International Conference on Engineering of Complex Computer Systems, Yi Li and Alan Liew, Mar 2021, Singapore, Singapore. ⟨hal-02972357⟩
  • Masaki Waga, Étienne André, Ichiro Hasuo. Model-bounded monitoring of hybrid systems. 12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2021), Martina Maggio; James Weimer, May 2021, Nashville, United States. ⟨hal-03142412⟩
  • Jawher Jerray, Laurent Fribourg, Étienne André. Robust optimal periodic control using guaranteed Euler's method. 2021 American Control Conference (ACC 2021), May 2021, New Orleans/Virtual, United States. ⟨hal-03174207⟩
  • Jawher Jerray, Laurent Fribourg, Étienne André. Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). 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⟩. ⟨hal-02972549⟩
  • Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli. Repairing Timed Automata Clock Guards through Abstraction and Testing. 13th International Conference on Tests and Proofs (TAP 2019), Dirk Beyer; Chantal Keller, Oct 2019, Porto, Portugal. ⟨hal-02235206⟩
  • Étienne André, Didier Lime, Mathias Ramparison. Parametric updates in parametric timed automata. 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⟩. ⟨hal-02153238⟩
  • Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol. Minimal-Time Synthesis for Parametric Timed Automata. 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⟩. ⟨hal-02153342⟩
  • Étienne André, Didier Lime, Mathias Ramparison. On the expressive power of invariants in parametric timed automata. 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Jing Sun; Jun Pang, Nov 2019, Hong Kong, China. ⟨hal-02267883⟩
  • Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga. Parametric analyses of attack-fault trees. 19th International Conference on Application of Concurrency to System Design (ACSD 2019), Jun 2019, Aachen, Germany. ⟨hal-02153316⟩
  • Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime. Parametric Timed Broadcast Protocols. 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⟩. ⟨hal-01961497⟩
  • Étienne André, Jawher Jerray, Sahar Mhiri. Time4sys2imi: A tool to formalize real-time system models under uncertainty. 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Robert M. Hierons; Mohamed Mosbah, Oct 2019, Hammamet, Tunisia. ⟨hal-02234990⟩
  • Masaki Waga, Étienne André, Ichiro Hasuo. Symbolic Monitoring against Specifications Parametric in Time and Data. 31st International Conference on Computer-Aided Verification (CAV 2019), Jul 2019, New York, United States. ⟨hal-02153223⟩
  • Masaki Waga, Étienne André. Online Parametric Timed Pattern Matching with Automata-Based Skipping. 11th Annual NASA Formal Methods Symposium (NFM 2019), Moshe Vardi, May 2019, Houston, TX, United States. ⟨10.1007/978-3-030-20652-9_26⟩. ⟨hal-02072161⟩
  • Étienne André. Formalizing Time4sys using parametric timed automata. 13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), Jul 2019, Guilin, China. ⟨hal-02153214⟩
  • Étienne André, Jun Sun. Parametric Timed Model Checking for Guaranteeing Timed Opacity. 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), Ming-Hsien Tsai, Oct 2019, Taipei, Taiwan. ⟨hal-02170527⟩
  • Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat. Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. 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⟩. ⟨hal-01966300⟩
  • Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens. Parametric schedulability analysis of a launcher flight control system under reactivity constraints. 19th International Conference on Application of Concurrency to System Design (ACSD 2019), Wil van der Aalst, Jun 2019, Aachen, Germany. ⟨hal-02072159⟩
  • Étienne André, Ichiro Hasuo, Masaki Waga. Offline timed pattern matching under uncertainty. 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⟩. ⟨hal-01965927⟩
  • Étienne André. A benchmark library for parametric timed model checking. Sixth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2018), Cyrille Artho and Peter Csaba Ölveczky, Nov 2018, Gold Coast, Australia. ⟨hal-01961496⟩
  • Étienne André, Didier Lime, Mathias Ramparison. Timed Automata with Parametric Updates. 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⟩. ⟨hal-01957157⟩
  • Étienne André, Didier Lime. Liveness in L/U-Parametric Timed Automatá. 17th International Conference on Application of Concurrency to System Design (ACSD 2017), Jun 2017, Zaragoza, Spain. ⟨hal-01724293⟩
  • Étienne André, Didier Lime, Olivier Henri Roux. On the Expressiveness of Parametric Timed Automata. 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⟩. ⟨hal-02538061⟩
  • Étienne André, Didier Lime, Olivier Henri Roux. Decision Problems for Parametric Timed Automata. 18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-47846-3_25⟩. ⟨hal-02538055⟩
  • Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier Henri Roux, et al.. Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems. 5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-53946-1_8⟩. ⟨hal-02538041⟩
  • Ambre Deveaux, Isabelle Pham, Sheila G. West, Etienne André, Frederique Lantoine-Adam, et al.. 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. 25. Federation European Physiological Societies (FEPS), Federation of European Physiological Societies.; French Physiological Society., Jun 2016, Paris, France. pp.2. ⟨hal-02741066⟩
  • Youcheng Sun, Giuseppe Lipari, Étienne André. Verification of Two Real-Time Systems Using Parametric Timed Automata. WATERS - International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems, Dec 2015, Lund, Sweden. ⟨hal-01240583⟩
  • Étienne André, Giuseppe Lipari, Hoàng Nguyễn, Youcheng Sun. Reachability Preservation Based Parameter Synthesis for Timed Automata. NFM '15, Apr 2015, Pasadena, California, United States. ⟨hal-01121214⟩
  • Étienne André, Didier Lime, Olivier Henri Roux. Integer-Complete Synthesis for Bounded Parametric Timed Automata. 9th International Conference on Reachability Problems (RP 2015), Sep 2015, Warsaw, Poland. pp.7-19, ⟨10.1007/978-3-319-24537-9_2⟩. ⟨hal-02939637⟩
  • Etienne André, Thomas Chatain, César Rodriguez. Preserving Partial Order Runs in Parametric Time Petri Nets. 15th International Conference on Application of Concurrency to System Design (ACSD'15), 2015, Brussels, Belgium. ⟨hal-01242847⟩
  • Étienne André, Fabrice Kordon, Laure Petrucci. Teaching formal methods: Experience at UPMC and UP13 with CosyVerif. 25th EAEEIE annual International Conference, May 2014, Cesme, Turkey. pp.25-28, ⟨10.1109/EAEEIE.2014.6879378⟩. ⟨hal-01215588⟩
  • Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, et al.. CosyVerif: An Open Source Extensible Verification Environment. 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. pp.33-36, ⟨10.1109/ICECCS.2013.15⟩. ⟨hal-00926165⟩
  • Étienne André, Benoît Barbot, Clément Démoulins, Lom Messan Hillah, Francis Hulin-Hubard, et al.. A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. 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⟩. ⟨hal-00926126⟩
  • Étienne André, Thomas Chatain, Emmanuelle Encrenaz, Laurent Fribourg. An Inverse Method for Parametric Timed Automata. 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⟩. ⟨hal-01299163⟩

Books1 document

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

Preprints, Working Papers, ...1 document

  • Étienne André, Didier Lime. Liveness in L/U-Parametric Timed Automata. 2016. ⟨hal-01304232⟩

Habilitation à diriger des recherches1 document

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