Effective State Exploration for Model Checking on a Shared Memory Architecture. - Cornelia P. Inggs; Howard Barringer (PDMC@CONCUR, 2002)

CTL* Model Checking on a Shared-Memory Architecture. - Cornelia P. Inggs; Howard Barringer (PDMC, 2004)

Test-case generation and bug-finding through symbolic execution. - Willem Bester; Cornelia P. Inggs; Willem Visser (SAICSIT, 2012)

Improving communication for distributed model checking. - Jean Fourie; Jaco Geldenhuys; Cornelia P. Inggs (SAICSIT, 2012)

Automated coverage calculation and test case generation. - G. C. Morrison; Cornelia P. Inggs; Willem Visser (SAICSIT, 2012)

Monte-Carlo tree search parallelisation for computer go. - Francois van Niekerk; Gert-Jan van Rooyen; Steve Kroon; Cornelia P. Inggs (SAICSIT, 2012)

Learning Concurrency Concepts while Playing Games. - Cornelia P. Inggs; Taun Gadd; Justin Giffard (CSEDU (1), 2017)