Étienne André – Publications

Livre

2013

Étienne André et Romain Soulat. The Inverse Method. ISTE Ltd and John Wiley & Sons Inc. ISBN : 9781848214477. Janvier 2013. (English) [PDF | BibTeX]

Actes de congrès internationaux

2019

Étienne André et Mariëlle Stoelinga. Proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2019). septembre 2019. DOI : 10.1007/978-3-030-29662-9 (English)

2015

Étienne André et Goran Frehse. Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters (SynCoP 2015). avril 2015. DOI : 10.4230/OASIcs.SynCoP.2015.i (English) [PDF | BibTeX]

2014

Étienne André et Zhang Lei (张蕾). Proceedings of the 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014). août 2014. (English) [BibTeX]
Étienne André et Goran Frehse. Proceedings of the 1st International Workshop on Synthesis of Continuous Parameters (SynCoP 2014). avril 2014. DOI : 10.4204/EPTCS.145 (English) [PDF | BibTeX]

Articles de revues internationales

2024

Bineet Ghosh et Étienne André. Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model. Logical Methods in Computer Science 20(1), pages 2:1-2:33, janvier 2024. DOI : 10.46298/lmcs-20(1:2)2024 (English) [PDF | BibTeX | data]

2023

Bineet Ghosh et Étienne André. MoULDyS: Monitoring of autonomous systems in the presence of uncertainties. Science of Computer Programming, juin 2023. À paraître. DOI : 10.1016/j.scico.2023.102976 (English) [data]
Étienne André, Liu Shuang, Liu Yang (刘杨), Christine Choppy, Sun Jun et Dong Jin Song (董劲松). Formalizing UML State Machines for Automated Verification - A Survey. ACM Computing Surveys, juin 2023. À paraître. DOI : 10.1145/3579821 (English)
Johan Arcile et Étienne André. Timed automata as a formalism for expressing security: A survey on theory and practice. ACM Computing Surveys 55(6), pages 1-36, juillet 2023. DOI : 10.1145/3534967 (English) [PDF (version auteur) | BibTeX]
Masaki Waga (和賀正樹), Étienne André et Ichiro Hasuo (蓮尾一郎). Parametric Timed Pattern Matching. ACM Transactions on Software Engineering and Methodology (TOSEM) 32(1), pages 10:1-10:35, février 2023. DOI : 10.1145/3517194 (English)

Articles dans les actes de congrès internationaux

2024

Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le et Laure Petrucci. CosyVerif: The Path to Formalisms Cohabitation. Sous la direction de Lars Michael Kristensen and Jan Martijn van der Werf (éditeurs), PetriNets’24, Springer LNCS, juin 2024. À paraître. (English)
Étienne André, Paul Eichler, Swen Jacobs et Shyam Karra. Parameterized Verification of Disjunctive Timed Networks. Sous la direction de Rayna Dimitrova and Ori Lahav (éditeurs), VMCAI’24, Springer LNCS 14499, pages 124-146, janvier 2024. Taux d’acceptation : 41%. DOI : 10.1007/978-3-031-50524-9_6 (English) [BibTeX]

2023

Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho et Sun Jun. Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. Sous la direction de Maurice H. ter Beek and Clemens Dubslaff (éditeurs), TiCSA’23, pages 1-26, avril 2023. DOI : 10.4204/EPTCS.392.1 (English) [PDF | BibTeX | Diapositives]
Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Susanne Graf, J. Javier Gutiérrez, Michael González Harbour, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio Medina, Nicolas Navet, Sophie Quinton, Juan M. Rivas et Sun Youcheng (孙有程). From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS. Sous la direction de Alessandro V. Papadopoulos (éditeurs), ECRTS’23, Leibniz International Proceedings in Informatics (LIPIcs), volume 262, pages 19:1-19:18, juillet 2023. DOI : 10.4230/LIPIcs.ECRTS.2023.19 (English) [PDF | BibTeX | data]
Étienne André, Engel Lefaucheux et Dylan Marinho. Expiring opacity problems in parametric timed automata. Sous la direction de Yamine Aït-Ameur and Ferhat Khendek (éditeurs), ICECCS’23, IEEE, pages 89-98, juin 2023. Taux d’acceptation : 35%. DOI : 10.1109/ICECCS59891.2023.00020 (English) [BibTeX]

2022

Étienne André, Shapagat Bolat, Engel Lefaucheux et Dylan Marinho. strategFTO: Untimed control for timed opacity. Sous la direction de Cyrille Artho and Peter Ölveczky (éditeurs), FTSCS’22, Springer LNCS, pages 27-33, décembre 2022. DOI : 10.1145/3563822.3568013 (English) [PDF (version auteur) | Diapositives]
Étienne André, Dylan Marinho, Laure Petrucci et Jaco van de Pol. Efficient Convex Zone Merging in Parametric Timed Automata. Sous la direction de Sergiy Bogomolov and David Parker (éditeurs), FORMATS’22, Springer LNCS 13465, pages 200-218, septembre 2022. Taux d’acceptation : 47%. DOI : 10.1007/978-3-031-15839-1_12 (English) [data | Diapositives]
Étienne André, Masaki Waga (和賀正樹), Natsuki Urabe et Ichiro Hasuo (蓮尾一郎). Exemplifying parametric timed specifications over signals with bounded behavior. Sous la direction de Klaus Havelund, Jyotirmoy V. Deshmukh and Ivan Perez (éditeurs), NFM’22, Springer LNCS 13260, pages 470-488, mai 2022. Taux d’acceptation : 36%. DOI : 10.1007/978-3-031-06773-0_25 (English) [PDF (version auteur) | data]
Bineet Ghosh et Étienne André. Monitoring of scattered uncertain logs using uncertain linear dynamical systems. Sous la direction de Mohammad Mousavi and Anna Philippou (éditeurs), FORTE’22, Springer LNCS 13273, pages 67-87, juin 2022. Taux d’acceptation : 43%. DOI : 10.1007/978-3-031-08679-3_5 (English) [PDF (version auteur) | BibTeX | data]
Johan Arcile et Étienne André. Zone extrapolations in parametric timed automata. Sous la direction de Klaus Havelund, Jyotirmoy V. Deshmukh and Ivan Perez (éditeurs), NFM’22, Springer LNCS 13260, pages 451-469, mai 2022. Taux d’acceptation : 36%. DOI : 10.1007/978-3-031-06773-0_24 (English) [PDF (version auteur) | data]

