| 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 | 34 | 2002 |
| CTL* model checking on a shared-memory architecture CP Inggs, H Barringer Formal Methods in System Design 29, 135-155, 2006 | 30 | 2006 |
| CTL* model checking on a shared-memory architecture CP Inggs, H Barringer Electronic Notes in Theoretical Computer Science 128 (3), 107-123, 2005 | 19 | 2005 |
| Automated coverage calculation and test case generation GC Morrison, CP Inggs, WC Visser Proceedings of the South African Institute for Computer Scientists and …, 2012 | 10 | 2012 |
| On the parallelisation of model checking C Inggs, H Barringer host publication, 2002 | 9 | 2002 |
| Parallel model checking on shared-memory multiprocessors CP Inggs PQDT-Global, 2004 | 7 | 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 | 4 | 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 |
