Improved Symbolic Model Checking of Real-Time Systems

by NGUYEN TRUONG KHANH
Published 2014

Symbolic model-checking of stateful timed CSP using BDD and digitization

by NGUYEN, Truong Khanh, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2012

A model checking framework for hierarchical systems.

by NGUYEN, Truong Khanh, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2011

Regular symmetry patterns

by LIN, Anthony W., NGUYEN, Truong Khanh, RÜMMER, Philipp, SUN, Jun
Published 2016

Improved BDD-based discrete analysis of timed systems

by NGUYEN, Truong Khanh, SUN, Jun, LIU, Yang, DONG, Jin Song, LIU, Yan
Published 2012

Diamonds are a girl's best friend: Partial order reduction for timed automata with abstractions

by HANSEN, Henri, LIN, Shang-Wei, LIU, Yang, NGUYEN, Truong Khanh, SUN, Jun
Published 2014

Interpolation guided compositional verification

by LIN, Shang-Wei, SUN, Jun, NGUYEN, Truong Khanh, LIU, Yang, DONG, Jin Song
Published 2015

RaPiD: A toolkit for reliability analysis of non-deterministic systems

by GUI, Lin, SUN, Jun, LIU, Yang, NGUYEN, Truong Khanh, DONG, Jin Song Dong
Published 2014

CELL: A compositional verification framework

by JI, Kun, LIU, Yang, SUN, Jun, SUN, Jun, DONG, Jin Song, NGUYEN, Truong Khanh
Published 2013

Scaling BDD-based timed verification with simulation reduction

by NGUYEN, Truong Khanh, TAN, Tian Huat, SUN, Jun, LI, Jiaying, LIU, Yang, CHEN, Manman, DONG, Jin Song
Published 2016