Yoshitaka Aoki

According to our database, Yoshitaka Aoki authored at least 11 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

A model transformation approach to constructing agent-oriented design models for CPS/IoT systems.

Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki, Kazuki Kobayashi

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2018

A Template System for Modeling and Verifying Agent Behaviors.

Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Goal-Satisfaction Verification to Combination of Use Case Components.

Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

Verification of CPS Based on Control Loop Using Model Checking.

Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

Security Requirements Verification for Existing Systems with Model Checking Technique and UML.

Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

A Tool to Edit and Verify IoT System Architecture Model.

Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko Fukushima

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2014

Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking.

Yoshitaka Aoki, Saeko Matsuura

IEICE Trans. Inf. Syst., 2014

Verifying security requirements using model checking technique for UML-based requirements specification.

Yoshitaka Aoki, Saeko Matsuura

Proceedings of the 1st IEEE International Workshop on Requirements Engineering and Testing, 2014

Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking.

Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2012

Quality Improvement of Requirements Specification using Model Checking Technique.

Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

2010

A Method for Detecting Defects in Source Codes Using Model Checking Techniques.

Yoshitaka Aoki, Saeko Matsuura

Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010