Truong Khanh Nguyen

According to our database, Truong Khanh Nguyen authored at least 11 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Regular Symmetry Patterns.

Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

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

Proceedings of the Formal Methods and Software Engineering, 2016

2015

Regular Symmetry Patterns (Technical Report).

Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun

CoRR, 2015

Interpolation Guided Compositional Verification (T).

Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, Jin Song Dong

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

RaPiD: a toolkit for reliability analysis of non-deterministic systems.

Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, Jin Song Dong

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

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

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

CELL: A Compositional Verification Framework.

Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization.

Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2012

Improved BDD-Based Discrete Analysis of Timed Systems.

Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu

Proceedings of the FM 2012: Formal Methods, 2012

2011

A model checking framework for hierarchical systems.

Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Using Multi Decision Diagram in Model Checking.

Truong Khanh Nguyen, Quan Thanh Tho

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010