Toshiaki Aoki

	2009
16		Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama: A Minimized Assumption Generation Method for Component-Based Software Verification. ICTAC 2009: 277-291
15		Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi: Detecting and Analyzing State Inconsistencies in Multi-task Software. ISORC 2009: 326-330
14		Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden: Evolution of a course on model checking for practical applications. SIGCSE Bulletin 41(2): 38-44 (2009)
13		Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno: Model checking education for software engineers in Japan. SIGCSE Bulletin 41(2): 45-50 (2009)
	2008
12		Toshiaki Aoki: Model Checking Multi-Task Software on Real-Time Operating Systems. ISORC 2008: 551-555
	2007
11		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		Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC 2005: 501-516
8		Toshiaki Aoki, Takuya Katayama: Formalization and Analysis of Dataflow in Object-Oriented Design Models. ISORC 2005: 95-105
7		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		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		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		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		Toshiaki Aoki, Takuya Katayama: Unification and Consistency Verification of Object-Oriented Analysis Models. APSEC 1998: 296-303

Coauthor Index

1	Koji Hayamizu	[13]
2	Masayuki Hirayama	[15]
3	Shinichi Honiden	[14]
4	Pham Ngoc Hung	[16]
5	Isabel John	[10]
6	Takuya Katayama	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [16]
7	Tomoji Kishi	[4] [7] [15]
8	Fumihiro Kumeno	[13]
9	Jaejoon Lee	[10]
10	John D. McGregor	[10]
11	Shin Nakajima	[4] [7]
12	Tatsuo Nakajima	[7]
13	Hideaki Nishihara	[13]
14	Natsuko Noda	[4]
15	Shuichi Oikawa	[7]
16	Mitsutaka Okazaki	[3] [7]
17	Tadashi Sekiguchi	[15]
18	Koichi Shinozaki	[13]
19	Kenji Taguchi	[13] [14]
20	Yasuyuki Tahara	[14]
21	Takaaki Tateishi	[2]
22	Seiji Umatani	[7]
23	Masahiro Yasugi	[7]
24	Kenro Yatake	[5] [9]
25	Nobukazu Yoshioka	[14]
26	Taiichi Yuasa	[7]

Colors in the list of coauthors