2021

Étienne André. IMITATOR 3: Synthesis of timing parameters beyond decidability. Sous la direction de Rustan Leino and Alexandra Silva (éditeurs), CAV’21, Springer LNCS 12759, pages 1-14, juillet 2021. Taux d’acceptation : 27%. DOI : 10.1007/978-3-030-81685-8_26 (English) [PDF | data | Diapositives]
Étienne André, Dylan Marinho et Jaco van de Pol. A Benchmarks Library for Extended Timed Automata. Sous la direction de Frédéric Loulergue and Franz Wotawa (éditeurs), TAP’21, Springer LNCS 12740, pages 39-50, juin 2021. DOI : 10.1007/978-3-030-79379-1_3 (English) [PDF (version auteur) | BibTeX | data | Diapositives]
Étienne André, Jaime Arias, Laure Petrucci et Jaco van de Pol. Iterative bounded synthesis for efficient cycle detection in parametric timed automata. Sous la direction de Jan Friso Groote and Kim G. Larsen (éditeurs), TACAS’21, Springer LNCS 12651, pages 311-329, mars 2021. Taux d’acceptation : 33%. DOI : 10.1007/978-3-030-72016-2_17 (English) [PDF | BibTeX | data]
Masaki Waga (和賀正樹), Étienne André et Ichiro Hasuo (蓮尾一郎). Model-bounded monitoring of hybrid systems. Sous la direction de Mohammad Al Farque and Meeko Oishi (éditeurs), ICCPS’21, pages 21-32, mai 2021. Taux d’acceptation : 26%. DOI : 10.1145/3450267.3450531 (English) [PDF (version auteur) | BibTeX | data | Diapositives]

2020

Étienne André et Aleksander Kryukov. Parametric non-interference in timed automata. Sous la direction de Yi Li and Alan Liew (éditeurs), ICECCS’20, pages 37-42, octobre 2020. Taux d’acceptation : 33%. DOI : 10.1109/ICECCS51672.2020.00012 (English) [PDF (version auteur) | data | Diapositives]

2019

Étienne André, Didier Lime et Mathias Ramparison. On the expressive power of invariants in parametric timed automata. Sous la direction de Jun Pang and Jing Sun (éditeurs), ICECCS’19, IEEE, pages 87-96, novembre 2019. Taux d’acceptation : 24%. DOI : 10.1109/ICECCS.2019.00017 (English) [PDF (version auteur) | BibTeX]
Étienne André, Jawher Jerray et Sahar Mhiri. Time4sys2imi: A tool to formalize real-time system models under uncertainty. Sous la direction de Robert M. Hierons and Mohamed Mosbah (éditeurs), ICTAC’19, Springer LNCS, pages 113–123, novembre 2019. Taux d’acceptation : 14%. DOI : 10.1007/978-3-030-32505-3_7 (English) [PDF (version auteur) | BibTeX | data]
Étienne André et Sun Jun. Parametric timed model checking for guaranteeing timed opacity. Sous la direction de Yu-Fang Chen, Chih-Hong Cheng and Javier Esparza (éditeurs), ATVA’19, Springer LNCS 11781, pages 115–130, octobre 2019. Taux d’acceptation : 42%. DOI : 10.1007/978-3-030-31784-3_7 (English) [PDF (version auteur) | BibTeX | data | Diapositives]
Étienne André, Paolo Arcaini, Angelo Gargantini et Marco Radavelli. Repairing timed automata clock guards through abstraction and testing. Sous la direction de Dirk Beyer and Chantal Keller (éditeurs), TAP’19, Springer LNCS 11823, pages 129–146, octobre 2019. DOI : 10.1007/978-3-030-31157-5_9 (English) [PDF (version auteur) | BibTeX | data]
Masaki Waga (和賀正樹), Étienne André et Ichiro Hasuo (蓮尾一郎). Symbolic monitoring against specifications parametric in time and data. Sous la direction de Işil Dillig and Serdar Tasiran (éditeurs), CAV’19, Springer LNCS 11561, pages 520–539, juillet 2019. Taux d’acceptation : 26%. DOI : 10.1007/978-3-030-25540-4_30 (English) [PDF | PDF (version auteur) | BibTeX]
Étienne André, Didier Lime et Mathias Ramparison. Parametric updates in parametric timed automata. Sous la direction de Jorge A. Pérez and Nobuko Yoshida (éditeurs), FORTE’19, Springer LNCS 11535, pages 39–56, juin 2019. Taux d’acceptation : 43%. DOI : 10.1007/978-3-030-21759-4_3 (English) [PDF (version auteur) | BibTeX]
Étienne André, Didier Lime, Mathias Ramparison et Mariëlle Stoelinga. Parametric analyses of attack-fault trees. Sous la direction de Jörg Keller and Wojciech Penczek (éditeurs), ACSD’19, IEEE, pages 33–42, juin 2019. DOI : 10.1109/ACSD.2019.00008 (English) [PDF (version auteur) | BibTeX | data]
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray et David Lesens. Parametric schedulability analysis of a launcher flight control system under reactivity constraints. Sous la direction de Jörg Keller and Wojciech Penczek (éditeurs), ACSD’19, IEEE, pages 13–22, juin 2019. DOI : 10.1109/ACSD.2019.00006 (English) [PDF (version auteur) | BibTeX | data]
Étienne André. Formalizing Time4sys using parametric timed automata. Sous la direction de Dominique Méry and Shengchao Qin (éditeurs), TASE’19, IEEE, pages 176–183, juillet 2019. Taux d’acceptation : 34%. DOI : 10.1109/TASE.2019.00031 (English) [PDF (version auteur) | BibTeX | Diapositives]
Masaki Waga (和賀正樹) et Étienne André. Online Parametric Timed Pattern Matching with Automata-Based Skipping. Sous la direction de Julia Badger and Kristin Yvonne Rozier (éditeurs), NFM’19, Springer LNCS 11460, pages 371–389, mai 2019. Taux d’acceptation : 39%. DOI : 10.1007/978-3-030-20652-9_26 (English) [PDF | PDF (version auteur) | BibTeX | data]
Étienne André, Vincent Bloemen, Laure Petrucci et Jaco van de Pol. Minimal-Time Synthesis for Parametric Timed Automata. Sous la direction de Tomáš Vojnar and Lijun Zhang (éditeurs), TACAS’19, Springer LNCS 11428, pages 211–228, avril 2019. Taux d’acceptation : 30%. DOI : 10.1007/978-3-030-17465-1_12 (English) [PDF | PDF (version auteur) | BibTeX | data]
Étienne André, Laurent Fribourg, Jean-Marc Mota et Romain Soulat. Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. Sous la direction de Constantin Enea and Ruzica Piskac (éditeurs), VMCAI’19, Springer LNCS 11388, pages 409–424, janvier 2019. Taux d’acceptation : 44%. DOI : 10.1007/978-3-030-11245-5_19 (English) [PDF | PDF (version auteur) | BibTeX | Diapositives]
Étienne André, Benoît Delahaye, Paulin Fournier et Didier Lime. Parametric timed broadcast protocols. Sous la direction de Constantin Enea and Ruzica Piskac (éditeurs), VMCAI’19, Springer LNCS 11388, pages 491–512, janvier 2019. Taux d’acceptation : 44%. DOI : 10.1007/978-3-030-11245-5_23 (English) [PDF | PDF (version auteur) | BibTeX | Diapositives]

