| |
| 1998 | ||
|---|---|---|
| 6 | EE | 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 | EE | 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 | EE | Hans van der Schoot, Hasan Ural: Data Flow Oriented Test Selection for Lotos. Computer Networks and ISDN Systems 27(7): 1111-1136 (1995) |
| 1 | Hong Liu | [3] |
| 2 | Raymond E. Miller | [3] |
| 3 | Hasan Ural | [1] [2] [3] [4] [5] [6] |