Conference paperVerifying the consistency of security policies by abstracting into security typesKouichi Ono, Yuichi Nakamura, et al.ICWS 2007
Conference paperAutomated Testing of COBOL to Java TransformationSandeep Hans, Atul Kumar, et al.FSE 2025
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