An Algebraic Approach to the Disjunction Property of Substructural Logics. - Daisuke Souma (Notre Dame J. Formal Log., 2007)

Minimal subvarieties of involutive residuated lattices. - Daisuke Souma (Reports Math. Log., 2011)

Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++. - Nguyen Van Tang; Daisuke Souma; Goro Hatayama; Hitoshi Ohsaki (VSTTE, 2012)

Linking Traceability with GSN. - Kenji Taguchi 001; Daisuke Souma; Hideaki Nishihara; Toshinori Takai (ISSRE Workshops, 2014)

Safe & Sec Case Patterns. - Kenji Taguchi 001; Daisuke Souma; Hideaki Nishihara (SAFECOMP Workshops, 2015)

Detailed Analysis of Security Evaluation of Automotive Systems Based on JASO TP15002. - Yasuyuki Kawanishi; Hideaki Nishihara; Daisuke Souma; Hirotaka Yoshida (SAFECOMP Workshops, 2017)

A Study on Quantitative Risk Assessment Methods in Security Design for Industrial Control Systems. - Yasuyuki Kawanishi; Hideaki Nishihara; Daisuke Souma; Hirotaka Yoshida; Yoichi Hata (DASC/PiCom/DataCom/CyberSciTech, 2018)

Counter Attacks for Bus-off Attacks. - Daisuke Souma; Akira Mori; Hideki Yamamoto; Yoichi Hata (SAFECOMP Workshops, 2018)

A Comparative Study of JASO TP15002-Based Security Risk Assessment Methods for Connected Vehicle System Design. - Yasuyuki Kawanishi; Hideaki Nishihara; Daisuke Souma; Hirotaka Yoshida; Yoichi Hata (Secur. Commun. Networks, 2019)

On Validating Attack Trees with Attack Effects. - Hideaki Nishihara; Yasuyuki Kawanishi; Daisuke Souma; Hirotaka Yoshida (SAFECOMP, 2020)

On Validating Attack Trees with Attack Effects: An Approach from Barwise-Seligman's Channel Theory. - Hideaki Nishihara; Yasuyuki Kawanishi; Daisuke Souma; Hirotaka Yoshida (CoRR, 2022)