2018

Étienne André, Ichiro Hasuo (蓮尾一郎) et Masaki Waga (和賀正樹). Offline timed pattern matching under uncertainty. Sous la direction de Anthony Widjaja Lin and Jun Sun (éditeurs), ICECCS’18, IEEE CPS, pages 10–20, décembre 2018. Taux d’acceptation : 37%. DOI : 10.1109/ICECCS2018.2018.00010 🏆 Best paper award. (English) [PDF (version auteur) | BibTeX | data | Diapositives]
Étienne André. A benchmarks library for parametric timed model checking. Sous la direction de Cyrille Artho and Peter Csaba Ölveczky (éditeurs), FTSCS’18, Springer CCIS 1008, pages 75–83, novembre 2018. Taux d’acceptation : 45%. DOI : 10.1007/978-3-030-12988-0_5 (English) [PDF (version auteur) | BibTeX | data | Diapositives]
Étienne André, Didier Lime et Mathias Ramparison. TCTL model checking lower/upper-bound parametric timed automata without invariants. Sous la direction de David N. Jansen and Pavithra Prabhakar (éditeurs), FORMATS’18, Springer LNCS 11022, pages 37–52, septembre 2018. Taux d’acceptation : 48%. DOI : 10.1007/978-3-030-00151-3_3 (English) [PDF | PDF (version auteur) | BibTeX | Diapositives]
Étienne André, Didier Lime et Mathias Ramparison. Timed automata with parametric updates. Sous la direction de Thomas Chatain and Radu Grosu (éditeurs), ACSD’18, IEEE, pages 21–29, juin 2018. DOI : 10.1109/ACSD.2018.000-2 (English) [PDF (version auteur) | BibTeX | Diapositives]

2017

Étienne André, Nguyễn Hoàng Gia et Laure Petrucci. Efficient parameter synthesis using optimized state exploration strategies. Sous la direction de Zhenjiang Hu and Guangdong Bai, (éditeurs), ICECCS’17, IEEE CPS, pages 1–10, novembre 2017. Taux d’acceptation : 40%. DOI : 10.1109/ICECCS.2017.28 (English) [PDF (version auteur) | BibTeX | data | Diapositives]
Étienne André. A unified formalism for monoprocessor schedulability analysis under uncertainty. Sous la direction de Laure Petrucci, Cristina Seceleanu and Ana Cavalcanti (éditeurs), FMICS-AVoCS’17, Springer LNCS 10471, pages 100–115, septembre 2017. Taux d’acceptation : 45%. DOI : 10.1007/978-3-319-67113-0_7 🏆 Best paper award. (English) [PDF (version auteur) | BibTeX | Diapositives]
Li Jiaying, Sun Jun, Gao Bo (高博) et Étienne André. Classification based Parameter Synthesis for Parametric Timed Automata. Sous la direction de Zhenhua Duan and Luke Ong (éditeurs), ICFEM’17, Springer LNCS 10610, pages 243–261, novembre 2017. Taux d’acceptation : 35%. DOI : 10.1007/978-3-319-68690-5_15 (English)
Étienne André et Lin Shang-Wei (林尚威). Learning-based compositional parameter synthesis for event-recording automata. Sous la direction de Ahmed Bouajjani and Alexandra Silva (éditeurs), FORTE’17, Springer LNCS 10321, pages 17–32, juin 2017. Taux d’acceptation : 40%. DOI : 10.1007/978-3-319-60225-7_2 🏆 Best FORTE paper award and best DisCoTec paper award. (English) [PDF (version auteur) | BibTeX | data | Diapositives]
Étienne André et Didier Lime. Liveness in L/U-Parametric Timed Automata. Sous la direction de Axel Legay and Klaus Schneider (éditeurs), ACSD’17, IEEE, pages 9–18, juin 2017. DOI : 10.1109/ACSD.2017.19 (English) [PDF (version auteur) | BibTeX | Diapositives]
Étienne André, Nguyễn Hoàng Gia, Laure Petrucci et Sun Jun. Parametric model checking timed automata under non-Zenoness assumption. Sous la direction de Clark Barrett, Misty Davies and Temesghen Kahsai (éditeurs), NFM’17, Springer LNCS 10227, pages 35–51, mai 2017. Taux d’acceptation : 38%. DOI : 10.1007/978-3-319-57288-8_3 (English) [PDF (version auteur) | BibTeX | data | Diapositives]
Étienne André, Michał Knapik, Wojciech Jamroga, Wojciech Penczek et Laure Petrucci. Timed ATL: Forget Memory, Just Count. Sous la direction de Sanmay Das and Ed Durfee (éditeurs), AAMAS’17, IFAAMAS, pages 1460–1462, mai 2017. Taux d’acceptation : 48%. (English) [PDF]

