Toshiaki Aoki Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPham Ngoc Hung, Toshiaki Aoki, Takuya Katayama: A Minimized Assumption Generation Method for Component-Based Software Verification. ICTAC 2009: 277-291
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi: Detecting and Analyzing State Inconsistencies in Multi-task Software. ISORC 2009: 326-330
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYasuyuki 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)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHideaki 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToshiaki Aoki: Model Checking Multi-Task Software on Real-Time Operating Systems. ISORC 2008: 551-555
2007
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToshiaki Aoki, Takuya Katayama: Statechart-based Verification of Object-Oriented Design Models. APSEC 2007: 278-285
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaejoon Lee, Isabel John, Toshiaki Aoki, John D. McGregor: SPLC 2007 Dectoral Symposium. SPLC (2) 2007: 155-156
2005
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenro Yatake, Toshiaki Aoki, Takuya Katayama: Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC 2005: 501-516
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToshiaki Aoki, Takuya Katayama: Formalization and Analysis of Dataflow in Object-Oriented Design Models. ISORC 2005: 95-105
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTakuya 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToshiaki Aoki, Takuya Katayama: Foundations for Evolutionary Construction of State Transition Models. IWPSE 2004: 143-146
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenro Yatake, Toshiaki Aoki, Takuya Katayama: Collaboration-based verification of Object-Oriented models in HOL. VVEIS 2004: 78-80
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama: Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS 2004: 144-148
2002
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama: Extracting threads from concurrent objects for the design of embedded systems. APSEC 2002: 107-116
2001
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToshiaki Aoki, Takaaki Tateishi, Takuya Katayama: An Axiomatic Formalization of UML Models. pUML 2001: 13-28
1998
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToshiaki Aoki, Takuya Katayama: Unification and Consistency Verification of Object-Oriented Analysis Models. APSEC 1998: 296-303

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Feb 9 14:55:32 2010 by Michael Ley (ley@uni-trier.de)