Toshiaki Aoki - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Automated Adaptor Generation for Services Based on Pushdown Model CheckingHsin-hung Lin, Toshiaki Aoki, Takuya Katayama. ECBS 2011: 130-139 [doi]

2010

2009

Detecting and Analyzing State Inconsistencies in Multi-task SoftwareToshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi. isorc 2009: 326-330 [doi]

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based SoftwarePham Ngoc Hung, Toshiaki Aoki, Takuya Katayama. ieicet, 92-A(11):2772-2780, 2009. [doi]

A Minimized Assumption Generation Method for Component-Based Software VerificationPham Ngoc Hung, Toshiaki Aoki, Takuya Katayama. ictac 2009: 277-291 [doi]

Model checking education for software engineers in JapanHideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno. SIGCSE, 41(2):45-50, 2009. [doi]

Evolution of a course on model checking for practical applicationsYasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden. SIGCSE, 41(2):38-44, 2009. [doi]

2008

Model Checking Multi-Task Software on Real-Time Operating SystemsToshiaki Aoki. isorc 2008: 551-555 [doi]

2007

Statechart-based Verification of Object-Oriented Design ModelsToshiaki Aoki, Takuya Katayama. apsec 2007: 278-285 [doi]

SPLC 2007 Dectoral SymposiumJaejoon Lee, Isabel John, Toshiaki Aoki, John D. McGregor. SPLC 2007: 155-156

2005

2004

Foundations for Evolutionary Construction of State Transition ModelsToshiaki Aoki, Takuya Katayama. iwpse 2004: 143-146 [doi]

Project Report: High-Reliable Object-Oriented Embedded Software DesignTomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama. wstfeus 2004: 144-148 [doi]

Collaboration-based verification of Object-Oriented models in HOLKenro Yatake, Toshiaki Aoki, Takuya Katayama. vveis 2004: 78-80

2002

Extracting threads from concurrent objects for the design of embedded systemsMitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama. apsec 2002: 107-116 [doi]

2001

An Axiomatic Formalization of UML ModelsToshiaki Aoki, Takaaki Tateishi, Takuya Katayama. uml 2001: 13-28

1998

Unification and Consistency Verification of Object-Oriented Analysis ModelsToshiaki Aoki, Takuya Katayama. apsec 1998: 296-303 [doi]