A scalable Monte-Carlo test-case generation tool for large and complex simulink models. Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019, 39-46, 2019
Reducing false positives of static analysis for SEI CERT C coding standard. Thu Trang Nguyen, Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita, Iori Yamada
Proceedings of the Joint 7th International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice, CESSER-IP@ICSE 2019, Montreal, QC, Canada, May 27, 2019, 41-48, 2019
Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller. Thuy Nguyen, Toshiaki Aoki, Takashi Tomita, Junpei Endo
26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019, 86-93, 2019
Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard. Thu-Trang Nguyen, Toshiaki Aoki, Takashi Tomita, Iori Yamada
26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019, 70-77, 2019
確率統計に基づいた故障木とテストによる機械学習システムの系統的 評価手法
青木 利晃, 川上 大介, 千田 伸男, 冨田 尭
IPSJ/SIGSE ソフトウェアエンジニアリングシンポジウム 2018 (SES2018), -, 2018
Template-Based Monte-Carlo Test Generation for Simulink Models. Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers, 63-78, 2017
Building a Body of Knowledge on Model Checking for Software Development. Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki
37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013, 784-789, 2013
Message from the workshop co-chairs Toshiaki Aoki, Sayaka Akioka, Robert Pettit, Keewook Rim
Proceedings - 1st International Workshop on Software Technologies for Future Dependable Distributed Systems, STFSSD 2009, -, 2009
Education Course of Practical Model Checking
Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
First International Workshop on Formal Methods Education and Training, Technical Report GRACE-TR-2008-03, 3, 33-48, 2008
SPLC 2007 Dectoral Symposium. Jaejoon Lee, Isabel John, Toshiaki Aoki, John D. McGregor
Software Product Lines, 11th International Conference, SPLC 2007, Kyoto, Japan, September 10-14, 2007, Proceedings. Second Volume (Workshops), 155-156, 2007
Highly reliable embedded software development using advanced software technologies T Katayama, T Nakajima, T Yuasa, T Kishi, S Nakajima, S Oikawa, M Yasugi, T Aoki, M Okazaki, S Umatani
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E88D, 6, 1105-1116, 2005
Collaboration-based verification of Object-Oriented Models YATAKE Kenro, AOKI Toshiaki, KATAYAMA Takuya, Kenro Yatake, Toshiaki Aoki, Takuya Katayama, Japan Advanst, Institute of Science, Technology, Japan Advanst, Institute of Science, Technology:PRESTO, Japan Advanst, Institute of Science, Technology
Computer Software, 22, 1, 58-76, 2005
Special section on software engineering for embedded systems Masayuki Hirayama, Yoshikazu Ueda, Toshiaki Aoki, Harumi Watanabe, Mikio Aoyama, Shin Nakajima, Atsushi Sawada, Naoyasu Ubayashi, Shigeyuki Ohara, Shinji Kohno, Kazutoshi Wakabayashi, Shigeru Hitomi, Suji Yamamoto, Naoki Tamura
IEICE Transactions on Information and Systems, E88-D, 6, 1103-1104, 2005
Collaboration-based verification of Object-Oriented models in HOL. Kenro Yatake, Toshiaki Aoki, Takuya Katayama
Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004, 78-80, 2004
An Axiomatic Formalization of UML Models. Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the ≪UML≫2001, October 1st, 2001 in Toronto, Canada, 13-28, 2001
Formal Mode for Object-Oriented Methodology. AOKI Toshiaki, KATAYAMA Takuya, Toshiaki Aoki, Takuya Katayama, Japan Advanced Institute of Science and Technology, Japan Advanced Institute of Science and Technology
日本ソフトウェア科学会学会誌, コンピュータソフトウェア, 16, 1, 12-32, 1999