Suguru Sasaki

According to our database, Suguru Sasaki authored at least 2 papers between 2004 and 2006.

Collaborative distances:

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

2006

A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata.

Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino

Int. J. Found. Comput. Sci., 2006

2004

A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata.

Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004