Hans van der Schoot

According to our database, Hans van der Schoot authored at least 6 papers between 1995 and 1998.

Collaborative distances:

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

1998

An Improvement of Partial-Order Verification.

Hans van der Schoot, Hasan Ural

Softw. Test. Verification Reliab., 1998

On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs.

Hans van der Schoot, Hasan Ural

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

1997

Data Flow Analysis of System Specifications in Lotos.

Hans van der Schoot, Hasan Ural

Int. J. Softw. Eng. Knowl. Eng., 1997

1996

Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?).

Hong Liu, Raymond E. Miller, Hans van der Schoot, Hasan Ural

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995

Data Flow Oriented Test Selection for Lotos.

Hans van der Schoot, Hasan Ural

Comput. Networks ISDN Syst., 1995

Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract).

Hans van der Schoot, Hasan Ural

Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995