Hoang Gia Nguyen

According to our database, Hoang Gia Nguyen authored at least 9 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption.

Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun

Dataset, September, 2022

2021

Distributed parametric model checking timed automata under non-Zenoness assumption.

Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun

Formal Methods Syst. Des., 2021

2018

Efficient Parametric Verification of Parametric Timed Automata. (Vérification efficace des automates temporisés paramétrés).

Hoang Gia Nguyen

PhD thesis, 2018

Layered and Collecting NDFS with Subsumption for Parametric Timed Automata.

Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2017

Parametric Model Checking Timed Automata Under Non-Zenoness Assumption.

Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Efficient Parameter Synthesis Using Optimized State Exploration Strategies.

Étienne André, Hoang Gia Nguyen, Laure Petrucci

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2015

Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation).

Étienne André, Camille Coti, Hoang Gia Nguyen

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

Reachability Preservation Based Parameter Synthesis for Timed Automata.

Étienne André, Giuseppe Lipari, Hoang Gia Nguyen, Youcheng Sun

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Enhanced Distributed Behavioral Cartography of Parametric Timed Automata.

Étienne André, Camille Coti, Hoang Gia Nguyen

Proceedings of the Formal Methods and Software Engineering, 2015