IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. - Étienne André (ICTAC, 2009)

An Inverse Method for Policy-Iteration Based Algorithms - Laurent Fribourg; Étienne André (INFINITY, 2009)

An Inverse Method for Parametric Timed Automata. - Étienne André; Thomas Chatain; Laurent Fribourg; Emmanuelle Encrenaz (Int. J. Found. Comput. Sci., 2009)

Behavioral Cartography of Timed Automata. - Étienne André; Laurent Fribourg (RP, 2010)

IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata - Étienne André (INFINITY, 2010)

An inverse method for the synthesis of timing parameters in concurrent systems. (Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents). - Étienne André (2010)

An Efficient Algorithm for Learning Event-Recording Automata. - Shang-Wei Lin 001; Étienne André; Jin Song Dong; Jun Sun 001; Yang Liu 003 (ATVA, 2011)

Synthesis of Timing Parameters Satisfying Safety Properties. - Étienne André; Romain Soulat (RP, 2011)

«thinking»: onze minutes en onze pages. - Étienne André (Bull. dInformatique Approfondie et Appl., 2011)

IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. - Étienne André; Laurent Fribourg; Ulrich Kühne; Romain Soulat (FM, 2012)

Automatic Compositional Verification of Timed Systems. - Shang-Wei Lin 001; Yang Liu 003; Jun Sun 001; Jin Song Dong; Étienne André (FM, 2012)

A Counterexample-Based Incremental and Modular Verification Approach. - Étienne André; Kais Klai; Hanen Ochi; Laure Petrucci (Monterey Workshop, 2012)

Enhancing the Inverse Method with State Merging. - Étienne André; Laurent Fribourg; Romain Soulat (NASA Formal Methods, 2012)

Formalizing non-concurrent UML state machines using colored petri nets. - Étienne André; Christine Choppy; Kais Klai (ACM SIGSOFT Softw. Eng. Notes, 2012)

Merge and Conquer: State Merging in Parametric Timed Automata. - Étienne André; Laurent Fribourg; Romain Soulat (ATVA, 2013)

PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. - Étienne André; Yang Liu 003; Jun Sun 001; Jin Song Dong; Shang-Wei Lin 001 (CAV, 2013)

Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs. - Étienne André; Giuseppe Pellegrino; Laure Petrucci (FORMATS, 2013)

Dynamic Clock Elimination in Parametric Timed Automata. - Étienne André (FSFMA, 2013)

Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. - Youcheng Sun; Romain Soulat; Giuseppe Lipari; Étienne André; Laurent Fribourg (FTSCS, 2013)

Observer Patterns for Real-Time Systems. - Étienne André (ICECCS, 2013)

CosyVerif: An Open Source Extensible Verification Environment. - Étienne André; Yousra Lembachar; Laure Petrucci; Francis Hulin-Hubard; Alban Linard; Lom Hillah; Fabrice Kordon (ICECCS, 2013)

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. - Étienne André; Benoît Barbot; Clement Demoulins; Lom-Messan Hillah; Francis Hulin-Hubard; Fabrice Kordon; Alban Linard; Laure Petrucci (ICFEM, 2013)

Dynamic synthesis of local time requirement for service composition. - Tian Huat Tan; Étienne André; Jun Sun 001; Yang Liu 003; Jin Song Dong; Manman Chen (ICSE, 2013)

A Formal Semantics for Complete UML State Machines with Communications. - Shuang Liu 007; Yang Liu 003; Étienne André; Christine Choppy; Jun Sun 001; Bimlesh Wadhwa; Jin Song Dong (IFM, 2013)

Activity Diagrams Patterns for Modeling Business Processes. - Étienne André; Christine Choppy; Gianna Reggio (SERA (selected papers), 2013)

An extension of the inverse method to probabilistic timed automata. - Étienne André; Laurent Fribourg; Jeremy Sproston (Formal Methods Syst. Des., 2013)

Modeling and verifying hierarchical real-time systems using stateful timed CSP. - Jun Sun 001; Yang Liu 003; Jin Song Dong; Yan Liu 012; Ling Shi; Étienne André (ACM Trans. Softw. Eng. Methodol., 2013)

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 003 (ATVA, 2014)

