Modeling Urgency in Component-Based Real-Time Systems. - Nguyen Van Tang; Dang Van Hung; Mizuhito Ogawa (ASIAN, 2006)

Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata. - Nguyen Van Tang; Mizuhito Ogawa (Inf. Media Technol., 2008)

Event-Clock Visibly Pushdown Automata. - Nguyen Van Tang; Mizuhito Ogawa (SOFSEM, 2009)

A Tighter Bound for the Determinization of Visibly Pushdown Automata - Nguyen Van Tang (INFINITY, 2009)

Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference. - Koichi Kobayashi; Kunihiko Hiraishi; Nguyen Van Tang (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

Checking On-the-Fly Universality and Inclusion Problems of Visibly Pushdown Automata. - Nguyen Van Tang; Hitoshi Ohsaki (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011)

On Model Checking for Visibly Pushdown Automata. - Nguyen Van Tang; Hitoshi Ohsaki (LATA, 2012)

Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++. - Nguyen Van Tang; Daisuke Souma; Goro Hatayama; Hitoshi Ohsaki (VSTTE, 2012)

Formal semantics of extended hierarchical state transition matrix by CSP. - Yoriyuki Yamagata; Weiqiang Kong; Akira Fukuda; Nguyen Van Tang; Hitoshi Ohsaki; Kenji Taguchi 001 (ACM SIGSOFT Softw. Eng. Notes, 2012)

Constructing test cases for n-wise testing from tree-based test models. - Thi Bich Ngoc Do; Takashi Kitamura 001; Nguyen Van Tang; Goro Hatayama; Shinya Sakuragi; Hitoshi Ohsaki (SoICT, 2013)

A formal semantics of extended hierarchical state transition matrices using CSP#. - Yoriyuki Yamagata; Weiqiang Kong; Akira Fukuda; Nguyen Van Tang; Hitoshi Ohsaki; Kenji Taguchi 001 (Formal Aspects Comput., 2014)

Formal Specification Based Automatic Test Generation for Embedded Network Systems. - Eun-Hye Choi; Hideaki Nishihara; Takahiro Ando; Nguyen Van Tang; Masahiro Aoki; Keiichi Yoshisaka; Osamu Mizuno; Hitoshi Ohsaki (J. Appl. Math., 2014)