Hans van der Schoot

	1998
6		Hans van der Schoot, Hasan Ural: On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs. ICDCS 1998: 130-137
5		Hans van der Schoot, Hasan Ural: An Improvement of Partial-Order Verification. Softw. Test., Verif. Reliab. 8(2): 83-102 (1998)
	1997
4		Hans van der Schoot, Hasan Ural: Data Flow Analysis of System Specifications in Lotos. International Journal of Software Engineering and Knowledge Engineering 7(1): 43-68 (1997)
	1996
3		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: 605-612
	1995
2		Hans van der Schoot, Hasan Ural: Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract). PODC 1995: 267
1		Hans van der Schoot, Hasan Ural: Data Flow Oriented Test Selection for Lotos. Computer Networks and ISDN Systems 27(7): 1111-1136 (1995)

Coauthor Index

1	Hong Liu	[3]
2	Raymond E. Miller	[3]
3	Hasan Ural	[1] [2] [3] [4] [5] [6]