論文誌
[1] Takeshi Nagaoka, Eigo Nagai, Kozo Okano, and Shinji Kusumoto, "Stepwise Approach to Design of Real-Time Systems Based Uml/Ocl with Formal Verification," International Journal of Informatics Society (IJIS), volume 1, number 2, pages 37-44 September 2009.
国際会議
[1] Hiraoki Shimba, Takafumi Ohta, Hiroki Onoue, Kozo Okano, and Shinji Kusumoto, "Formal Verification Technique for Consistency Checking between Equals and Hashcode Methods in Java," In IWIN2014, September 2014.
[2] Kiyoyuki Miyazawa, Kozo Okano, and Shinji Kusumoto, "Lasp - a Learning Assistant System for Formal Proof," In International Workshop on INformatics, IWIN 2011, pages 158-165 September 2011.
[3] Takeshi Nagaoka, Kozo Okano, and Shinji Kusumoto, "Stepwise Approach to Design of Real-Time Systems Based Uml/Ocl with Formal Verification," In Proceedings of International Workshop on Informatics, pages 98-105 September 2008.
国内会議(査読付き)
[1] 宮澤清介, 岡野浩三, 楠本真二 , "フォーマルアプローチの基本技術習得のための学習支援システムの試作," ソフトウェアエンジニアリング最前線2009, pages 69-74 2009年9月.
学位論文
[1] 榛葉 浩章, "JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査," 修士学位論文, 大阪大学, 2014年.
[2] Yuko Muto, "Variable Coverage: a Metric to Evaluate the Exhaustiveness for Program Specifications Based on Dbc," Master thesis, Osaka University, 2012.