| 2001 |
|---|
| 6 | EE | Tatsuhiro Tsuchiya,
Shin'ichi Nagano,
Rohayu Bt Paidi,
Tohru Kikuno:
Symbolic Model Checking for Self-Stabilizing Algorithms.
IEEE Trans. Parallel Distrib. Syst. 12(1): 81-95 (2001) |
| 1998 |
|---|
| 5 | EE | Shin'ichi Nagano,
Hiroyuki Fujita,
Yoshiaki Kakuda,
Tohru Kikuno:
Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols.
Asian Test Symposium 1998: 408-412 |
| 4 | EE | Yoshiaki Kakuda,
Shin'ichi Nagano,
Tohru Kikuno,
Masahiro Terabe:
VP Reservation for Rapid Restoration Using Multiagents.
ICECCS 1998: 121-128 |
| 3 | EE | Shin'ichi Nagano,
Yoshiaki Kakuda,
Tohru Kikuno:
Experience of Responsiveness Verification for Connection Establishment Protocols.
ISORC 1998: 383- |
| 2 | EE | Shin'ichi Nagano,
Tohru Kikuno:
Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols.
RTCSA 1998: 195-199 |
| 1996 |
|---|
| 1 | EE | Shin'ichi Nagano,
Yoshinori Hatakeyama,
Yoshiaki Kakuda,
Tohru Kikuno:
Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation.
ICNP 1996: 92- |
