Computer Software

Paper

01 Dec 2000

A security model for mobile agent framework aglets

Conference paper

Verifying the consistency of security policies by abstracting into security types

Kouichi Ono, Yuichi Nakamura, et al.

ICWS 2007

Paper

Generating transformational annotation for web document adaptation: Tool support and empirical evaluation

Masahiro Hori, Kouichi Ono, et al.

Web Semantics

Conference paper

Automated Testing of COBOL to Java Transformation

Sandeep Hans, Atul Kumar, et al.

FSE 2025

Paper

A dynamic verification method of executable UML/SysML models with timed-functional constraints

Kouichi Ono, Hiroaki Nakamura, et al.

Computer Software

View all publications