 | 2009 |
|---|
| 13 |       | Jing Cao,
Albert Nymeyer:
Formally Synthesising a Protocol Converter: A Case Study.
CIAA 2009: 249-252 |
| 12 | | Thang H. Bui,
Albert Nymeyer:
Formal Verification Based on Guided Random Walks.
IFM 2009: 72-87 |
| 2006 |
|---|
| 11 | | Kairong Qian,
Albert Nymeyer:
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis.
Electr. Notes Theor. Comput. Sci. 149(2): 33-49 (2006) |
| 2005 |
|---|
| 10 | | Kairong Qian,
Albert Nymeyer,
Steven Susanto:
Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis.
FORTE 2005: 275-289 |
| 9 | | Kairong Qian,
Albert Nymeyer,
Steven Susanto:
Experiments with Multiple Abstraction Heuristics in Symbolic Verification.
SARA 2005: 290-304 |
| 2004 |
|---|
| 8 | | Kairong Qian,
Albert Nymeyer:
Abstraction-Based Model Checking Using Heuristical Refinement.
ATVA 2004: 165-178 |
| 7 | | Kairong Qian,
Albert Nymeyer:
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases.
TACAS 2004: 497-511 |
| 2003 |
|---|
| 6 | | Albert Nymeyer,
Kairong Qian:
Heuristic Search Algorithms Based on Symbolic Data Structures.
Australian Conference on Artificial Intelligence 2003: 966-979 |
| 2000 |
|---|
| 5 | | Joost-Pieter Katoen,
Albert Nymeyer:
Pattern-matching algorithms based on term rewrite systems.
Theor. Comput. Sci. 238(1-2): 439-464 (2000) |
| 1997 |
|---|
| 4 |  | Albert Nymeyer,
Joost-Pieter Katoen:
Code Generation Based on Formal BURS Therory and Heuristic Search.
Acta Inf. 34(8): 597-635 (1997) |
| 1996 |
|---|
| 3 | | Albert Nymeyer,
Joost-Pieter Katoen,
Ymte Westra,
Henk Alblas:
Code Generation = A* + BURS.
CC 1996: 160-176 |
| 1995 |
|---|
| 2 | | Albert Nymeyer:
A Grammatical Specification of Human-Computer Dialogue.
Comput. Lang. 21(1): 1-16 (1995) |
| 1 | | Albert Nymeyer:
Backtracking non-deterministic recognizers.
J. Prog. Lang. 3(4): (1995) |
