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
PaperGenerating transformational annotation for web document adaptation: Tool support and empirical evaluationMasahiro Hori, Kouichi Ono, et al.Web Semantics
PaperA dynamic verification method of executable UML/SysML models with timed-functional constraintsKouichi Ono, Hiroaki Nakamura, et al.Computer Software
