A Method for Detecting Defects in Source Codes Using Model Checking Techniques. - Yoshitaka Aoki; Saeko Matsuura (COMPSAC, 2010)

Quality Improvement of Requirements Specification using Model Checking Technique. - Yoshitaka Aoki; Shinpei Ogata; Hirotaka Okuda; Saeko Matsuura (ICEIS (2), 2012)

Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking. - Saeko Matsuura; Yoshitaka Aoki; Shinpei Ogata (ISSRE Workshops, 2014)

Verifying security requirements using model checking technique for UML-based requirements specification. - Yoshitaka Aoki; Saeko Matsuura (RET, 2014)

Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking. - Yoshitaka Aoki; Saeko Matsuura (IEICE Trans. Inf. Syst., 2014)

A Tool to Edit and Verify IoT System Architecture Model. - Shinpei Ogata; Hiroyuki Nakagawa; Yoshitaka Aoki; Kazuki Kobayashi; Yuko Fukushima (MoDELS (Satellite Events), 2017)

Security Requirements Verification for Existing Systems with Model Checking Technique and UML. - Saeko Matsuura; Shinpei Ogata; Yoshitaka Aoki (MODELSWARD, 2017)

Verification of CPS Based on Control Loop Using Model Checking. - Yoshitaka Aoki; Shinpei Ogata; Kazuki Kobayashi; Hiroyuki Nakagawa (APSEC, 2018)

Goal-Satisfaction Verification to Combination of Use Case Components. - Saeko Matsuura; Shinpei Ogata; Yoshitaka Aoki (ENASE, 2018)

A Template System for Modeling and Verifying Agent Behaviors. - Shinpei Ogata; Yoshitaka Aoki; Hiroyuki Nakagawa; Kazuki Kobayashi (PRIMA, 2018)

A model transformation approach to constructing agent-oriented design models for CPS/IoT systems. - Hiroyuki Nakagawa; Shinpei Ogata; Yoshitaka Aoki; Kazuki Kobayashi (SAC, 2020)