| 2024 | QUATIC | Supporting Q&A Processes in Requirements Elicitation: Bad Smell Detection and Version Control. | Yui Imahori, Junzo Kato, Shinpei Hayashi, Atsushi Ohnishi, Motoshi Saeki |
| 2023 | KES | Supporting change management of UML class diagrams. | Yusuke Numa, Atsushi Ohnishi |
| 2021 | SERA | Supporting Software Development Task Understanding by Visualizing Operation History. | Takayuki Omori, Atsushi Ohnishi |
| 2019 | ICSoft | Ripple Effect Analysis of Data Flow Requirements. | Bui Do Tien Hung, Takayuki Omori, Atsushi Ohnishi |
| 2019 | KES | Verification method of reliability requirements. | Satsuki Yamada, Takayuki Omori, Atsushi Ohnishi |
| 2018 | IC3K | Transformation Method from Scenario to Sequence Diagram. | Yousuke Morikawa, Takayuki Omori, Atsushi Ohnishi |
| 2017 | KES | A Method for Verifying Non-Functional Requirements. | Yuuma Matsumoto, Sayaka Shirai, Atsushi Ohnishi |
| 2017 | REFSQ | Visualization of Quality of Software Requirements Specification Using Digital Elevation Model. | Diding Adi Parwoto, Takayuki Omori, Hiroya Itoga, Atsushi Ohnishi |
| 2016 | ICSoft | A Verification Method of Time-response Requirements. | Yuuma Matsumoto, Atsushi Ohnishi |
| 2015 | ICSoft | A Visualization Tool for Scenario-based Software Development. | Eiji Shiota, Atsushi Ohnishi |
| 2014 | RE | Customizable rule-based verification of requirements ontology. | Dang Viet Dzung, Atsushi Ohnishi |
| 2013 | COMPSAC | Evaluation of Ontology-Based Checking of Software Requirements Specification. | Dang Viet Dzung, Atsushi Ohnishi |
| 2013 | ICSoft | Software Requirements Parts for Construction of Software Requirements Specifications. | Yoshitaka Iyoda, Atsushi Ohnishi |
| 2012 | APSEC | A Verification Method of Elicited Software Requirements Using Requirements Ontology. | Dang Viet Dzung, Atsushi Ohnishi |
| 2012 | COMPSAC | Improving Software Quality Requirements Specifications Using Spectrum Analysis. | Haruhiko Kaiya, Atsushi Ohnishi |
| 2010 | APSEC | A Method for Exception Scenarios Generation Using Templates of Exceptions. | Hiroki Shudo, Atsushi Ohnishi |
| 2010 | RCIS | Automatic Transformation of Organization of Software Requirements Specifications. | Yusuke Matsuo, Kiyoshi Ogasawara, Atsushi Ohnishi |
| 2009 | ICSoft | Transformation of Organization of Software Requirements Specifications. | Yusuke Matsuo, Atsushi Ohnishi |
| 2009 | SEFM | Ontology-Based Reasoning in Requirements Elicitation. | Dang Viet Dzung, Atsushi Ohnishi |
| 2008 | ICSEA | Alternative/Exceptional Scenario Generation with Differential Scenario. | Masayuki Makino, Atsushi Ohnishi |
| 2008 | ICSoft | Verification of Scenarios Using the Common Criteria. | Atsushi Ohnishi |
| 2008 | ICSoft | Common Criteria Based Security Scenario Verification. | Atsushi Ohnishi |
| 2008 | RE | A Method of Scenario Generation with Differential Scenario. | Masayuki Makino, Atsushi Ohnishi |
| 2007 | RCIS | Effects of Thesaurus in Requirements Elicitation. | Junzo Kato, Motoshi Saeki, Atsushi Ohnishi, Haruhiko Kaiya, Shuichiro Yamamoto |
| 2006 | ICSoft | A scenario generation method using a differential scenario. | Masayuki Makino, Atsushi Ohnishi |
| 2005 | RE | Rule-based Verification of Scenarios with Pre-conditions and Post-conditions. | Tatsuya Toyama, Atsushi Ohnishi |
| 2004 | APSEC | A Transformation Method of Scenarios from Different Viewpoints. | Hong Hui Zhang, Atsushi Ohnishi |
| 2003 | APSEC | PAORE: Package Oriented Requirements Elicitation. | Junzo Kato, Morio Nagata, Shuichiro Yamamoto, Motoshi Saeki, Haruhiko Kaiya, Hisayuki Horai, Atsushi Ohnishi, Seiichi Komiya, Kenji Watahiki |
| 2003 | CaiSE | A Scenario Description Language Based on Action Frame. | Hong Hui Zhang, Atsushi Ohnishi |
| 2002 | COMPSAC | Transformation and Integration Method of Scenarios. | Atsushi Ohnishi, Hong Hui Zhang, Hiroshi Fujimoto |
| 2001 | APSEC | A Model for Navigating Interview Processes in Requirements Elicitation. | Junzo Kato, Seiichi Komiya, Motoshi Saeki, Atsushi Ohnishi, Morio Nagata, Shuichiro Yamamoto, Hisayuki Horai |
| 2000 | COMPSAC | A Visual Supporting Method for Sequence Controller Programming. | Yongil Shin, Atsushi Ohnishi |
| 1999 | APSEC | A Visual Programming Method for Developing Sequence Controller Programs. | Atsushi Ohnishi, Yongil Shin |
| 1999 | APSEC | A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications. | Hideaki Sugimoto, Atsushi Ohnishi |
| 1997 | APSEC | Software Requirements Definition for Specification Database. | Atsushi Ohnishi |
| 1997 | COMPSAC | Visual software requirements definition environment. | Atsushi Ohnishi, Norihiro Tokuda |
| 1995 | APSEC | CARD: An Environment for Software Requirements Definition. | Atsushi Ohnishi |
| 1994 | COMPSAC | Customizable software requirements languages. | Atsushi Ohnishi |
| 1994 | RE | A visual software requirements definition method. | Atsushi Ohnishi |
| 1993 | RE | CARD: a software requirements definition environment. | Atsushi Ohnishi, Kiyoshi Agusa |
| 1993 | SEKE | Visual Software Requirements Specification Language: VRDL. | Atsushi Ohnishi |
| 1982 | ICSE | Verification System for Formal Requirements Description. | Kiyoshi Agusa, Atsushi Ohnishi, Yutaka Ohno |