| 2020 | MODELSWARD | Automatic Verification of Behavior of UML Requirements Specifications using Model Checking. | Saeko Matsuura, Sae Ikeda, Kasumi Yokotae |
| 2018 | ENASE | Goal-Satisfaction Verification to Combination of Use Case Components. | Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki |
| 2017 | MODELSWARD | Security Requirements Verification for Existing Systems with Model Checking Technique and UML. | Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki |
| 2015 | COMPSAC | Model Driven Development by Separating Concerns in UML Requirements Specification. | Satoshi Kawai, Saeko Matsuura |
| 2014 | COMPSAC | Improve User's Security Literacy by Experiencing Behavior of Pseudo Android Malware. | Makoto Kato, Saeko Matsuura |
| 2014 | ISSRE | Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking. | Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata |
| 2014 | RE | Verifying security requirements using model checking technique for UML-based requirements specification. | Yoshitaka Aoki, Saeko Matsuura |
| 2013 | COMPSAC | A Dynamic Countermeasure Method to Android Malware by User Approval. | Makoto Kato, Saeko Matsuura |
| 2013 | COMPSAC | UML based Security Function Policy Verification Method for Requirements Specification. | Atsushi Noro, Saeko Matsuura |
| 2012 | COMPSAC | Test Case Generation by Simulating Requirements Analysis Model. | Ryo Shikimi, Shinpei Ogata, Saeko Matsuura |
| 2010 | COMPSAC | A Method for Detecting Defects in Source Codes Using Model Checking Techniques. | Yoshitaka Aoki, Saeko Matsuura |
| 2008 | COMPSAC | Scenario-Based Automatic Prototype Generation. | Shinpei Ogata, Saeko Matsuura |
| 2006 | SIGCSE | An evaluation method of project based learning on software development experiment. | Saeko Matsuura |
| 2006 | SEKE | Collaboration Support Model of Software Development Experiment. | Saeko Matsuura, Hiroki Kurihara |
| 2004 | COMPSAC | eXtreme Programming Support Tool in Distributed Environment. | Satoshi Atsuta, Saeko Matsuura |
| 1995 | APSEC | Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse. | Saeko Matsuura, Shinichi Honiden |