| 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 |
