Cornelia P. Inggs

Cornelia P. Inggs

Stellenbosch University - Stellenbosch / South Africa
Engineering & Technology / Computer Science
AD Scientific Index ID: 4643709
University of Stellenbosch
person_outline Cornelia P. Inggs's MOST POPULAR ARTICLES
1-) Effective state exploration for model checking on a shared memory architectureCP Inggs, H BarringerElectronic Notes in Theoretical Computer Science 68 (4), 605-620, 2002332002
2-) CTL* model checking on a shared-memory architectureCP Inggs, H BarringerFormal Methods in System Design 29, 135-155, 2006312006
3-) CTL* model checking on a shared-memory architectureCP Inggs, H BarringerElectronic Notes in Theoretical Computer Science 128 (3), 107-123, 2005172005
4-) Automated coverage calculation and test case generationGC Morrison, CP Inggs, WC VisserProceedings of the South African Institute for Computer Scientists and …, 2012102012
5-) On the parallelisation of model checkingC Inggs, H Barringerhost publication, 200292002