2016

Étienne André, Didier Lime et Olivier H. Roux. Decision Problems for Parametric Timed Automata. Sous la direction de Kazuhiro Ogata and Mark Lawford (éditeurs), ICFEM’16, Springer LNCS, pages 400–416, novembre 2016. Taux d’acceptation : 42%. DOI : 10.1007/978-3-319-47846-3_25 (English) [PDF (version auteur) | BibTeX | Diapositives]
Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime et Étienne André. Applying parametric model-checking techniques for reusing real-time critical systems. Sous la direction de Cyrille Artho and Peter Csaba Ölveczky (éditeurs), FTSCS’16, Springer CCIS 694, pages 129–144, novembre 2016. Taux d’acceptation : 39%. DOI : 10.1007/978-3-319-53946-1_8 (English) [PDF (version auteur) | BibTeX | Diapositives]
Étienne André. Parametric Deadlock-Freeness Checking Timed Automata. Sous la direction de Augusto Cesar Alves Sampaio and Farn Wang (éditeurs), ICTAC’16, LNCS 9965, Springer, pages 469–478, octobre 2016. Taux d’acceptation : 43%. DOI : 10.1007/978-3-319-46750-4_27 (English) [PDF | PDF (version auteur) | BibTeX | data | Diapositives]
Étienne André et Benoît Delahaye. Consistency in Parametric Interval Probabilistic Timed Automata. Sous la direction de Curtis Dyreson, Michael R. Hansen and Luke Hunsberger (éditeurs), TIME’16, IEEE, pages 110–119, octobre 2016. Taux d’acceptation : 47%. DOI : 10.1109/TIME.2016.19 (English) [PDF (version auteur) | BibTeX | Diapositives]
Étienne André, Didier Lime et Olivier H. Roux. On the Expressiveness of Parametric Timed Automata. Sous la direction de Martin Fränzle and Nicolas Markey (éditeurs), FORMATS’16, LNCS 9884, Springer, pages 19–34, août 2016. Taux d’acceptation : 44%. DOI : 10.1007/978-3-319-44878-7_2 (English) [PDF (version auteur) | BibTeX | Diapositives]
Étienne André, Michał Knapik, Wojciech Penczek et Laure Petrucci. Controlling Actions and Time in Parametric Timed Automata. Sous la direction de Jörg Desel and Alex Yakovlev (éditeurs), ACSD’16, IEEE, pages 45–54, juin 2016. Taux d’acceptation : 47%. DOI : 10.1109/ACSD.2016.20 (English) [PDF (version auteur) | BibTeX]
Tan Tian Huat (陈天发), Chen Manman (陈曼曼), Sun Jun, Liu Yang (刘杨), Étienne André, Dong Jin Song (董劲松) et Xue Yinxing. Optimizing Selection of Competing Services with Probabilistic Hierarchical Refinement. Sous la direction de Willem Visser and Laurie Williams (éditeurs), ICSE’16, IEEE, pages 85–95, juin 2016. Taux d’acceptation : 19%. DOI : 10.1145/2884781.2884861 (English) [PDF | BibTeX]
Étienne André. What’s decidable about parametric timed automata?. Sous la direction de Cyrille Artho and Peter Csaba Ölveczky (éditeurs), FTSCS’15, Springer CCIS 596, pages 1–17, janvier 2016. Taux d’acceptation : 37%. DOI : 10.1007/978-3-319-29510-7_3 (English) [PDF (version auteur) | BibTeX | Diapositives]

2015

Étienne André, Didier Lime et Olivier H. Roux. Integer-Complete Synthesis for Bounded Parametric Timed Automata. Sous la direction de Mikołaj Bojańczyk, Sławomir Lasota and Igor Potapov (éditeurs), RP’15, LNCS 9328, Springer, pages 7–19, septembre 2015. DOI : 10.1007/978-3-319-24537-9_2 (English) [PDF (version auteur) | BibTeX | Diapositives]
Étienne André, Camille Coti et Nguyễn Hoàng Gia. Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. Sous la direction de Michael Butler, Sylvain Conchon and Fatiha Zaïdi (éditeurs), ICFEM’15, Springer LNCS 9407, pages 319–335, novembre 2015. Taux d’acceptation : 33%. DOI : 10.1007/978-3-319-25423-4_21 (English) [PDF | PDF (version auteur) | BibTeX | data | Diapositives]
Étienne André et Nicolas Markey. Language Preservation Problems in Parametric Timed Automata. Sous la direction de Sriram Sankaranarayanan and Enrico Vicario (éditeurs), FORMATS’15, Springer LNCS 9268, pages 27–43, septembre 2015. Taux d’acceptation : 45%. DOI : 10.1007/978-3-319-22975-1_3 (English) [PDF | PDF (version auteur) | PDF (version auteur longue) | BibTeX | Diapositives]
Étienne André et Laure Petrucci. Unifying Patterns for Modelling Timed Relationships in Systems and Properties. Sous la direction de Daniel Moldt, Heiko Rölke and Harald Störrle (éditeurs), PNSE’15, CEUR-WS volume 1372, pages 25–40, juin 2015. (English) [PDF]
Étienne André, Thomas Chatain et César Rodríguez. Preserving Partial Order Runs in Parametric Time Petri Nets. Sous la direction de Stefan Haar and Roland Meyer (éditeurs), ACSD’15, IEEE, pages 120–129, juin 2015. DOI : 10.1109/ACSD.2015.20 (English) [PDF | PDF (version auteur)]
Étienne André et Laure Petrucci. Decrypting Cryptography. Sous la direction de Anikó Costa and Robin Braun (éditeurs), ITHET’15, IEEE, pages 1–5, juin 2015. DOI : 10.1109/ITHET.2015.7218013 (English)
Étienne André, Giuseppe Lipari, Nguyễn Hoàng Gia et Sun Youcheng (孙有程). Reachability Preservation Based Parameter Synthesis for Timed Automata. Sous la direction de Klaus Havelund, Gerard Holzmann, Rajeev Joshi (éditeurs), NFM’15, LNCS 9058, Springer, pages 50–65, avril 2015. Taux d’acceptation : 31%. DOI : 10.1007/978-3-319-17524-9_5 (English) [PDF | PDF (version auteur) | BibTeX | data | Diapositives]

2014

Lê Đình Thuận, Nguyễn Hữu Vũ, Nguyễn Van Tinh, Mai Phuong Nam, Pham-Duy Bao-Trung, Quản Thành Thơ, Étienne André, Laure Petrucci et Liu Yang (刘杨). PeCAn: Compositional Verification of Petri Nets Made Easy. Sous la direction de Franck Cassez and Jean-François Raskin (éditeurs), ATVA’14, Springer LNCS, pages 242–247, novembre 2014. Taux d’acceptation : 38%. DOI : 10.1007/978-3-319-11936-6_18 (English) [PDF | PDF (version auteur) | BibTeX]
Étienne André, Mohamed Mahdi Benmoussa et Christine Choppy. Formalising Concurrent UML State Machines Using Coloured Petri Nets. Sous la direction de Nguyen Viet-Ha, Le Anh-Cuong, and Huynh Van-Nam (éditeurs), KSE’14, Springer Advances in Intelligent Systems and Computing, pages 473–486, novembre 2014. DOI : 10.1007/978-3-319-11680-8_38 (English) [PDF (version auteur) | BibTeX | Diapositives]
Étienne André, Christine Choppy et Thierry Noulamo. Modelling Timed Concurrent Systems Using Activity Diagram Patterns. Sous la direction de Nguyen Viet-Ha, Le Anh-Cuong, and Huynh Van-Nam (éditeurs), KSE’14, Springer Advances in Intelligent Systems and Computing, novembre 2014. DOI : 10.1007/978-3-319-11680-8_27 (English) [PDF (version auteur) | BibTeX | Diapositives]
Étienne André, Camille Coti et Sami Evangelista. Distributed Behavioral Cartography of Timed Automata. Sous la direction de Jack Dongarra, Yutaka Ishikawa, and Atsushi Hori (éditeurs), EUROMPI/ASIA’14, ACM, septembre 2014. Taux d’acceptation : 46%. DOI : 10.1145/2642769.2642784 (English) [PDF | PDF (version auteur) | BibTeX | data | Diapositives]
Étienne André, Fabrice Kordon et Laure Petrucci. Teaching Formal Methods: Experience at UPMC and UP13 with CosyVerif. Sous la direction de Bahar Karaoglan (éditeurs), EAEEIE’14, IEEE, pages 31–34, mai 2014. (English) [PDF (version auteur)]
Étienne André, Mohamed Mahdi Benmoussa et Christine Choppy. Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. Sous la direction de Liu Yang and Pang Jun (éditeurs), ESSS’14, EPTCS 150, pages 1–7, mai 2014. DOI : 10.4204/EPTCS.150.1 (English) [PDF | PDF (version auteur) | BibTeX | Diapositives]
Giuseppe Lipari, Sun Youcheng (孙有程), Étienne André et Laurent Fribourg. Toward Parametric Timed Interfaces for Real-Time Components. Sous la direction de Étienne André and Goran Frehse (éditeurs), SynCoP’14, EPTCS 145, pages 49–64, avril 2014. DOI : 10.4204/EPTCS.145.6 (English) [PDF | BibTeX]
Tan Tian Huat (陈天发), Chen Manman (陈曼曼), Étienne André, Sun Jun, Liu Yang (刘杨) et Dong Jin Song (董劲松). Automated Runtime Recovery for QoS-based Service Composition. Sous la direction de Andreid Broder, Kyuseok Shim and Torsten Suel (éditeurs), WWW’14, ACM, pages 563–574, mai 2014. Taux d’acceptation : 13%. DOI : 10.1145/2566486.2568048 (English) [PDF]

2013

