Toshiaki Aoki

	2012
25		Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama: An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. RIVF 2012: 1-6
	2011
24		Jiang Chen, Toshiaki Aoki: Conformance Testing for OSEK/VDX Operating System Using Model Checking. APSEC 2011: 274-281
23		Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama: Automated Adaptor Generation for Services Based on Pushdown Model Checking. ECBS 2011: 130-139
22		Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee Bhattarakosol: Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking. ICWS 2011: 722-723
	2010
21		Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama: Non-regular Adaptation of Services Using Model Checking. ISORC 2010: 170-174
20		Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama: Modeling of Real-Time System Designs for Parametric Analysis. RTCSA 2010: 81-91
19		Kenro Yatake, Toshiaki Aoki: Automatic Generation of Model Checking Scripts Based on Environment Modeling. SPIN 2010: 58-75
18		Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama: A Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Transactions 93-D(8): 2172-2181 (2010)
	2009
17		Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama: A Minimized Assumption Generation Method for Component-Based Software Verification. ICTAC 2009: 277-291
16		Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi: Detecting and Analyzing State Inconsistencies in Multi-task Software. ISORC 2009: 326-330
15		Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama: Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. IEICE Transactions 92-A(11): 2772-2780 (2009)
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	Pattarasinee Bhattarakosol	[22]
2	Jiang Chen	[24]
3	Koji Hayamizu	[13]
4	Masayuki Hirayama	[16]
5	Shinichi Honiden	[14]
6	Pham Ngoc Hung	[15] [17] [18] [25]
7	Isabel John	[10]
8	Takuya Katayama	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [15] [17] [18] [20] [21] [23] [25]
9	Tomoji Kishi	[4] [7] [16]
10	Fumihiro Kumeno	[13]
11	Jaejoon Lee	[10]
12	Hsin-Hung Lin	[21] [23]
13	John D. McGregor	[10]
14	Shin Nakajima	[4] [7]
15	Tatsuo Nakajima	[7]
16	Viet Ha Nguyen	[18] [25]
17	Hideaki Nishihara	[13]
18	Natsuko Noda	[4]
19	Shuichi Oikawa	[7]
20	Mitsutaka Okazaki	[3] [7]
21	Warawoot Pacharoen (Warawut Pacharoen)	[22]
22	Chaiwat Sathawornwichit	[20]
23	Tadashi Sekiguchi	[16]
24	Koichi Shinozaki	[13]
25	Athasit Surarerks	[22]
26	Kenji Taguchi	[13] [14]
27	Yasuyuki Tahara	[14]
28	Takaaki Tateishi	[2]
29	Seiji Umatani	[7]
30	Masahiro Yasugi	[7]
31	Kenro Yatake	[5] [9] [19]
32	Nobukazu Yoshioka	[14]
33	Taiichi Yuasa	[7]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page