Toshiaki Aoki Vis

*	2009
13	EE	Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama: A Minimized Assumption Generation Method for Component-Based Software Verification. ICTAC 2009: 277-291
	2008
12	EE	Toshiaki Aoki: Model Checking Multi-Task Software on Real-Time Operating Systems. ISORC 2008: 551-555
	2007
11	EE	Toshiaki Aoki, Takuya Katayama: Statechart-based Verification of Object-Oriented Design Models. APSEC 2007: 278-285
10		Jaejoon Lee, Isabel John, Toshiaki Aoki, John D. McGregor: SPLC 2007 Dectoral Symposium. SPLC (2) 2007: 155-156
	2005
9	EE	Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC 2005: 501-516
8	EE	Toshiaki Aoki, Takuya Katayama: Formalization and Analysis of Dataflow in Object-Oriented Design Models. ISORC 2005: 95-105
7	EE	Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani: Highly Reliable Embedded Software Development Using Advanced Software Technologies. IEICE Transactions 88-D(6): 1105-1116 (2005)
	2004
6	EE	Toshiaki Aoki, Takuya Katayama: Foundations for Evolutionary Construction of State Transition Models. IWPSE 2004: 143-146
5		Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Collaboration-based verification of Object-Oriented models in HOL. VVEIS 2004: 78-80
4	EE	Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama: Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS 2004: 144-148
	2002
3	EE	Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama: Extracting threads from concurrent objects for the design of embedded systems. APSEC 2002: 107-116
	2001
2		Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama: An Axiomatic Formalization of UML Models. pUML 2001: 13-28
	1998
1	EE	Toshiaki Aoki, Takuya Katayama: Unification and Consistency Verification of Object-Oriented Analysis Models. APSEC 1998: 296-303

Coauthor Index

1	Pham Ngoc Hung	[13]
2	Isabel John	[10]
3	Takuya Katayama	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [13]
4	Tomoji Kishi	[4] [7]
5	Jaejoon Lee	[10]
6	John D. McGregor	[10]
7	Shin Nakajima	[4] [7]
8	Tatsuo Nakajima	[7]
9	Natsuko Noda	[4]
10	Shuichi Oikawa	[7]
11	Mitsutaka Okazaki	[3] [7]
12	Takaaki Tateishi	[2]
13	Seiji Umatani	[7]
14	Masahiro Yasugi	[7]
15	Kenro Yatake	[5] [9]
16	Taiichi Yuasa	[7]

Colors in the list of coauthors