Sun Youcheng (孙有程), Romain Soulat, Giuseppe Lipari, Étienne André et Laurent Fribourg. Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. Sous la direction de Cyrille Artho and Peter Ölveczky (éditeurs), FTSCS’13, Volume 419 of Communications in Computer and Information Science, Springer, pages 212–228, octobre 2013. DOI : 10.1007/978-3-319-05416-2_14 (English) [PDF (version auteur) | Diapositives]
Étienne André, Benoît Barbot, Clément Démoulins, Lom Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard et Laure Petrucci. A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. Sous la direction de Lindsay Groves and Jing Sun (éditeurs), ICFEM’13, Springer LNCS, pages 199–214, octobre 2013. Taux d’acceptation : 32%. DOI : 10.1007/978-3-642-41202-8_14 (English) [PDF (version auteur) | BibTeX | Diapositives]
Étienne André, Laurent Fribourg et Romain Soulat. Merge and Conquer: State Merging in Parametric Timed Automata. Sous la direction de Hung Dang-Van and Mizuhito Ogawa (éditeurs), ATVA’13, LNCS 8172, Springer, pages 381–396, octobre 2013. Taux d’acceptation : 37%. DOI : 10.1007/978-3-319-02444-8_27 (English) [PDF (version auteur) | PDF (version auteur longue) | BibTeX | data | Diapositives]
Étienne André. Dynamic Clock Elimination in Parametric Timed Automata. Sous la direction de Christine Choppy and Jun Sun (éditeurs), FSFMA’13, OASIcs (volume 31), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, pages 18–31, juillet 2013. DOI : 10.4230/OASIcs.FSFMA.2013.18 (English) [PDF | BibTeX | data | Diapositives]
Étienne André, Giuseppe Pellegrino et Laure Petrucci. Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs. Sous la direction de Víctor Braberman and Laurent Fribourg (éditeurs), FORMATS’13, LNCS 8053, Springer, pages 1–15, août 2013. Taux d’acceptation : 44%. DOI : 10.1007/978-3-642-40229-6_1 (English) [PDF (version auteur) | BibTeX | Diapositives]
Étienne André, Christine Choppy et Gianna Reggio. Activity Diagrams Patterns for Modeling Business Processes. Sous la direction de Roger Lee (éditeurs), SERA’13, Volume 496 of Studies in Computational Intelligence, Springer, pages 197–213, août 2013. Taux d’acceptation : 41%. DOI : 10.1007/978-3-319-00948-3_13 (English) [PDF (version auteur) | BibTeX | data | Diapositives]
Étienne André, Lom Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Yousra Lembachar, Alban Linard et Laure Petrucci. CosyVerif: An Open Source Extensible Verification Environment. Sous la direction de Yang Liu and Andrew Martin (éditeurs), ICECCS’13, pages 33–36, juillet 2013. Taux d’acceptation : 45%. DOI : 10.1109/ICECCS.2013.15 (English) [PDF (version auteur) | BibTeX | Diapositives]
Étienne André. Observer Patterns for Real-Time Systems. Sous la direction de Yang Liu and Andrew Martin (éditeurs), ICECCS’13, pages 125–134, juillet 2013. Taux d’acceptation : 45%. DOI : 10.1109/ICECCS.2013.26 (English) [PDF (version auteur) | BibTeX | Diapositives]
Étienne André, Liu Yang (刘杨), Sun Jun, Dong Jin Song (董劲松) et Lin Shang-Wei (林尚威). PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Sous la direction de Natasha Sharygina and Helmut Veith (éditeurs), CAV’13, LNCS 8044, Springer, pages 984–989, juillet 2013. Taux d’acceptation : 33%. DOI : 10.1007/978-3-642-39799-8_70 (English) [PDF (version auteur) | BibTeX | data | Diapositives]
Liu Shuang, Liu Yang (刘杨), Étienne André, Christine Choppy, Sun Jun, Bimlesh Wadhwa et Dong Jin Song (董劲松). A Formal Semantics for the Complete Syntax of UML State Machines with Communications. Sous la direction de Luigia Petre and Einar Broch Johnsen (éditeurs), iFM’13, LNCS 7940, Springer, pages 331–346, juin 2013. DOI : 10.1007/978-3-642-38613-8_23 (English) [PDF | PDF (version auteur) | PDF (version auteur longue) | BibTeX]
Tan Tian Huat (陈天发), Étienne André, Sun Jun, Liu Yang (刘杨), Dong Jin Song (董劲松) et Chen Manman (陈曼曼). Dynamic Synthesis of Local Time Requirement for Service Composition. Sous la direction de Betty H.C. Cheng and Klaus Pohl (éditeurs), ICSE’13, IEEE Press, pages 542–551, mai 2013. Taux d’acceptation : 18%. DOI : 10.1109/ICSE.2013.6606600 (English) [PDF | BibTeX]

2012

Étienne André, Laurent Fribourg, Ulrich Kühne et Romain Soulat. IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. Sous la direction de Dimitra Giannakopoulou and Dominique Méry (éditeurs), FM’12, LNCS 7436, Springer, pages 33–36, août 2012. Taux d’acceptation : 27%. DOI : 10.1007/978-3-642-32759-9_6 (English) [PDF | PDF (version auteur) | BibTeX | data]
Lin Shang-Wei (林尚威), Liu Yang (刘杨), Sun Jun, Dong Jin Song (董劲松) et Étienne André. Automatic Compositional Verification of Timed Systems. Sous la direction de Dimitra Giannakopoulou and Dominique Méry (éditeurs), FM’12, LNCS 7436, Springer, pages 272–276, août 2012. Taux d’acceptation : 27%. DOI : 10.1007/978-3-642-32759-9_24 (English) [PDF | PDF (version auteur) | BibTeX]
Étienne André, Christine Choppy et Kaïs Klaï. Formalizing Non-Concurrent UML State Machines Using Colored Petri Nets. Sous la direction de Isabelle Perseil (éditeurs), UML&FM’12, pages 1–8, août 2012. DOI : 10.1145/2237796.2237819 (English) [PDF | PDF (version auteur) | BibTeX | Diapositives]
Étienne André, Liu Yang (刘杨), Sun Jun et Dong Jin Song (董劲松). Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Sous la direction de Isabelle Perseil, Marc Pouzet and Karin Breitman (éditeurs), ICECCS’12, IEEE Computer Society, pages 253–262, juillet 2012. Taux d’acceptation : 29%. DOI : 10.1109/ICECCS.2012.29 (English) [PDF | PDF (version auteur) | BibTeX | Diapositives]
Étienne André, Laurent Fribourg et Romain Soulat. Enhancing the Inverse Method with State Merging. Sous la direction de Alwyn Goodloe and Suzette Person (éditeurs), NFM’12, LNCS 7226, Springer, pages 100–105, avril 2012. Taux d’acceptation : 39%. DOI : 10.1007/978-3-642-28891-3_10 (English) [PDF | PDF (version auteur) | PDF (version auteur longue) | BibTeX | Diapositives]
Étienne André, Kaïs Klaï, Hanen Ochi et Laure Petrucci. A Counterexample‐Based Incremental and Modular Verification Approach. Sous la direction de Radu Calinescu and David Garlan (éditeurs), Monterey’12, LNCS 7539, Springer, pages 283–302, août 2012. DOI : 10.1007/978-3-642-34059-8_15 (English) [PDF | PDF (version auteur) | BibTeX | Diapositives]

