Computer Software

Paper

01 Dec 2000

A security model for mobile agent framework aglets

Conference paper

Automated Testing of COBOL to Java Transformation

Sandeep Hans, Atul Kumar, et al.

FSE 2025

Review

A modeling method for performance evaluation of embedded software by eliminating execution traces

Kouichi Ono, Ryo Kawahara, et al.

Computer Software

Conference paper

Verifying the consistency of security policies by abstracting into security types

Kouichi Ono, Yuichi Nakamura, et al.

ICWS 2007

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