| 2019 | FASE | Tool Support for Correctness-by-Construction. | Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thm, Derrick G. Kourie, Bruce W. Watson |
| 2018 | ISoLA | Towards Confidentiality-by-Construction. | Ina Schaefer, Tobias Runge, Alexander Knppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson |
| 2016 | ISoLA | Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families. | Loek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson |
| 2016 | ISoLA | Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? | Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas |
| 2012 | IWOCA | A Sequential Recursive Implementation of Dead-Zone Single Keyword Pattern Matching. | Bruce W. Watson, Derrick G. Kourie, Tinus Strauss |
| 2010 | ICSE | Software engineering in South Africa. | Derrick G. Kourie, Bruce W. Watson |
| 2009 | ICFCA | FCA-Based Two Dimensional Pattern Matching. | Fritz Venter, Derrick G. Kourie, Bruce W. Watson |
| 2008 | SoMeT | An Algorithm for Ordering Refactorings Based on Fine-Grained Model Transformations. | Emmad Saadeh, Derrick G. Kourie, Andrew Boake |
| 2006 | AICCSA | Refactoring Tools and Complementary Techniques. | Martin Drozdz, Derrick G. Kourie, Bruce W. Watson, Andrew Boake |
| 2006 | ICCS | Karl Popper's Critical Rationalism in Agile Software Development. | Mandy Northover, Andrew Boake, Derrick G. Kourie |
| 2006 | ICCS | On Lattices in Access Control Models. | Sergei A. Obiedkov, Derrick G. Kourie, Jan H. P. Eloff |
| 2004 | ICFCA | AddIntent: A New Incremental Algorithm for Constructing Concept Lattices. | Dean van der Merwe, Sergei A. Obiedkov, Derrick G. Kourie |
| 1998 | AMTA | Sentence Analysis Using a Concept Lattice. | Lebelo Serutla, Derrick G. Kourie |
| 1998 | CC | Issues in Translating Smalltalk into Java. | R. L. Engelbrecht, Derrick G. Kourie |