2011

Lin Shang-Wei (林尚威), Étienne André, Dong Jin Song (董劲松), Sun Jun et Liu Yang (刘杨). An Efficient Algorithm for Learning Event-Recording Automata. Sous la direction de Tevfik Bultan and Pao-Ann Hsiung (éditeurs), ATVA’11, LNCS 6996, Springer, pages 463–472, 2011. Taux d’acceptation : 48%. DOI : 10.1007/978-3-642-24372-1_35 (English) [PDF (version auteur) | PDF (version auteur longue) | BibTeX | Diapositives]
Étienne André et Romain Soulat. Synthesis of Timing Parameters Satisfying Safety Properties. Sous la direction de Giorgio Delzanno and Igor Potapov (éditeurs), RP’11, LNCS 6945, Springer, pages 31–44, 2011. DOI : 10.1007/978-3-642-24288-5_5 (English) [PDF (version auteur) | PDF (version auteur longue) | BibTeX | Diapositives]

2010

Étienne André. IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata. Sous la direction de Yu-Fang Chen and Ahmed Rezine (éditeurs), INFINITY’10, Electronic Proceedings in Theoretical Computer Science 39, pages 91–99, 2010. DOI : 10.4204/EPTCS.39.7 (English) [PDF (version publiée) | BibTeX | data | Diapositives]
Étienne André et Laurent Fribourg. Behavioral Cartography of Timed Automata. Sous la direction de Antonín Kučera and Igor Potapov (éditeurs), RP’10, LNCS 6227, Springer, pages 76–90, septembre 2010. DOI : 10.1007/978-3-642-15349-5_5 (English) [PDF (version publiée) | PDF (version auteur) | BibTeX | Diapositives]

2009

Étienne André et Laurent Fribourg. An Inverse Method for Policy-Iteration Based Algorithms. Sous la direction de Azadeh Farzan and Axel Legay (éditeurs), INFINITY’09, Electronic Proceedings in Theoretical Computer Science 10, pages 44–61, 2009. DOI : 10.4204/EPTCS.10.4 (English) [PDF (version publiée) | BibTeX | Diapositives]
Étienne André, Laurent Fribourg et Jeremy Sproston. An Extension of the Inverse Method to Probabilistic Timed Automata. Sous la direction de Markus Roggenbach (éditeurs), AVoCS’09, Electronic Communications of the EASST 23, European Association of Software Science and Technology, 2009. DOI : 10.14279/tuj.eceasst.23.306 (English) [PDF (version publiée) | BibTeX | Diapositives]
Étienne André. IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. Sous la direction de Martin Leucker and Carroll Morgan (éditeurs), ICTAC’09, LNCS 5684, Springer, pages 336–342, août 2009. Taux d’acceptation : 25%. DOI : 10.1007/978-3-642-03466-4_22 (English) [PDF (version publiée) | PDF (version auteur) | BibTeX | data | Diapositives]

2008

Étienne André, Thomas Chatain, Emmanuelle Encrenaz et Laurent Fribourg. An Inverse Method for Parametric Timed Automata. Sous la direction de Vesa Halava and Igor Potapov (éditeurs), RP’08, ENTCS 223, Elsevier Science Publishers, pages 29–46, septembre 2008. DOI : 10.1016/j.entcs.2008.12.029 (English) [PDF | PDF (version auteur) | BibTeX | Diapositives]

Articles dans les actes de congrès nationaux

2014

Étienne André et Laure Petrucci. La cryptographie décryptée. Sous la direction de ? (éditeurs), WPRT’14, ?, novembre 2014. (Français) [PDF (version auteur)]

2009

Étienne André, Thomas Chatain, Olivier De Smet, Laurent Fribourg et Silvain Ruel. Synthèse de contraintes temporisées pour une architecture d’automatisation en réseau. Sous la direction de Didier Lime and Olivier H. Roux (éditeurs), MSR’09, Journal Européen des Systèmes Automatisés 43(7-9), Hermès, pages 1049–1064, 2009. (Français) [PDF (version auteur) | BibTeX | Diapositives]

Thèses

2018

Étienne André. Contributions to parametric timed model checking: Theory and algorithms. Mémoire d’habilitation à diriger les recherches, Laboratoire d’informatique de Paris Nord, juin 2018. 115 pages. (English) [PDF | BibTeX | Diapositives]

2010

Étienne André. An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems. Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France, décembre 2010. 268 pages. (English) [PDF | BibTeX | Diapositives]

Posters

2018

Étienne André. IMITATOR: parametric verification of real-time systems. WINTERFESTA’18, décembre 2018. (English) [PDF (version auteur)]

2015

Étienne André, Giuseppe Lipari et Sun Youcheng (孙有程). IMITATOR: Formal Verification of Real-Time Systems Under Uncertainty. Sous la direction de Steve Goddard and Harini Ramaprasad (éditeurs), ECRTS’15, juillet 2015. (English) [PDF]

