Shin'ichi Nagano

According to our database, Shin'ichi Nagano authored at least 6 papers between 1996 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2001

Symbolic Model Checking for Self-Stabilizing Algorithms.

Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno

IEEE Trans. Parallel Distributed Syst., 2001

1998

Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols.

Shin'ichi Nagano, Tohru Kikuno

Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998

Experience of Responsiveness Verification for Connection Establishment Protocols.

Shin'ichi Nagano, Yoshiaki Kakuda, Tohru Kikuno

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

VP Reservation for Rapid Restoration Using Multiagents.

Yoshiaki Kakuda, Shin'ichi Nagano, Tohru Kikuno, Masahiro Terabe

Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 1998

Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols.

Shin'ichi Nagano, Hiroyuki Fujita, Yoshiaki Kakuda, Tohru Kikuno

Proceedings of the 7th Asian Test Symposium (ATS '98), 2-4 December 1998, Singapore, 1998

1996

Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation.

Shin'ichi Nagano, Yoshinori Hatakeyama, Yoshiaki Kakuda, Tohru Kikuno

Proceedings of the 1996 International Conference on Network Protocols, 1996