Modelling Timed Concurrent Systems Using Activity Diagram Patterns. - Étienne André; Christine Choppy; Thierry Noulamo (KSE, 2014)

Distributed Behavioral Cartography of Timed Automata. - Étienne André; Camille Coti; Sami Evangelista (EuroMPI/ASIA, 2014)

Automated runtime recovery for QoS-based service composition. - Tian Huat Tan; Manman Chen; Étienne André; Jun Sun 001; Yang Liu 003; Jin Song Dong (WWW, 2014)

Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. - Étienne André; Mohamed Mahdi Benmoussa; Christine Choppy (ESSS, 2014)

Toward Parametric Timed Interfaces for Real-Time Components. - Youcheng Sun; Giuseppe Lipari; Étienne André; Laurent Fribourg (SynCoP, 2014)

Parameter synthesis for hierarchical concurrent real-time systems. - Étienne André; Yang Liu 003; Jun Sun 001; Jin Song Dong (Real Time Syst., 2014)

Learning Assumptions for CompositionalVerification of Timed Systems. - Shang-Wei Lin 001; Étienne André; Yang Liu 003; Jun Sun 001; Jin Song Dong (IEEE Trans. Software Eng., 2014)

Unifying Patterns for Modelling Timed Relationships in Systems and Properties. - Étienne André; Laure Petrucci (PNSE @ Petri Nets, 2015)

Language Preservation Problems in Parametric Timed Automata. - Étienne André; Nicolas Markey (FORMATS, 2015)

Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. - Étienne André; Camille Coti; Hoang Gia Nguyen (ICFEM, 2015)

Decrypting cryptography. - Étienne André; Laure Petrucci (ITHET, 2015)

Reachability Preservation Based Parameter Synthesis for Timed Automata. - Étienne André; Giuseppe Lipari; Hoang Gia Nguyen; Youcheng Sun (NFM, 2015)

Integer-Complete Synthesis for Bounded Parametric Timed Automata. - Étienne André; Didier Lime; Olivier H. Roux (RP, 2015)

Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks. - Khanh Le; Thang H. Bui; Tho Quan 001; Laure Petrucci; Étienne André (SoICT, 2015)

Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation). - Étienne André; Camille Coti; Hoang Gia Nguyen (SynCoP, 2015)

Controlling Actions and Time in Parametric Timed Automata. - Étienne André; Michal Knapik; Wojciech Penczek; Laure Petrucci (ACSD, 2016)

On the Expressiveness of Parametric Timed Automata. - Étienne André; Didier Lime; Olivier H. Roux (FORMATS, 2016)

Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. - Baptiste Parquier; Laurent Rioux; Rafik Henia; Romain Soulat; Olivier H. Roux; Didier Lime; Étienne André (FTSCS, 2016)

Decision Problems for Parametric Timed Automata. - Étienne André; Didier Lime; Olivier H. Roux (ICFEM, 2016)

Optimizing selection of competing services with probabilistic hierarchical refinement. - Tian Huat Tan; Manman Chen; Jun Sun 001; Yang Liu 003; Étienne André; Yinxing Xue; Jin Song Dong (ICSE, 2016)

Parametric Deadlock-Freeness Checking Timed Automata. - Étienne André (ICTAC, 2016)

Consistency in Parametric Interval Probabilistic Timed Automata. - Étienne André; Benoît Delahaye (TIME, 2016)

Formalising concurrent UML state machines using coloured Petri nets. - Étienne André; Mohamed Mahdi Benmoussa; Christine Choppy (Formal Aspects Comput., 2016)

Liveness in L/U-Parametric Timed Automata. - Étienne André; Didier Lime (ACSD, 2017)

A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty. - Étienne André (FMICS-AVoCS, 2017)

Learning-Based Compositional Parameter Synthesis for Event-Recording Automata. - Étienne André; Shang-Wei Lin 001 (FORTE, 2017)

Efficient Parameter Synthesis Using Optimized State Exploration Strategies. - Étienne André; Hoang Gia Nguyen; Laure Petrucci (ICECCS, 2017)

Classification-Based Parameter Synthesis for Parametric Timed Automata. - Jiaying Li 001; Jun Sun 001; Bo Gao; Étienne André (ICFEM, 2017)

Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. - Étienne André; Hoang Gia Nguyen; Laure Petrucci; Jun Sun 001 (NFM, 2017)

