Conference paperVerifying the consistency of security policies by abstracting into security typesKouichi Ono, Yuichi Nakamura, et al.ICWS 2007
ReviewA modeling method for performance evaluation of embedded software by eliminating execution tracesKouichi Ono, Ryo Kawahara, et al.Computer Software
Conference paperAutomated Testing of COBOL to Java TransformationSandeep Hans, Atul Kumar, et al.FSE 2025