| 2025 | SAFECOMP | Alignment of SOTIF and Scenario-Based Safety Evaluation Framework. | Ikue Warren, Kenji Taguchi, Sou Kitajima, Hiroki Nakamura, Tomoyoshi Murata |
| 2021 | SAFECOMP | Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600. | Kenji Taguchi, Fuyuki Ishikawa |
| 2020 | SAFECOMP | Threat Analysis Framework for Safety Architectures in SCDL. | Kenji Taguchi, Ryo Kurachi, Kiyoshi Sasaki, Nobuhiko Nakamura, Kazuki Tomonaga, Shuhei Yamashita |
| 2018 | SAFECOMP | Comparing Risk Identification in Hazard Analysis and Threat Analysis. | Hideaki Nishihara, Kenji Taguchi |
| 2015 | SAFECOMP | Safe & Sec Case Patterns. | Kenji Taguchi, Daisuke Souma, Hideaki Nishihara |
| 2014 | ISSRE | Linking Traceability with GSN. | Kenji Taguchi, Daisuke Souma, Hideaki Nishihara, Toshinori Takai |
| 2013 | COMPSAC | Building a Body of Knowledge on Model Checking for Software Development. | Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki |
| 2012 | APSEC | On Accelerating SMT-based Bounded Model Checking of HSTM Designs. | Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda |
| 2008 | ICFEM | Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. | Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang |
| 2007 | ICSE | Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan. | Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Hironori Washizaki |
| 2004 | ICECCS | Relating pi-calculus to Object-Z. | Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu |
| 2002 | ICFEM | An Overview of Mobile Object-Z. | Kenji Taguchi, Jin Song Dong |
| 2000 | APSEC | Formal specification of Catalysis frameworks. | Juliana Kster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills |
| 1998 | ICFEM | A Calculus Based on the Agent-Place Model. | Kenji Taguchi, Keijiro Araki |
| 1997 | ICFEM | The State-Based CCS Semantics for Concurrent Z Specification. | Kenji Taguchi, Keijiro Araki |
| 1996 | COMPSAC | Extending Z with State Transition Constraints. | Kenji Taguchi, Keijiro Araki |