Steven Susanto

According to our database, Steven Susanto authored at least 2 papers in 2005.

Collaborative distances:

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

2005

Experiments with Multiple Abstraction Heuristics in Symbolic Verification.

Kairong Qian, Albert Nymeyer, Steven Susanto

Proceedings of the Abstraction, 2005

Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis.

Kairong Qian, Albert Nymeyer, Steven Susanto

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005