Nguyen Van Tang

According to our database, Nguyen Van Tang authored at least 11 papers between 2006 and 2014.

Collaborative distances:

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

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

A formal semantics of extended hierarchical state transition matrices using CSP#.

Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi

Formal Aspects Comput., 2014

2013

Constructing test cases for n-wise testing from tree-based test models.

Thi Bich Ngoc Do, Takashi Kitamura, Nguyen Van Tang, Goro Hatayama, Shinya Sakuragi, Hitoshi Ohsaki

Proceedings of the 4th International Symposium on Information and Communication Technology, 2013

2012

Formal semantics of extended hierarchical state transition matrix by CSP.

Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi

ACM SIGSOFT Softw. Eng. Notes, 2012

Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++.

Nguyen Van Tang, Daisuke Souma, Goro Hatayama, Hitoshi Ohsaki

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

On Model Checking for Visibly Pushdown Automata.

Nguyen Van Tang, Hitoshi Ohsaki

Proceedings of the Language and Automata Theory and Applications, 2012

2011

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

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

A Tighter Bound for the Determinization of Visibly Pushdown Automata

Nguyen Van Tang

Proceedings of the Proceedings International Workshop on Verification of Infinite-State Systems, 2009

Event-Clock Visibly Pushdown Automata.

Nguyen Van Tang, Mizuhito Ogawa

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

2006

Modeling Urgency in Component-Based Real-Time Systems.

Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa

Proceedings of the Advances in Computer Science, 2006