Truong Khanh Nguyen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2012–2016
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICFEM | Scaling BDD-based Timed Verification with Simulation Reduction. | Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong |
| 2016 | VMCAI | Regular Symmetry Patterns. | Anthony W. Lin, Truong Khanh Nguyen, Philipp Rmmer, Jun Sun |
| 2014 | CAV | Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. | Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun |
| 2013 | ATVA | CELL: A Compositional Verification Framework. | Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen |
| 2012 | FM | Improved BDD-Based Discrete Analysis of Timed Systems. | Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu |
| 2012 | ICFEM | Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. | Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong |