| 2004 |
|---|
| 14 | EE | Judith Zimmermann,
Zsuzsanna Lipták,
Scott Hazelhurst:
A Method for Evaluating the Quality of String Dissimilarity Measures and Clustering Algorithms for EST Clustering.
BIBE 2004: 301-309 |
| 13 | | Scott Hazelhurst:
Generating and model checking a hierarchy of abstract models.
South African Computer Journal 32: 53-68 (2004) |
| 12 | | Scott Hazelhurst:
Semantics, implementation and performance of dynamic access lists for TCP/IP packet filtering.
South African Computer Journal 33: 38-51 (2004) |
| 2002 |
|---|
| 11 | EE | Scott Hazelhurst,
Osnat Weissberg,
Gila Kamhi,
Limor Fix:
A hybrid verification approach: getting deep into the design.
DAC 2002: 111-116 |
| 2001 |
|---|
| 10 | EE | Raymond Sinnappan,
Scott Hazelhurst:
A Reconfigurable Approach to Packet Filtering.
FPL 2001: 638-642 |
| 9 | EE | Scott Hazelhurst:
A Proposal for Dynamic Access Lists for TCP/IP Packet Filering
CoRR cs.NI/0110013: (2001) |
| 8 | EE | Scott Hazelhurst:
Viewpoint: Developing IT skills internationally: who's developing whom?.
Commun. ACM 44(7): 27-28 (2001) |
| 2000 |
|---|
| 7 | EE | Scott Hazelhurst,
Adi Attar,
Raymond Sinnappan:
Algorithms for Improving the Dependability of Firewall and Filter Rule Lists.
DSN 2000: 576-585 |
| 6 | EE | Scott Hazelhurst:
Algorithms for Analysing Firewall and Router Access Lists
CoRR cs.NI/0008006: (2000) |
| 1999 |
|---|
| 5 | EE | Yinong Chen,
Vashti Galpin,
Scott Hazelhurst,
Roger Mateer,
Conrad Mueller:
Development of a Decentralized Virtual Service Redirector for Internet Applications.
FTDCS 1999: 235-241 |
| 4 | EE | Scott Hazelhurst,
Carl-Johan H. Seger:
Model Checking Lattices: Using and reasoning about information orders for abstraction.
Logic Journal of the IGPL 7(3): 375-411 (1999) |
| 1997 |
|---|
| 3 | | Scott Hazelhurst,
Carl-Johan H. Seger:
Symbolic Trajectory Evaluation.
Formal Hardware Verification 1997: 3-78 |
| 1995 |
|---|
| 2 | EE | Scott Hazelhurst,
Carl-Johan H. Seger:
A simple theorem prover based on symbolic trajectory evaluation and BDD's.
IEEE Trans. on CAD of Integrated Circuits and Systems 14(4): 413-422 (1995) |
| 1994 |
|---|
| 1 | | Scott Hazelhurst,
Carl-Johan H. Seger:
Composing Symbolic Trajectory Evaluation Results.
CAV 1994: 273-285 |
