Hoang Gia Nguyen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2015–2018
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ICECCS | Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. | Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol |
| 2017 | ICECCS | Efficient Parameter Synthesis Using Optimized State Exploration Strategies. | tienne Andr, Hoang Gia Nguyen, Laure Petrucci |
| 2015 | ICFEM | Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. | tienne Andr, Camille Coti, Hoang Gia Nguyen |