Étienne André

191 papers A* 4A 1B 23C 16Misc 3Journal 84Unranked 54

Year	Rank	Type	Title / Venue / Authors
2026	C	`ed.`	Formal Methods and Software Engineering - 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings ICFEM Étienne André, Jingyi Wang, Naijun Zhan
2026	B	`conf`	Parametric Disjunctive Timed Networks. CSL Étienne André, Swen Jacobs, Engel Lefaucheux
2025	B	`conf`	Hyper Pattern Matching. RV Masaki Waga, Étienne André
2025	J	`jnl`	Hyper pattern matching. CoRR Masaki Waga, Étienne André
2025	J	`jnl`	Opacity problems in multi-energy timed automata. CoRR Étienne André, Lydia Bakiri
2025	—	`conf`	Parameterized Verification of Timed Networks with Clock Invariants. FSTTCS Étienne André, Swen Jacobs, Shyam Lal Karra, Ocan Sankur
2025	J	`jnl`	Parametric disjunctive timed networks. CoRR Étienne André, Swen Jacobs, Engel Lefaucheux
2025	C	`conf`	Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring. FORTE Bineet Ghosh, Étienne André
2025	Misc	`conf`	Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. SAC Étienne André, Jean-Luc Béchennec, Sudipta Chattopadhyay, Sébastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun
2025	J	`jnl`	Zone extrapolations in parametric timed automata. Innov. Syst. Softw. Eng. Johan Arcile, Étienne André
2024	B	`conf`	CosyVerif: The Path to Formalisms Cohabitation. Petri Nets Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci
2024	B	`conf`	Execution-Time Opacity Control for Timed Automata. SEFM Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux
2024	—	`conf`	Execution-Time Opacity Problems in One-Clock Parametric Timed Automata. FSTTCS Étienne André, Johan Arcile, Engel Lefaucheux
2024	J	`jnl`	Execution-time opacity control for timed automata. CoRR Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux
2024	J	`jnl`	Execution-time opacity problems in one-clock parametric timed automata. CoRR Étienne André, Johan Arcile, Engel Lefaucheux
2024	J	`jnl`	Expiring opacity problems in parametric timed automata. CoRR Étienne André, Engel Lefaucheux, Dylan Marinho
2024	J	`jnl`	Formalizing UML State Machines for Automated Verification - A Survey. CoRR Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong
2024	J	`jnl`	Hyper Parametric Timed CTL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Masaki Waga, Étienne André
2024	J	`jnl`	Hyper parametric timed CTL. CoRR Masaki Waga, Étienne André
2024	J	`jnl`	MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties. CoRR Bineet Ghosh, Étienne André
2024	J	`jnl`	Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model. Log. Methods Comput. Sci. Bineet Ghosh, Étienne André
2024	—	`conf`	Parameterized Verification of Disjunctive Timed Networks. VMCAI (1) Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra
2024	J	`jnl`	Parameterized Verification of Timed Networks with Clock Invariants. CoRR Étienne André, Swen Jacobs, Shyam Lal Karra, Ocan Sankur
2024	Misc	`conf`	Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. SAC Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
2024	J	`jnl`	Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. CoRR Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
2024	C	`conf`	The Bright Side of Timed Opacity. ICFEM Étienne André, Sarah Dépernet, Engel Lefaucheux
2024	J	`jnl`	The Bright Side of Timed Opacity. CoRR Étienne André, Sarah Dépernet, Engel Lefaucheux
2024	C	`conf`	Tuning Trains Speed in Railway Scheduling. ICFEM Étienne André
2024	J	`jnl`	Tuning Trains Speed in Railway Scheduling. CoRR Étienne André
2023	—	`ed.`	Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I ATVA (1) Étienne André, Jun Sun
2023	B	`ed.`	Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II ATVA (2) Étienne André, Jun Sun
2023	—	`conf`	Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. TiCSA@ETAPS Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun
2023	J	`jnl`	Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. CoRR Étienne André, Didier Lime, Olivier H. Roux
2023	B	`conf`	Expiring opacity problems in parametric timed automata. ICECCS Étienne André, Engel Lefaucheux, Dylan Marinho
2023	J	`jnl`	Formalizing UML State Machines for Automated Verification - A Survey. ACM Comput. Surv. Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong
2023	J	`jnl`	From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 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, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
2023	B	`conf`	From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS 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, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
2023	J	`jnl`	MoULDyS: Monitoring of autonomous systems in the presence of uncertainties. Sci. Comput. Program. Bineet Ghosh, Étienne André
2023	J	`jnl`	Parameterized Verification of Disjunctive Timed Networks. CoRR Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra
2023	J	`jnl`	Parametric Timed Pattern Matching. ACM Trans. Softw. Eng. Methodol. Masaki Waga, Étienne André, Ichiro Hasuo
2023	J	`jnl`	Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice. ACM Comput. Surv. Johan Arcile, Étienne André
2022	—	`conf`	Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
2022	J	`jnl`	Efficient Convex Zone Merging in Parametric Timed Automata. CoRR Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
2022	—	`conf`	Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. NFM Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
2022	J	`jnl`	Exemplifying parametric timed specifications over signals with bounded behavior. CoRR Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
2022	J	`jnl`	Guaranteeing Timed Opacity using Parametric Timed Model Checking. CoRR Étienne André, Didier Lime, Dylan Marinho, Jun Sun
2022	J	`jnl`	Guaranteeing Timed Opacity using Parametric Timed Model Checking. ACM Trans. Softw. Eng. Methodol. Étienne André, Didier Lime, Dylan Marinho, Jun Sun
2022	J	`jnl`	Model-bounded Monitoring of Hybrid Systems. ACM Trans. Cyber Phys. Syst. Masaki Waga, Étienne André, Ichiro Hasuo
2022	C	`conf`	Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. FORTE Bineet Ghosh, Étienne André
2022	J	`jnl`	Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems. CoRR Bineet Ghosh, Étienne André
2022	J	`jnl`	Reachability and liveness in parametric timed automata. Log. Methods Comput. Sci. Étienne André, Didier Lime, Olivier H. Roux
2022	J	`jnl`	Timed automata as a formalism for expressing security: A survey on theory and practice. CoRR Johan Arcile, Étienne André
2022	—	`conf`	Zone Extrapolations in Parametric Timed Automata. NFM Johan Arcile, Étienne André
2022	J	`jnl`	Zone extrapolations in parametric timed automata. CoRR Johan Arcile, Étienne André
2022	—	`conf`	strategFTO: Untimed Control for Timed Opacity. FTSCS Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
2022	J	`jnl`	strategFTO: Untimed control for timed opacity. CoRR Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
2021	—	`conf`	A Benchmarks Library for Extended Parametric Timed Automata. TAP@STAF Étienne André, Dylan Marinho, Jaco van de Pol
2021	J	`jnl`	A Benchmarks Library for Extended Parametric Timed Automata. CoRR Étienne André, Dylan Marinho, Jaco van de Pol
2021	—	`conf`	An Approximation of Minimax Control using Random Sampling and Symbolic Computation. ADHS Jawher Jerray, Laurent Fribourg, Étienne André
2021	J	`jnl`	Distributed parametric model checking timed automata under non-Zenoness assumption. Formal Methods Syst. Des. Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun
2021	—	`conf`	IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability. CAV (1) Étienne André
2021	—	`conf`	Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. TACAS (1) Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol
2021	—	`conf`	Model-bounded monitoring of hybrid systems. ICCPS Masaki Waga, Étienne André, Ichiro Hasuo
2021	J	`jnl`	Model-bounded monitoring of hybrid systems. CoRR Masaki Waga, Étienne André, Ichiro Hasuo
2021	J	`jnl`	Parametric Analyses of Attack-fault Trees. Fundam. Informaticae Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
2021	J	`jnl`	Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints. Fundam. Informaticae Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2021	J	`jnl`	Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2021	J	`jnl`	Parametric updates in parametric timed automata. Log. Methods Comput. Sci. Étienne André, Didier Lime, Mathias Ramparison
2021	C	`conf`	Robust optimal periodic control using guaranteed Euler's method. ACC Jawher Jerray, Laurent Fribourg, Étienne André
2021	J	`jnl`	Robust optimal periodic control using guaranteed Euler's method. CoRR Jawher Jerray, Laurent Fribourg, Étienne André
2020	J	`jnl`	Automated synthesis of local time requirement for service composition. CoRR Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong
2020	J	`jnl`	Automated synthesis of local time requirement for service composition. Softw. Syst. Model. Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong
2020	J	`jnl`	Consistency in Parametric Interval Probabilistic Timed Automata. J. Log. Algebraic Methods Program. Étienne André, Benoît Delahaye, Paulin Fournier
2020	—	`conf`	Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). ARCH Jawher Jerray, Laurent Fribourg, Étienne André
2020	J	`jnl`	Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples. CoRR Jawher Jerray, Laurent Fribourg, Étienne André
2020	J	`jnl`	Language Preservation Problems in Parametric Timed Automata. Log. Methods Comput. Sci. Étienne André, Didier Lime, Nicolas Markey
2020	B	`conf`	Parametric non-interference in timed automata. ICECCS Étienne André, Aleksander Kryukov
2020	J	`jnl`	Parametric non-interference in timed automata. CoRR Étienne André, Aleksander Kryukov
2020	J	`jnl`	Reachability and liveness in parametric timed automata. CoRR Étienne André, Didier Lime, Olivier H. Roux
2020	J	`jnl`	Robust optimal control using dynamic programming and guaranteed Euler's method. CoRR Jawher Jerray, Laurent Fribourg, Étienne André
2019	J	`jnl`	Consistency in Parametric Interval Probabilistic Timed Automata. CoRR Étienne André, Benoît Delahaye, Paulin Fournier
2019	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings FORMATS Étienne André, Mariëlle Stoelinga
2019	Misc	`conf`	Formalizing Time4sys using parametric timed automata. TASE Étienne André
2019	J	`jnl`	Formalizing Time4sys using parametric timed automata. CoRR Étienne André
2019	—	`conf`	Minimal-Time Synthesis for Parametric Timed Automata. TACAS (2) Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
2019	J	`jnl`	Minimal-Time Synthesis for Parametric Timed Automata. CoRR Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
2019	B	`conf`	On the Expressive Power of Invariants in Parametric Timed Automata. ICECCS Étienne André, Didier Lime, Mathias Ramparison
2019	J	`jnl`	On the expressive power of invariants in parametric timed automata. CoRR Étienne André, Didier Lime, Mathias Ramparison
2019	—	`conf`	Online Parametric Timed Pattern Matching with Automata-Based Skipping. NFM Masaki Waga, Étienne André
2019	J	`jnl`	Online Parametric Timed Pattern Matching with Automata-Based Skipping. CoRR Masaki Waga, Étienne André
2019	—	`conf`	Parametric Analyses of Attack-Fault Trees. ACSD Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
2019	—	`conf`	Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints. ACSD Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2019	B	`conf`	Parametric Timed Broadcast Protocols. VMCAI Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime
2019	B	`conf`	Parametric Timed Model Checking for Guaranteeing Timed Opacity. ATVA Étienne André, Jun Sun
2019	J	`jnl`	Parametric Timed Model Checking for Guaranteeing Timed Opacity. CoRR Étienne André, Jun Sun
2019	C	`conf`	Parametric Updates in Parametric Timed Automata. FORTE Étienne André, Didier Lime, Mathias Ramparison
2019	J	`jnl`	Parametric Verification: An Introduction. CoRR Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
2019	J	`jnl`	Parametric Verification: An Introduction. Trans. Petri Nets Other Model. Concurr. Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
2019	J	`jnl`	Parametric analyses of attack-fault trees. CoRR Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
2019	J	`jnl`	Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2019	J	`jnl`	Parametric updates in parametric timed automata. CoRR Étienne André, Didier Lime, Mathias Ramparison
2019	—	`conf`	Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2019	J	`jnl`	Repairing Timed Automata Clock Guards through Abstraction and Testing. CoRR Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2019	—	`conf`	Symbolic Monitoring Against Specifications Parametric in Time and Data. CAV (1) Masaki Waga, Étienne André, Ichiro Hasuo
2019	J	`jnl`	Symbolic Monitoring against Specifications Parametric in Time and Data. CoRR Masaki Waga, Étienne André, Ichiro Hasuo
2019	C	`conf`	Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. ICTAC Étienne André, Jawher Jerray, Sahar Mhiri
2019	J	`jnl`	Time4sys2imi: A tool to formalize real-time system models under uncertainty. CoRR Étienne André, Jawher Jerray, Sahar Mhiri
2019	J	`jnl`	Timed ATL: Forget Memory, Just Count. J. Artif. Intell. Res. Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek
2019	B	`conf`	Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. VMCAI Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat
2019	J	`jnl`	What's decidable about parametric timed automata? CoRR Étienne André
2019	J	`jnl`	What's decidable about parametric timed automata? Int. J. Softw. Tools Technol. Transf. Étienne André
2018	—	`conf`	A Benchmark Library for Parametric Timed Model Checking. FTSCS Étienne André
2018	J	`jnl`	A benchmark library for parametric timed model checking. CoRR Étienne André
2018	—	`book`	Contributions to parametric timed model checking: Theory and algorithms. (Contributions au model-checking temporisé paramétré : théorie et algorithmes). Étienne André
2018	J	`jnl`	Language Preservation Problems in Parametric Timed Automata. CoRR Étienne André, Didier Lime, Nicolas Markey
2018	B	`conf`	Offline Timed Pattern Matching under Uncertainty. ICECCS Étienne André, Ichiro Hasuo, Masaki Waga
2018	J	`jnl`	Offline timed pattern matching under uncertainty. CoRR Étienne André, Ichiro Hasuo, Masaki Waga
2018	J	`jnl`	Parametric Timed Broadcast Protocols. CoRR Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime
2018	—	`conf`	TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. FORMATS Étienne André, Didier Lime, Mathias Ramparison
2018	J	`jnl`	The language preservation problem is undecidable for parametric event-recording automata. CoRR Étienne André, Shang-Wei Lin
2018	J	`jnl`	The language preservation problem is undecidable for parametric event-recording automata. Inf. Process. Lett. Étienne André, Shang-Wei Lin
2018	—	`conf`	Timed Automata with Parametric Updates. ACSD Étienne André, Didier Lime, Mathias Ramparison
2018	J	`jnl`	Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. CoRR Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat
2017	—	`conf`	A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty. FMICS-AVoCS Étienne André
2017	C	`conf`	Classification-Based Parameter Synthesis for Parametric Timed Automata. ICFEM Jiaying Li, Jun Sun, Bo Gao, Étienne André
2017	B	`conf`	Efficient Parameter Synthesis Using Optimized State Exploration Strategies. ICECCS Étienne André, Hoang Gia Nguyen, Laure Petrucci
2017	C	`conf`	Learning-Based Compositional Parameter Synthesis for Event-Recording Automata. FORTE Étienne André, Shang-Wei Lin
2017	—	`conf`	Liveness in L/U-Parametric Timed Automata. ACSD Étienne André, Didier Lime
2017	—	`conf`	Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. NFM Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun
2017	J	`jnl`	Preserving Partial-Order Runs in Parametric Time Petri Nets. ACM Trans. Embed. Comput. Syst. Étienne André, Thomas Chatain, César Rodríguez
2017	A	`conf`	Timed ATL: Forget Memory, Just Count. AAMAS Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek
2016	—	`conf`	Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. FTSCS Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André
2016	C	`conf`	Consistency in Parametric Interval Probabilistic Timed Automata. TIME Étienne André, Benoît Delahaye
2016	—	`conf`	Controlling Actions and Time in Parametric Timed Automata. ACSD Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci
2016	C	`conf`	Decision Problems for Parametric Timed Automata. ICFEM Étienne André, Didier Lime, Olivier H. Roux
2016	J	`jnl`	Formalising concurrent UML state machines using coloured Petri nets. Formal Aspects Comput. Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
2016	—	`conf`	On the Expressiveness of Parametric Timed Automata. FORMATS Étienne André, Didier Lime, Olivier H. Roux
2016	A*	`conf`	Optimizing selection of competing services with probabilistic hierarchical refinement. ICSE Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne André, Yinxing Xue, Jin Song Dong
2016	C	`conf`	Parametric Deadlock-Freeness Checking Timed Automata. ICTAC Étienne André
2015	—	`ed.`	2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, London, United Kingdom, April 11, 2015 SynCoP Étienne André, Goran Frehse
2015	—	`conf`	Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks. SoICT Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci, Étienne André
2015	—	`conf`	Decrypting cryptography. ITHET Étienne André, Laure Petrucci
2015	—	`conf`	Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation). SynCoP Étienne André, Camille Coti, Hoang Gia Nguyen
2015	C	`conf`	Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. ICFEM Étienne André, Camille Coti, Hoang Gia Nguyen
2015	—	`conf`	Integer-Complete Synthesis for Bounded Parametric Timed Automata. RP Étienne André, Didier Lime, Olivier H. Roux
2015	—	`conf`	Language Preservation Problems in Parametric Timed Automata. FORMATS Étienne André, Nicolas Markey
2015	—	`conf`	Preserving Partial Order Runs in Parametric Time Petri Nets. ACSD Étienne André, Thomas Chatain, César Rodríguez
2015	—	`conf`	Reachability Preservation Based Parameter Synthesis for Timed Automata. NFM Étienne André, Giuseppe Lipari, Hoang Gia Nguyen, Youcheng Sun
2015	—	`conf`	Unifying Patterns for Modelling Timed Relationships in Systems and Properties. PNSE @ Petri Nets Étienne André, Laure Petrucci
2015	—	`conf`	What's Decidable About Parametric Timed Automata? FTSCS Étienne André
2014	A*	`conf`	Automated runtime recovery for QoS-based service composition. WWW Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu, Jin Song Dong
2014	—	`conf`	Distributed Behavioral Cartography of Timed Automata. EuroMPI/ASIA Étienne André, Camille Coti, Sami Evangelista
2014	—	`conf`	Formalising Concurrent UML State Machines Using Coloured Petri Nets. KSE Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
2014	J	`jnl`	Learning Assumptions for CompositionalVerification of Timed Systems. IEEE Trans. Software Eng. Shang-Wei Lin, Étienne André, Yang Liu, Jun Sun, Jin Song Dong
2014	—	`conf`	Modelling Timed Concurrent Systems Using Activity Diagram Patterns. KSE Étienne André, Christine Choppy, Thierry Noulamo
2014	J	`jnl`	Parameter synthesis for hierarchical concurrent real-time systems. Real Time Syst. Étienne André, Yang Liu, Jun Sun, Jin Song Dong
2014	B	`conf`	PeCAn: Compositional Verification of Petri Nets Made Easy. ATVA 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	—	`ed.`	Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014. SynCoP Étienne André, Goran Frehse
2014	—	`conf`	Toward Parametric Timed Interfaces for Real-Time Components. SynCoP Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg
2014	—	`conf`	Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. ESSS Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
2013	B	`conf`	A Formal Semantics for Complete UML State Machines with Communications. IFM Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong
2013	C	`conf`	A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. ICFEM Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci
2013	—	`conf`	Activity Diagrams Patterns for Modeling Business Processes. SERA (selected papers) Étienne André, Christine Choppy, Gianna Reggio
2013	J	`jnl`	An extension of the inverse method to probabilistic timed automata. Formal Methods Syst. Des. Étienne André, Laurent Fribourg, Jeremy Sproston
2013	B	`conf`	CosyVerif: An Open Source Extensible Verification Environment. ICECCS Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon
2013	—	`conf`	Dynamic Clock Elimination in Parametric Timed Automata. FSFMA Étienne André
2013	A*	`conf`	Dynamic synthesis of local time requirement for service composition. ICSE Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen
2013	B	`conf`	Merge and Conquer: State Merging in Parametric Timed Automata. ATVA Étienne André, Laurent Fribourg, Romain Soulat
2013	J	`jnl`	Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Trans. Softw. Eng. Methodol. Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André
2013	B	`conf`	Observer Patterns for Real-Time Systems. ICECCS Étienne André
2013	A*	`conf`	PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. CAV Étienne André, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin
2013	J	`jnl`	Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems CoRR Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg
2013	—	`conf`	Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. FTSCS Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg
2013	—	`conf`	Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs. FORMATS Étienne André, Giuseppe Pellegrino, Laure Petrucci
2012	—	`conf`	A Counterexample-Based Incremental and Modular Verification Approach. Monterey Workshop Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci
2012	B	`conf`	Automatic Compositional Verification of Timed Systems. FM Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André
2012	—	`conf`	Enhancing the Inverse Method with State Merging. NASA Formal Methods Étienne André, Laurent Fribourg, Romain Soulat
2012	J	`jnl`	Formalizing non-concurrent UML state machines using colored petri nets. ACM SIGSOFT Softw. Eng. Notes Étienne André, Christine Choppy, Kais Klai
2012	B	`conf`	IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. FM Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat
2012	B	`conf`	Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. ICECCS Étienne André, Yang Liu, Jun Sun, Jin Song Dong
2011	B	`conf`	An Efficient Algorithm for Learning Event-Recording Automata. ATVA Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu
2011	—	`conf`	Synthesis of Timing Parameters Satisfying Safety Properties. RP Étienne André, Romain Soulat
2011	J	`jnl`	«thinking»: onze minutes en onze pages. Bull. dInformatique Approfondie et Appl. Étienne André
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	—	`conf`	Behavioral Cartography of Timed Automata. RP Étienne André, Laurent Fribourg
2010	—	`conf`	IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata INFINITY Étienne André
2009	J	`jnl`	An Extension of the Inverse Method to Probabilistic Timed Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Étienne André, Laurent Fribourg, Jeremy Sproston
2009	J	`jnl`	An Inverse Method for Parametric Timed Automata. Int. J. Found. Comput. Sci. Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz
2009	—	`conf`	An Inverse Method for Policy-Iteration Based Algorithms INFINITY Laurent Fribourg, Étienne André
2009	C	`conf`	IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. ICTAC Étienne André
2008	—	`conf`	An Inverse Method for Parametric Timed Automata. RP Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz