ReviewA modeling method for performance evaluation of embedded software by eliminating execution tracesKouichi Ono, Ryo Kawahara, et al.Computer Software
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
PaperA dynamic verification method of executable UML/SysML models with timed-functional constraintsKouichi Ono, Hiroaki Nakamura, et al.Computer Software