Hans van der Schoot

Publication Activity (10 Years)

Years Active: 1995-1998
Publications (10 Years): 0

Publications

Hans van der Schoot, Hasan Ural
An Improvement of Partial-Order Verification. Softw. Test. Verification Reliab. 8 (2) (1998)
Hans van der Schoot, Hasan Ural
On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs. ICDCS (1998)
Hans van der Schoot, Hasan Ural
Data Flow Analysis of System Specifications in Lotos. Int. J. Softw. Eng. Knowl. Eng. 7 (1) (1997)
Hong Liu, Raymond E. Miller, Hans van der Schoot, Hasan Ural
Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?). ICDCS (1996)
Hans van der Schoot, Hasan Ural
Data Flow Oriented Test Selection for Lotos. Comput. Networks ISDN Syst. 27 (7) (1995)
Hans van der Schoot, Hasan Ural
Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract). PODC (1995)