Travelled to:1 × Austria
1 × China
1 × France
1 × USA
Collaborated with:Y.Liu J.Sun J.S.Dong S.Lin H.Hansen L.Gui Y.Liu
Talks about:system (3) analysi (2) time (2) determinist (1) framework (1) interpol (1) hierarch (1) composit (1) automata (1) abstract (1)
Person: Truong Khanh Nguyen
DBLP: Nguyen:Truong_Khanh
Contributed to:
2014
2014
2012
20112015Wrote 5 papers:
- CAV-2014-HansenLLN0 #abstraction #automaton #partial order #reduction #women
- Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions (HH, SWL, YL, TKN, JS), pp. 391–406.
- FSE-2014-Gui00ND #agile #analysis #named #nondeterminism #reliability #tool support
- RaPiD: a toolkit for reliability analysis of non-deterministic systems (LG, JS, YL, TKN, JSD), pp. 727–730.
- FM-2012-NguyenSLDL #analysis
- Improved BDD-Based Discrete Analysis of Timed Systems (TKN, JS, YL, JSD, YL), pp. 326–340.
- ASE-2011-NguyenSLD #framework #model checking
- A model checking framework for hierarchical systems (TKN, JS, YL, JSD), pp. 633–636.
- ASE-2015-LinSNLD #composition #verification
- Interpolation Guided Compositional Verification (T) (SWL, JS, TKN, YL, JSD), pp. 65–74.