dblp.uni-trier.dewww.uni-trier.de

Toshiaki Aoki

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
12EEToshiaki Aoki: Model Checking Multi-Task Software on Real-Time Operating Systems. ISORC 2008: 551-555
2007
11EEToshiaki 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
9EEKenro Yatake, Toshiaki Aoki, Takuya Katayama: Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC 2005: 501-516
8EEToshiaki Aoki, Takuya Katayama: Formalization and Analysis of Dataflow in Object-Oriented Design Models. ISORC 2005: 95-105
7EETakuya 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
6EEToshiaki 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
4EETomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama: Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS 2004: 144-148
2002
3EEMitsutaka 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
1EEToshiaki Aoki, Takuya Katayama: Unification and Consistency Verification of Object-Oriented Analysis Models. APSEC 1998: 296-303

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)