Preserving Partial-Order Runs in Parametric Time Petri Nets. - Étienne André; Thomas Chatain; César Rodríguez (ACM Trans. Embed. Comput. Syst., 2017)

Contributions to parametric timed model checking: Theory and algorithms. (Contributions au model-checking temporisé paramétré : théorie et algorithmes). - Étienne André (2018)

Timed Automata with Parametric Updates. - Étienne André; Didier Lime; Mathias Ramparison (ACSD, 2018)

TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. - Étienne André; Didier Lime; Mathias Ramparison (FORMATS, 2018)

A Benchmark Library for Parametric Timed Model Checking. - Étienne André (FTSCS, 2018)

Offline Timed Pattern Matching under Uncertainty. - Étienne André; Ichiro Hasuo; Masaki Waga (ICECCS, 2018)

The language preservation problem is undecidable for parametric event-recording automata. - Étienne André; Shang-Wei Lin 001 (Inf. Process. Lett., 2018)

Parametric Timed Model Checking for Guaranteeing Timed Opacity. - Étienne André; Jun Sun 001 (ATVA, 2019)

Symbolic Monitoring Against Specifications Parametric in Time and Data. - Masaki Waga; Étienne André; Ichiro Hasuo (CAV (1), 2019)

On the Expressive Power of Invariants in Parametric Timed Automata. - Étienne André; Didier Lime; Mathias Ramparison (ICECCS, 2019)

Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. - Étienne André; Jawher Jerray; Sahar Mhiri (ICTAC, 2019)

Online Parametric Timed Pattern Matching with Automata-Based Skipping. - Masaki Waga; Étienne André (NFM, 2019)

Minimal-Time Synthesis for Parametric Timed Automata. - Étienne André; Vincent Bloemen; Laure Petrucci; Jaco van de Pol (TACAS (2), 2019)

Repairing Timed Automata Clock Guards through Abstraction and Testing. - Étienne André; Paolo Arcaini; Angelo Gargantini; Marco Radavelli (TAP@FM, 2019)

Formalizing Time4sys using parametric timed automata. - Étienne André (TASE, 2019)

Parametric Timed Broadcast Protocols. - Étienne André; Benoît Delahaye; Paulin Fournier; Didier Lime (VMCAI, 2019)

Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. - Étienne André; Laurent Fribourg; Jean-Marc Mota; Romain Soulat (VMCAI, 2019)

Timed ATL: Forget Memory, Just Count. - Michal Knapik; Étienne André; Laure Petrucci; Wojciech Jamroga; Wojciech Penczek (J. Artif. Intell. Res., 2019)

What's decidable about parametric timed automata? - Étienne André (Int. J. Softw. Tools Technol. Transf., 2019)

Parametric Verification: An Introduction. - Étienne André; Michal Knapik; Didier Lime; Wojciech Penczek; Laure Petrucci (Trans. Petri Nets Other Model. Concurr., 2019)

Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity". - Étienne André; Jun Sun 001 (Zenodo, 2019)

Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). - Jawher Jerray; Laurent Fribourg; Étienne André (ARCH, 2020)

Parametric non-interference in timed automata. - Étienne André; Aleksander Kryukov (ICECCS, 2020)

Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples. - Jawher Jerray; Laurent Fribourg; Étienne André (CoRR, 2020)

Robust optimal control using dynamic programming and guaranteed Euler's method. - Jawher Jerray; Laurent Fribourg; Étienne André (CoRR, 2020)

Consistency in Parametric Interval Probabilistic Timed Automata. - Étienne André; Benoît Delahaye; Paulin Fournier (J. Log. Algebraic Methods Program., 2020)

Language Preservation Problems in Parametric Timed Automata. - Étienne André; Didier Lime; Nicolas Markey (Log. Methods Comput. Sci., 2020)

Automated synthesis of local time requirement for service composition. - Étienne André; Tian Huat Tan; Manman Chen; Shuang Liu 007; Jun Sun 001; Yang Liu 003; Jin Song Dong (Softw. Syst. Model., 2020)

Data for paper "Parametric analyses of attack-fault trees". - Étienne André; Didier Lime; Mathias Ramparison; Mariëlle Stoelinga (Zenodo, 2020)

