Cornelia P. Inggs

According to our database, Cornelia P. Inggs authored at least 7 papers between 2002 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Learning Concurrency Concepts while Playing Games.

Cornelia P. Inggs, Taun Gadd, Justin Giffard

Proceedings of the CSEDU 2017, 2017

2012

Monte-Carlo tree search parallelisation for computer go.

Francois van Niekerk, Gert-Jan van Rooyen, Steve Kroon, Cornelia P. Inggs

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

Automated coverage calculation and test case generation.

G. C. Morrison, Cornelia P. Inggs, Willem Visser

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

Improving communication for distributed model checking.

Jean Fourie, Jaco Geldenhuys, Cornelia P. Inggs

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

Test-case generation and bug-finding through symbolic execution.

Willem Bester, Cornelia P. Inggs, Willem Visser

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

2004

CTL^* Model Checking on a Shared-Memory Architecture.

Cornelia P. Inggs, Howard Barringer

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

2002

Effective State Exploration for Model Checking on a Shared Memory Architecture.

Cornelia P. Inggs, Howard Barringer

Proceedings of the Parallel and Distributed Model Checking, 2002