Computer Software

Paper

01 Dec 2000

A security model for mobile agent framework aglets

Review

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

Kouichi Ono, Ryo Kawahara, et al.

Computer Software

Conference paper

Coarse-grained simulation method for performance evaluation a of shared memory system

Ryo Kawahara, Kenta Nakamura, et al.

ASP-DAC 2011

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