Artifact: Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. - Étienne André; Jaime Arias 001; Laure Petrucci; Jaco van de Pol (Zenodo, 2020)

An Approximation of Minimax Control using Random Sampling and Symbolic Computation. - Jawher Jerray; Laurent Fribourg; Étienne André (ADHS, 2021)

Robust optimal periodic control using guaranteed Euler's method. - Jawher Jerray; Laurent Fribourg; Étienne André (ACC, 2021)

IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability. - Étienne André (CAV (1), 2021)

Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. - Étienne André; Jaime Arias 001; Laure Petrucci; Jaco van de Pol (TACAS (1), 2021)

A Benchmarks Library for Extended Parametric Timed Automata. - Étienne André; Dylan Marinho; Jaco van de Pol (TAP@STAF, 2021)

Distributed parametric model checking timed automata under non-Zenoness assumption. - Étienne André; Hoang Gia Nguyen; Laure Petrucci; Jun Sun 001 (Formal Methods Syst. Des., 2021)

Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints. - Étienne André; Emmanuel Coquard; Laurent Fribourg; Jawher Jerray; David Lesens (Fundam. Informaticae, 2021)

Parametric Analyses of Attack-fault Trees. - Étienne André; Didier Lime; Mathias Ramparison; Mariëlle Stoelinga (Fundam. Informaticae, 2021)

Parametric updates in parametric timed automata. - Étienne André; Didier Lime; Mathias Ramparison (Log. Methods Comput. Sci., 2021)

Data for paper "Parametric schedulability analysis of a launcher flight control system under reactivity constraints". - Étienne André; Emmanuel Coquard; Laurent Fribourg; Jawher Jerray; David Lesens (Zenodo, 2021)

The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata. - Étienne André; Dylan Marinho; Jaco van de Pol (Zenodo, 2021)

Artifact for paper "IMITATOR 3: Synthesis of timing parameters beyond decidability" (CAV 2021). - Étienne André (Zenodo, 2021)

Artifact of "Model-Bounded Monitoring of Hybrid Systems". - Masaki Waga; Étienne André (Zenodo, 2021)

Efficient Convex Zone Merging in Parametric Timed Automata. - Étienne André; Dylan Marinho; Laure Petrucci; Jaco van de Pol (FORMATS, 2022)

Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. - Bineet Ghosh; Étienne André (FORTE, 2022)

strategFTO: Untimed Control for Timed Opacity. - Étienne André; Shapagat Bolat; Engel Lefaucheux; Dylan Marinho (FTSCS, 2022)

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. - Étienne André; Masaki Waga; Natsuki Urabe; Ichiro Hasuo (NFM, 2022)

duf: Dynamic uncore frequency scaling to reduce power consumption. - Étienne André; Rémi Dulong; Amina Guermouche; François Trahay (Concurr. Comput. Pract. Exp., 2022)

Reachability and liveness in parametric timed automata. - Étienne André; Didier Lime; Olivier H. Roux (Log. Methods Comput. Sci., 2022)

Model-bounded Monitoring of Hybrid Systems. - Masaki Waga; Étienne André; Ichiro Hasuo (ACM Trans. Cyber Phys. Syst., 2022)

Guaranteeing Timed Opacity using Parametric Timed Model Checking. - Étienne André; Didier Lime; Dylan Marinho; Jun Sun 001 (ACM Trans. Softw. Eng. Methodol., 2022)

Data for "Exemplifying parametric timed specifications over signals with bounded behavior". - Étienne André; Masaki Waga; Natsuki Urabe; Ichiro Hasuo (Zenodo, 2022)

Data for paper "Zone extrapolations in parametric timed automata". - Johan Arcile; Étienne André (Zenodo, 2022)

Data for "Exemplifying parametric timed specifications over signals with bounded behavior". - Étienne André; Masaki Waga; Natsuki Urabe; Ichiro Hasuo (Zenodo, 2022)

Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata". - Étienne André; Dylan Marinho; Laure Petrucci; Jaco van de Pol (Zenodo, 2022)

Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption. - Étienne André; Hoang Gia Nguyen; Laure Petrucci; Jun Sun 001 (Zenodo, 2022)

