Follow
Cornelia P. Inggs
Cornelia P. Inggs
Computer Science Division, Stellenbosch University
Verified email at cs.sun.ac.za
Title
Cited by
Cited by
Year
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
342002
CTL* model checking on a shared-memory architecture
CP Inggs, H Barringer
Formal Methods in System Design 29, 135-155, 2006
312006
CTL* model checking on a shared-memory architecture
CP Inggs, H Barringer
Electronic Notes in Theoretical Computer Science 128 (3), 107-123, 2005
182005
Automated coverage calculation and test case generation
GC Morrison, CP Inggs, WC Visser
Proceedings of the South African Institute for Computer Scientists and …, 2012
92012
On the parallelisation of model checking
C Inggs, H Barringer
host publication, 2002
92002
Parallel model checking on shared-memory multiprocessors
CP Inggs
PQDT-Global, 2004
72004
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
52012
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
42012
MCTS Parallelisation
F van Niekerk, GJ van Rooyen, S Kroon, C Inggs
Engineering final year project, Stellenbosch University, 2011
12011
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
The system can't perform the operation now. Try again later.
Articles 1–11