Hoang Gia Nguyen

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 7

Top Topics

Temporal Properties

Reactive Systems

Single Parameter

Top Venues

Formal Methods Syst. Des.

Publications

Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun
Distributed parametric model checking timed automata under non-Zenoness assumption. Formal Methods Syst. Des. 59 (1) (2021)
Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol
Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. ICECCS (2018)
Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun
Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. NFM (2017)
Étienne André, Hoang Gia Nguyen, Laure Petrucci
Efficient Parameter Synthesis Using Optimized State Exploration Strategies. ICECCS (2017)
Étienne André, Giuseppe Lipari, Hoang Gia Nguyen, Youcheng Sun
Reachability Preservation Based Parameter Synthesis for Timed Automata. NFM (2015)
Étienne André, Camille Coti, Hoang Gia Nguyen
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. ICFEM (2015)
Étienne André, Camille Coti, Hoang Gia Nguyen
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation). SynCoP (2015)