Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract). - Hans van der Schoot; Hasan Ural (PODC, 1995)

Data Flow Oriented Test Selection for Lotos. - Hans van der Schoot; Hasan Ural (Comput. Networks ISDN Syst., 1995)

Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?). - Hong Liu 004; Raymond E. Miller; Hans van der Schoot; Hasan Ural (ICDCS, 1996)

Data Flow Analysis of System Specifications in Lotos. - Hans van der Schoot; Hasan Ural (Int. J. Softw. Eng. Knowl. Eng., 1997)

On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs. - Hans van der Schoot; Hasan Ural (ICDCS, 1998)

An Improvement of Partial-Order Verification. - Hans van der Schoot; Hasan Ural (Softw. Test. Verification Reliab., 1998)