Shin'ichi Nagano

Publication Activity (10 Years)

Years Active: 1996-2001
Publications (10 Years): 0

Publications

Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno
Symbolic Model Checking for Self-Stabilizing Algorithms. IEEE Trans. Parallel Distributed Syst. 12 (1) (2001)
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)
Shin'ichi Nagano, Yoshiaki Kakuda, Tohru Kikuno
Experience of Responsiveness Verification for Connection Establishment Protocols. ISORC (1998)
Shin'ichi Nagano, Tohru Kikuno
Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols. RTCSA (1998)
Yoshiaki Kakuda, Shin'ichi Nagano, Tohru Kikuno, Masahiro Terabe
VP Reservation for Rapid Restoration Using Multiagents. ICECCS (1998)
Shin'ichi Nagano, Yoshinori Hatakeyama, Yoshiaki Kakuda, Tohru Kikuno
Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation. ICNP (1996)