| CTL* model checking on a shared-memory architecture CP Inggs, H Barringer Formal Methods in System Design 29 (2), 135-155, 2006 | 32 | 2006 |
| Effective state exploration for model checking on a shared memory architecture CP Inggs, H Barringer Electronic Notes in Theoretical Computer Science 68 (4), 605-620, 2002 | 31 | 2002 |
| CTL* model checking on a shared-memory architecture CP Inggs, H Barringer Electronic Notes in Theoretical Computer Science 128 (3), 107-123, 2005 | 14 | 2005 |
| The parallelisation of model checking C Inggs, H Barringer SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR …, 2002 | 7 | 2002 |
| Automated coverage calculation and test case generation GC Morrison, CP Inggs, WC Visser Proceedings of the South African Institute for Computer Scientists and …, 2012 | 6 | 2012 |
| Parallel model checking on shared-memory multiprocessors CP Inggs PQDT-Global, 2004 | 6 | 2004 |
| Monte-carlo tree search parallelisation for computer go F Van Niekerk, GJ van Rooyen, S Kroon, CP Inggs Proceedings of the South African Institute for Computer Scientists and …, 2012 | 5 | 2012 |
| Test-case generation and bug-finding through symbolic execution WHK Bester, CP Inggs, WC Visser Proceedings of the South African Institute for Computer Scientists and …, 2012 | 3 | 2012 |
| MCTS Parallelisation F van Niekerk, GJ van Rooyen, S Kroon, C Inggs Engineering final year project, Stellenbosch University, 2011 | 1 | 2011 |
| Improving communication for distributed model checking J Fourie, J Geldenhuys, C Inggs Proceedings of the South African Institute for Computer Scientists and …, 2012 | | 2012 |
| An LTL verification system based on automata theory CP Inggs, C Van Wyk Stellenbosch: Stellenbosch University, 1999 | | 1999 |
