Yoshitaka Aoki

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 6

Top Topics

Temporal Properties

Quality Improvement

Requirements Specification

Top Venues

IEICE Trans. Inf. Syst.

MoDELS (Satellite Events)

Publications

Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki, Kazuki Kobayashi
A model transformation approach to constructing agent-oriented design models for CPS/IoT systems. SAC (2020)
Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa
Verification of CPS Based on Control Loop Using Model Checking. APSEC (2018)
Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi
A Template System for Modeling and Verifying Agent Behaviors. PRIMA (2018)
Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki
Goal-Satisfaction Verification to Combination of Use Case Components. ENASE (2018)
Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki
Security Requirements Verification for Existing Systems with Model Checking Technique and UML. MODELSWARD (2017)
Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko Fukushima
A Tool to Edit and Verify IoT System Architecture Model. MoDELS (Satellite Events) (2017)
Yoshitaka Aoki, Saeko Matsuura
Verifying security requirements using model checking technique for UML-based requirements specification. RET (2014)
Yoshitaka Aoki, Saeko Matsuura
Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking. IEICE Trans. Inf. Syst. (5) (2014)
Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata
Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking. ISSRE Workshops (2014)
Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura
Quality Improvement of Requirements Specification using Model Checking Technique. ICEIS (2) (2012)
Yoshitaka Aoki, Saeko Matsuura
A Method for Detecting Defects in Source Codes Using Model Checking Techniques. COMPSAC (2010)