Nguyen Van Tang

12 papers B 1C 1Journal 6Unranked 4

Year	Rank	Type	Title / Venue / Authors
2014	J	`jnl`	A formal semantics of extended hierarchical state transition matrices using CSP#. Formal Aspects Comput. Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
2014	J	`jnl`	Formal Specification Based Automatic Test Generation for Embedded Network Systems. J. Appl. Math. Eun-Hye Choi, Hideaki Nishihara, Takahiro Ando, Nguyen Van Tang, Masahiro Aoki, Keiichi Yoshisaka, Osamu Mizuno, Hitoshi Ohsaki
2013	—	`conf`	Constructing test cases for n-wise testing from tree-based test models. SoICT Thi Bich Ngoc Do, Takashi Kitamura, Nguyen Van Tang, Goro Hatayama, Shinya Sakuragi, Hitoshi Ohsaki
2012	J	`jnl`	Formal semantics of extended hierarchical state transition matrix by CSP. ACM SIGSOFT Softw. Eng. Notes Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
2012	—	`conf`	Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++. VSTTE Nguyen Van Tang, Daisuke Souma, Goro Hatayama, Hitoshi Ohsaki
2012	C	`conf`	On Model Checking for Visibly Pushdown Automata. LATA Nguyen Van Tang, Hitoshi Ohsaki
2011	J	`jnl`	Checking On-the-Fly Universality and Inclusion Problems of Visibly Pushdown Automata. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Nguyen Van Tang, Hitoshi Ohsaki
2009	—	`conf`	A Tighter Bound for the Determinization of Visibly Pushdown Automata INFINITY Nguyen Van Tang
2009	J	`jnl`	Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Koichi Kobayashi, Kunihiko Hiraishi, Nguyen Van Tang
2009	B	`conf`	Event-Clock Visibly Pushdown Automata. SOFSEM Nguyen Van Tang, Mizuhito Ogawa
2008	J	`jnl`	Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata. Inf. Media Technol. Nguyen Van Tang, Mizuhito Ogawa
2006	—	`conf`	Modeling Urgency in Component-Based Real-Time Systems. ASIAN Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa