Truong Khanh Nguyen

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 2

Top Topics

Spline Interpolation

Technical Report

Regular Patterns

Top Venues

Publications

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