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

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

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

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

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

Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. - Hoang Gia Nguyen; Laure Petrucci; Jaco van de Pol (ICECCS, 2018)

Efficient Parametric Verification of Parametric Timed Automata. (Vérification efficace des automates temporisés paramétrés). - Hoang Gia Nguyen (2018)

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)

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)