Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Toshiaki Aoki
2010 – today
- 2013
[c24]Shinji Kikuchi, Toshiaki Aoki: Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking. SOSE 2013: 37-48- 2012
- [j8]Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama: Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking. IEICE Transactions 95-D(7): 1882-1893 (2012)
- [j7]Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama: On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Transactions 95-A(9): 1451-1460 (2012)
- [j6]Kenro Yatake, Toshiaki Aoki: SMT-based enumeration of object graphs from UML class diagrams. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)
- [c23]Kenro Yatake, Toshiaki Aoki: Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling. ICTAC 2012: 183-197
- [c22]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
- [c21]Hiroaki Tanizaki, Toshiaki Aoki, Takuya Katayama: A Variability Management Method for Software Configuration Files. SEKE 2012: 672-677
- [c20]Dieu-Huong Vu, Toshiaki Aoki: Faithfully formalizing OSEK/VDX operating system specification. SoICT 2012: 13-20
- [e1]Toshiaki Aoki, Kenji Taguchi (Eds.): Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings. Lecture Notes in Computer Science 7635, Springer 2012, ISBN 978-3-642-34280-6
- 2011
- [c19]Jiang Chen, Toshiaki Aoki: Conformance Testing for OSEK/VDX Operating System Using Model Checking. APSEC 2011: 274-281
- [c18]Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama: Automated Adaptor Generation for Services Based on Pushdown Model Checking. ECBS 2011: 130-139
- [c17]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
- [j5]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)
- [c16]Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama: Non-regular Adaptation of Services Using Model Checking. ISORC 2010: 170-174
- [c15]Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama: Modeling of Real-Time System Designs for Parametric Analysis. RTCSA 2010: 81-91
- [c14]Kenro Yatake, Toshiaki Aoki: Automatic Generation of Model Checking Scripts Based on Environment Modeling. SPIN 2010: 58-75
2000 – 2009
- 2009
- [j4]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)
- [j3]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)
- [j2]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)
- [c13]Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama: A Minimized Assumption Generation Method for Component-Based Software Verification. ICTAC 2009: 277-291
- [c12]Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi: Detecting and Analyzing State Inconsistencies in Multi-task Software. ISORC 2009: 326-330
- 2008
- [c11]Toshiaki Aoki: Model Checking Multi-Task Software on Real-Time Operating Systems. ISORC 2008: 551-555
- 2007
- [c10]Toshiaki Aoki, Takuya Katayama: Statechart-based Verification of Object-Oriented Design Models. APSEC 2007: 278-285
- [c9]Jaejoon Lee, Isabel John, Toshiaki Aoki, John D. McGregor: SPLC 2007 Dectoral Symposium. SPLC (2) 2007: 155-156
- 2005
- [j1]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)
- [c8]Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC 2005: 501-516
- [c7]Toshiaki Aoki, Takuya Katayama: Formalization and Analysis of Dataflow in Object-Oriented Design Models. ISORC 2005: 95-105
- 2004
- [c6]Toshiaki Aoki, Takuya Katayama: Foundations for Evolutionary Construction of State Transition Models. IWPSE 2004: 143-146
- [c5]Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Collaboration-based verification of Object-Oriented models in HOL. VVEIS 2004: 78-80
- [c4]Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama: Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS 2004: 144-148
- 2002
- [c3]Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama: Extracting threads from concurrent objects for the design of embedded systems. APSEC 2002: 107-116
- 2001
- [c2]Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama: An Axiomatic Formalization of UML Models. pUML 2001: 13-28
1990 – 1999
- 1998
- [c1]Toshiaki Aoki, Takuya Katayama: Unification and Consistency Verification of Object-Oriented Analysis Models. APSEC 1998: 296-303
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-13 23:10 CEST by the dblp team