Conference paperVerifying the consistency of security policies by abstracting into security typesKouichi Ono, Yuichi Nakamura, et al.ICWS 2007
Conference paperCoarse-grained simulation method for performance evaluation a of shared memory systemRyo Kawahara, Kenta Nakamura, et al.ASP-DAC 2011
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