| 2025 | ITNAC | Evolvable Network Design for Efficient Optical Intra-Datacenter Networks. | Takashi Miyamura, Shoichi Morimoto |
| 2009 | SoMeT | M. | Shoichi Morimoto |
| 2008 | ICCS | A Survey of Formal Verification for Business Process Modeling. | Shoichi Morimoto |
| 2008 | SOFSEM | Classification, Formalization and Verification of Security Functional Requirements. | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
| 2007 | ICCS | A System Behavior Analysis Technique with Visualization of a Customer's Domain. | Shoichi Morimoto |
| 2007 | ICCS | A Security Specification Library with a Schemaless Database. | Shoichi Morimoto, Jingde Cheng |
| 2007 | SAC | Formal verification of security specifications with common criteria. | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
| 2006 | ICCS | A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408. | Daisuke Horie, Shoichi Morimoto, Jingde Cheng |
| 2006 | ICCSA | A Security Requirement Management Database Based on ISO/IEC 15408. | Shoichi Morimoto, Daisuke Horie, Jingde Cheng |
| 2006 | SAC | A security specification verification technique based on the international standard ISO/IEC 15408. | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
| 2005 | EUC | Security in Persistently Reactive Systems. | Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng |