Yoshitaka Aoki

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