| 2026 | CONCUR | Buffered Control for Opacity in Timed Automata. | tienne Andr, Sarah Dpernet, Engel Lefaucheux |
| 2026 | CSL | Parametric Disjunctive Timed Networks. | tienne Andr, Swen Jacobs, Engel Lefaucheux |
| 2026 | SAC | Opacity problems in multi-energy timed automata. | tienne Andr, Lydia Bakiri |
| 2025 | FORTE | Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring. | Bineet Ghosh, tienne Andr |
| 2025 | SAC | Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. | tienne Andr, Jean-Luc Bchennec, Sudipta Chattopadhyay, Sbastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun |
| 2025 | RV | Hyper Pattern Matching. | Masaki Waga, tienne Andr |
| 2024 | ICFEM | Tuning Trains Speed in Railway Scheduling. | tienne Andr |
| 2024 | ICFEM | The Bright Side of Timed Opacity. | tienne Andr, Sarah Dpernet, Engel Lefaucheux |
| 2024 | SAC | Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. | Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, tienne Andr, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama |
| 2024 | SEFM | Execution-Time Opacity Control for Timed Automata. | tienne Andr, Marie Duflot, Laetitia Laversa, Engel Lefaucheux |
| 2024 | VMCAI | Parameterized Verification of Disjunctive Timed Networks. | tienne Andr, Paul Eichler, Swen Jacobs, Shyam Lal Karra |
| 2023 | ECRTS | From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). | Sebastian Altmeyer, tienne Andr, Silvano Dal-Zilio, Loc Fejoz, Michael Gonzlez Harbour, Susanne Graf, J. Javier Gutirrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun |
| 2023 | ICECCS | Expiring opacity problems in parametric timed automata. | tienne Andr, Engel Lefaucheux, Dylan Marinho |
| 2022 | FORTE | Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. | Bineet Ghosh, tienne Andr |
| 2021 | CAV | IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability. | tienne Andr |
| 2021 | TACAS | Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. | tienne Andr, Jaime Arias, Laure Petrucci, Jaco van de Pol |
| 2021 | TAP | A Benchmarks Library for Extended Parametric Timed Automata. | tienne Andr, Dylan Marinho, Jaco van de Pol |
| 2020 | ICECCS | Parametric non-interference in timed automata. | tienne Andr, Aleksander Kryukov |
| 2019 | ATVA | Parametric Timed Model Checking for Guaranteeing Timed Opacity. | tienne Andr, Jun Sun |
| 2019 | CAV | Symbolic Monitoring Against Specifications Parametric in Time and Data. | Masaki Waga, tienne Andr, Ichiro Hasuo |
| 2019 | FORTE | Parametric Updates in Parametric Timed Automata. | tienne Andr, Didier Lime, Mathias Ramparison |
| 2019 | ICECCS | On the Expressive Power of Invariants in Parametric Timed Automata. | tienne Andr, Didier Lime, Mathias Ramparison |
| 2019 | ICTAC | Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. | tienne Andr, Jawher Jerray, Sahar Mhiri |
| 2019 | TACAS | Minimal-Time Synthesis for Parametric Timed Automata. | tienne Andr, Vincent Bloemen, Laure Petrucci, Jaco van de Pol |
| 2019 | TAP | Repairing Timed Automata Clock Guards through Abstraction and Testing. | tienne Andr, Paolo Arcaini, Angelo Gargantini, Marco Radavelli |
| 2019 | TASE | Formalizing Time4sys using parametric timed automata. | tienne Andr |
| 2019 | VMCAI | Parametric Timed Broadcast Protocols. | tienne Andr, Benot Delahaye, Paulin Fournier, Didier Lime |
| 2019 | VMCAI | Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. | tienne Andr, Laurent Fribourg, Jean-Marc Mota, Romain Soulat |
| 2018 | ICECCS | Offline Timed Pattern Matching under Uncertainty. | tienne Andr, Ichiro Hasuo, Masaki Waga |
| 2017 | FMICS | A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty. | tienne Andr |
| 2017 | FORTE | Learning-Based Compositional Parameter Synthesis for Event-Recording Automata. | tienne Andr, Shang-Wei Lin |
| 2017 | ICECCS | Efficient Parameter Synthesis Using Optimized State Exploration Strategies. | tienne Andr, Hoang Gia Nguyen, Laure Petrucci |
| 2017 | ICFEM | Classification-Based Parameter Synthesis for Parametric Timed Automata. | Jiaying Li, Jun Sun, Bo Gao, tienne Andr |
| 2016 | ICFEM | Decision Problems for Parametric Timed Automata. | tienne Andr, Didier Lime, Olivier H. Roux |
| 2016 | ICSE | Optimizing selection of competing services with probabilistic hierarchical refinement. | Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, tienne Andr, Yinxing Xue, Jin Song Dong |
| 2016 | ICTAC | Parametric Deadlock-Freeness Checking Timed Automata. | tienne Andr |
| 2016 | TIME | Consistency in Parametric Interval Probabilistic Timed Automata. | tienne Andr, Benot Delahaye |
| 2015 | ICFEM | Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. | tienne Andr, Camille Coti, Hoang Gia Nguyen |
| 2014 | ATVA | PeCAn: Compositional Verification of Petri Nets Made Easy. | Dinh-Thuan Le, Huu-Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh-Tho Quan, tienne Andr, Laure Petrucci, Yang Liu |
| 2014 | WWW | Automated runtime recovery for QoS-based service composition. | Tian Huat Tan, Manman Chen, tienne Andr, Jun Sun, Yang Liu, Jin Song Dong |
| 2013 | ATVA | Merge and Conquer: State Merging in Parametric Timed Automata. | tienne Andr, Laurent Fribourg, Romain Soulat |
| 2013 | CAV | PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. | tienne Andr, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin |
| 2013 | ICECCS | Observer Patterns for Real-Time Systems. | tienne Andr |
| 2013 | ICECCS | CosyVerif: An Open Source Extensible Verification Environment. | tienne Andr, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon |
| 2013 | ICFEM | A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. | tienne Andr, Benot Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci |
| 2013 | ICSE | Dynamic synthesis of local time requirement for service composition. | Tian Huat Tan, tienne Andr, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen |
| 2013 | IFM | A Formal Semantics for Complete UML State Machines with Communications. | Shuang Liu, Yang Liu, tienne Andr, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong |
| 2013 | SERA | Activity Diagrams Patterns for Modeling Business Processes. | tienne Andr, Christine Choppy, Gianna Reggio |
| 2012 | FM | IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. | tienne Andr, Laurent Fribourg, Ulrich Khne, Romain Soulat |
| 2012 | FM | Automatic Compositional Verification of Timed Systems. | Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, tienne Andr |
| 2012 | ICECCS | Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. | tienne Andr, Yang Liu, Jun Sun, Jin Song Dong |
| 2011 | ATVA | An Efficient Algorithm for Learning Event-Recording Automata. | Shang-Wei Lin, tienne Andr, Jin Song Dong, Jun Sun, Yang Liu |
| 2009 | ICTAC | IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. | tienne Andr |