Using Multi Decision Diagram in Model Checking. - Truong Khanh Nguyen; Quan Thanh Tho (SSIRI (Companion), 2010)

A model checking framework for hierarchical systems. - Truong Khanh Nguyen; Jun Sun 001; Yang Liu 003; Jin Song Dong (ASE, 2011)

Improved BDD-Based Discrete Analysis of Timed Systems. - Truong Khanh Nguyen; Jun Sun 001; Yang Liu 003; Jin Song Dong; Yan Liu 012 (FM, 2012)

Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. - Truong Khanh Nguyen; Jun Sun 001; Yang Liu 003; Jin Song Dong (ICFEM, 2012)

CELL: A Compositional Verification Framework. - Kun Ji; Yang Liu 003; Shang-Wei Lin 001; Jun Sun 001; Jin Song Dong; Truong Khanh Nguyen (ATVA, 2013)

Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. - Henri Hansen; Shang-Wei Lin 001; Yang Liu 003; Truong Khanh Nguyen; Jun Sun 001 (CAV, 2014)

RaPiD: a toolkit for reliability analysis of non-deterministic systems. - Lin Gui 002; Jun Sun 001; Yang Liu 003; Truong Khanh Nguyen; Jin Song Dong (SIGSOFT FSE, 2014)

Interpolation Guided Compositional Verification (T). - Shang-Wei Lin 001; Jun Sun 001; Truong Khanh Nguyen; Yang Liu 003; Jin Song Dong (ASE, 2015)

Regular Symmetry Patterns (Technical Report). - Anthony W. Lin; Truong Khanh Nguyen; Philipp Rümmer; Jun Sun 001 (CoRR, 2015)

Scaling BDD-based Timed Verification with Simulation Reduction. - Truong Khanh Nguyen; Tian Huat Tan; Jun Sun 001; Jiaying Li 001; Yang Liu 003; Manman Chen; Jin Song Dong (ICFEM, 2016)

Regular Symmetry Patterns. - Anthony W. Lin; Truong Khanh Nguyen; Philipp Rümmer; Jun Sun 001 (VMCAI, 2016)