Experimental data for paper "strategFTO: Untimed control for timed opacity". - Étienne André; Shapagat Bolat; Engel Lefaucheux; Dylan Marinho (Zenodo, 2022)

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). - Sebastian Altmeyer; Étienne André; Silvano Dal-Zilio; Loïc Fejoz; Michael González Harbour; Susanne Graf; J. Javier Gutiérrez; Rafik Henia; Didier Le Botlan; Giuseppe Lipari; Julio L. Medina; Nicolas Navet; et al. (ECRTS, 2023)

Expiring opacity problems in parametric timed automata. - Étienne André; Engel Lefaucheux; Dylan Marinho (ICECCS, 2023)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. - Étienne André; Didier Lime; Olivier H. Roux (CoRR, 2023)

Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. - Étienne André; Engel Lefaucheux; Didier Lime; Dylan Marinho; Jun Sun 001 (TiCSA@ETAPS, 2023)

Formalizing UML State Machines for Automated Verification - A Survey. - Étienne André; Shuang Liu 007; Yang Liu 003; Christine Choppy; Jun Sun 001; Jin Song Dong (ACM Comput. Surv., 2023)

Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice. - Johan Arcile; Étienne André (ACM Comput. Surv., 2023)

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). - Sebastian Altmeyer; Étienne André; Silvano Dal-Zilio; Loïc Fejoz; Michael González Harbour; Susanne Graf; J. Javier Gutiérrez; Rafik Henia; Didier Le Botlan; Giuseppe Lipari; Julio L. Medina; Nicolas Navet; et al. (Dagstuhl Artifacts Ser., 2023)

Parametric Timed Pattern Matching. - Masaki Waga; Étienne André; Ichiro Hasuo (ACM Trans. Softw. Eng. Methodol., 2023)

MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties. - Bineet Ghosh; Étienne André (Zenodo, 2023)

MoULDyS: Monitoring of autonomous systems in the presence of uncertainties. - Bineet Ghosh; Étienne André (Sci. Comput. Program., 2023)

CosyVerif: The Path to Formalisms Cohabitation. - Étienne André; Jaime Arias 001; Benoît Barbot; Francis Hulin-Hubard; Fabrice Kordon; Van-François Le; Laure Petrucci (Petri Nets, 2024)

Execution-Time Opacity Problems in One-Clock Parametric Timed Automata. - Étienne André; Johan Arcile; Engel Lefaucheux (FSTTCS, 2024)

Tuning Trains Speed in Railway Scheduling. - Étienne André (ICFEM, 2024)

The Bright Side of Timed Opacity. - Étienne André; Sarah Dépernet; Engel Lefaucheux (ICFEM, 2024)

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 001; Masaki Waga; Étienne André; Ichiro Hasuo; Naoki Ueda; Yosuke Yokoyama (SAC, 2024)

Execution-Time Opacity Control for Timed Automata. - Étienne André; Marie Duflot; Laetitia Laversa; Engel Lefaucheux (SEFM, 2024)

Parameterized Verification of Disjunctive Timed Networks. - Étienne André; Paul Eichler; Swen Jacobs; Shyam Lal Karra (VMCAI (1), 2024)

Parameterized Verification of Timed Networks with Clock Invariants. - Étienne André; Swen Jacobs; Shyam Lal Karra; Ocan Sankur (CoRR, 2024)

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model. - Bineet Ghosh; Étienne André (Log. Methods Comput. Sci., 2024)

The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata. - Étienne André; Dylan Marinho; Jaco van de Pol (Zenodo, 2024)

Experiments regarding the inverse method extended with the integer hull ("RITPS"). - Étienne André (Zenodo, 2024)

Hyper Parametric Timed CTL. - Masaki Waga; Étienne André (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring. - Bineet Ghosh; Étienne André (FORTE, 2025)

Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. - Étienne André; Jean-Luc Béchennec; Sudipta Chattopadhyay 001; Sébastien Faucou; Didier Lime; Dylan Marinho; Olivier H. Roux; Jun Sun 001 (SAC, 2025)

Zone extrapolations in parametric timed automata. - Johan Arcile; Étienne André (Innov. Syst. Softw. Eng., 2025)

Hyper pattern matching. - Masaki Waga; Étienne André (CoRR, 2025)