2012

Étienne André et Ulrich Kühne. Parametric Analysis of Hybrid Systems Using HyMITATOR. Sous la direction de Franco Mazzanti and Gianluca Trentanni (éditeurs), iFM’12, CNR and ISTI e-book, pages 20, juin 2012. (English) [PDF | PDF (version auteur)]

2009

Étienne André, Pirouz Bazargan-Sabet, Rémy Chevallier, Emmanuelle Encrenaz, Laurent Fribourg, Dominique Le Dû et Patricia Renault. Project VALMEM: Functional and Timed Validation of Embedded Memories Using Formal Methods. Grand colloque ANR STIC’10, décembre 2009. (English) [PDF]

Autres publications

2015

Sun Youcheng (孙有程), Étienne André et Giuseppe Lipari. Verification of Two Real-Time Systems Using Parametric Timed Automata. Sous la direction de Sophie Quinton and Tullio Vardanega (éditeurs), WATERS’15, juillet 2015. (English) [PDF (version auteur)]

2014

Étienne André, Fabrice Kordon, Alban Linard et Laure Petrucci. IOP: Tool Integration in the CosyVerif Platform. Sous la direction de Catherine Dubois, Laurence Duchien, and Nicole Levy (éditeurs), GDR GPL’14, Conservatoire National des Arts et Métiers, pages 143–146, juin 2014. (English) [PDF | PDF (version auteur) | Diapositives]
Étienne André, Benoît Delahaye, Peter Habermehl, Claude Jard, Didier Lime, Laure Petrucci, Olivier H. Roux et Tayssir Touili. Beyond Model Checking: Parameters Everywhere. Sous la direction de Catherine Dubois, Laurence Duchien, and Nicole Levy (éditeurs), GDR GPL’14, Conservatoire National des Arts et Métiers, pages 171–175, juin 2014. (English) [PDF | PDF (version auteur) | Diapositives]

2013

Étienne André, Mohamed Mahdi Benmoussa et Christine Choppy. Formalisation des diagrammes états-transitions UML concurrents. MSR’13, Actes posters de MSR 2013, pages 1–3, novembre 2013. (Français) [PDF]

2012

Étienne André et Shweta Garg (श्वॆता). Robustness Analysis of Time Petri Nets. Sous la direction de Yngve Lamo and Uwe Egbert Wolter (éditeurs), NWPT’12, pages 1–3, octobre 2012. (English) [PDF | PDF (version auteur) | BibTeX | Diapositives]
Étienne André et Ulrich Kühne. Parametric Analysis of Hybrid Systems Using HyMITATOR. Sous la direction de Franco Mazzanti and Gianluca Trentanni (éditeurs), iFM’12, CNR and ISTI e-book, pages 16–19, juin 2012. (English) [PDF | PDF (version auteur)]

2009

Étienne André. Une méthode inverse pour les plus courts chemins. ETR’09, 2009. (Français) [PDF | BibTeX | Diapositives]

Rapports de recherche

2013

Liu Shuang, Liu Yang (刘杨), Étienne André, Christine Choppy, Sun Jun, Bimlesh Wadhwa et Dong Jin Song (董劲松). A Formal Semantics for the Complete Syntax of UML State Machines with Communications (Report Version). Rapport de recherche, Université Nationale de Singapour, avril 2013. (English) [PDF]

2011

Étienne André, Laurent Fribourg et Romain Soulat. Enhancing the Inverse Method with State Merging. Rapport de recherche n°LSV-11-26, Laboratoire Spécification et Vérification, ENS Cachan, France, décembre 2011. 7 pages. (English) [PDF | BibTeX]
Lin Shang-Wei (林尚威), Étienne André, Dong Jin Song (董劲松), Sun Jun et Liu Yang (刘杨). An Efficient Algorithm for Learning Event-Recording Automata (full version). Rapport de recherche, Université Nationale de Singapour, juillet 2011. 15 pages. (English) [PDF | BibTeX | Diapositives]
Étienne André et Romain Soulat. Synthesis of Timing Parameters Satisfying Safety Properties (full version). Rapport de recherche n°LSV-11-13, Laboratoire Spécification et Vérification, ENS Cachan, France, mai 2011. 31 pages. (English) [PDF | BibTeX | Diapositives]

2010

Étienne André. Synthesizing Parametric Constraints on Various Case Studies Using IMITATOR II. Rapport de recherche n°LSV-10-21, Laboratoire Spécification et Vérification, ENS Cachan, France, décembre 2010. 66 pages. (English) [PDF | BibTeX]
Étienne André, Abdelrezzak Bara, Pirouz Bazargan-Sabet, Rémy Chevallier, Dominique Le Dû, Emmanuelle Encrenaz, Laurent Fribourg et Patricia Renault. Experiments of Prototype Tools on Case Studies, Comparison of obtained results and Conclusion. Rapport de recherche, 2010. 31 pages. (English) [PDF | BibTeX]
Étienne André. IMITATOR II User Manual. Rapport de recherche n°LSV-10-20, Laboratoire Spécification et Vérification, ENS Cachan, France, novembre 2010. 31 pages. (English) [PDF | BibTeX]

2009

Étienne André. Everything You Always Wanted to Know About IMITATOR (But Were Afraid to Ask). Rapport de recherche n°LSV-09-20, Laboratoire Spécification et Vérification, ENS Cachan, France, juillet 2009. 11 pages. (English) [PDF | BibTeX]
Étienne André, Emmanuelle Encrenaz et Laurent Fribourg. Synthesizing Parametric Constraints on Various Case Studies Using IMITATOR. Rapport de recherche n°LSV-09-13, Laboratoire Spécification et Vérification, ENS Cachan, France, juin 2009. 18 pages. (English) [PDF | BibTeX]