Truong Khanh Nguyen

11 papers A* 3B 3C 2Journal 1Unranked 2
YearRankTypeTitle / Venue / Authors
2016 B conf
Regular Symmetry Patterns.
VMCAI
Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun
2016 C conf
Scaling BDD-based Timed Verification with Simulation Reduction.
ICFEM
Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong
2015 A* conf
Interpolation Guided Compositional Verification (T).
ASE
Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, Jin Song Dong
2015 J jnl
Regular Symmetry Patterns (Technical Report).
CoRR
Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun
2014 A* conf
Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions.
CAV
Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun
2014 — conf
RaPiD: a toolkit for reliability analysis of non-deterministic systems.
SIGSOFT FSE
Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, Jin Song Dong
2013 B conf
CELL: A Compositional Verification Framework.
ATVA
Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen
2012 B conf
Improved BDD-Based Discrete Analysis of Timed Systems.
FM
Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu
2012 C conf
Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization.
ICFEM
Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong
2011 A* conf
A model checking framework for hierarchical systems.
ASE
Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong
2010 — conf
Using Multi Decision Diagram in Model Checking.
SSIRI (Companion)
Truong Khanh Nguyen, Quan Thanh Tho