 | 2009 |
|---|
| 11 |       | Jaco Geldenhuys,
Henri Hansen,
Antti Valmari:
Exploring the Scope for Partial Order Reduction.
ATVA 2009: 39-53 |
| 2008 |
|---|
| 10 | | Heikki Orsila,
Jaco Geldenhuys,
Anna Ruokonen,
Imed Hammouda:
Update Propagation Practices in Highly Reusable Open Source Components.
OSS 2008: 159-170 |
| 9 | | Henri Hansen,
Jaco Geldenhuys:
Cheap and Small Counterexamples.
SEFM 2008: 53-62 |
| 2006 |
|---|
| 8 | | Jaco Geldenhuys,
Henri Hansen:
Larger Automata and Less Work for LTL Model Checking.
SPIN 2006: 53-70 |
| 2005 |
|---|
| 7 | | Jaco Geldenhuys,
Antti Valmari:
More efficient on-the-fly LTL verification with Tarjan's algorithm.
Theor. Comput. Sci. 345(1): 60-82 (2005) |
| 2004 |
|---|
| 6 | | Jaco Geldenhuys:
State Caching Reconsidered.
SPIN 2004: 23-38 |
| 5 | | Jaco Geldenhuys,
Antti Valmari:
Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient.
TACAS 2004: 205-219 |
| 2003 |
|---|
| 4 | | Jaco Geldenhuys,
Antti Valmari:
A Nearly Memory-Optimal Data Structure for Sets and Mappings.
SPIN 2003: 136-150 |
| 2001 |
|---|
| 3 | | Jaco Geldenhuys,
Antti Valmari:
Techniques for Smaller Intermediary BDDs.
CONCUR 2001: 233-247 |
| 1999 |
|---|
| 2 | | Jaco Geldenhuys,
P. J. A. de Villiers:
Runtime Efficient State Compaction in SPIN.
SPIN 1999: 12-21 |
| 1995 |
|---|
| 1 | | Andries Petrus Engelbrecht,
Ian Cloete,
Jaco Geldenhuys,
Jacek M. Zurada:
Automatic Scaling using Gamma Learning for Feedforward Neural Networks.
IWANN 1995: 374-381 |
