Derrick G. Kourie

Publication Activity (10 Years)

Years Active: 1987-2021
Publications (10 Years): 8

Top Topics

Deterministic Finite Automata

Pattern Matching

Top Venues

South Afr. Comput. J.

Publications

Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
Tool Support for Correctness-by-Construction. Software Engineering (2021)
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
Tool Support for Correctness-by-Construction. FASE (2019)
Derrick G. Kourie, Tinus Strauss, Loek Cleophas, Bruce W. Watson
Using CSP to Develop Quality Concurrent Software. Principled Software Development (2018)
Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson
Towards Confidentiality-by-Construction. ISoLA (1) (2018)
Tinus Strauss, Bruce W. Watson, Derrick G. Kourie, Loek Cleophas
CSP for Parallelising Brzozowski's DFA Construction Algorithm. The Role of Theory in Computer Science (2017)
Madoda Nxumalo, Derrick G. Kourie, Loek Cleophas, Bruce W. Watson
An Assessment of Algorithms for Deriving Failure Deterministic Finite Automata. South Afr. Comput. J. 29 (1) (2017)
Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas
Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? ISoLA (1) (2016)
Loek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson
Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families. ISoLA (1) (2016)
Madoda Nxumalo, Derrick G. Kourie, Loek G. Cleophas, Bruce W. Watson
An Aho-Corasick Based Assessment of Algorithms Generating Failure Deterministic Finite Automata. CLA (2015)
Bruce W. Watson, Derrick G. Kourie, Loek G. Cleophas
Quantum Leap Pattern Matching. Stringology (2015)
Bruce W. Watson, Derrick G. Kourie, Loek G. Cleophas
Experience with correctness-by-construction. Sci. Comput. Program. 97 (2015)
Daniel Acton, Derrick G. Kourie, Bruce W. Watson
Quality in software development: a pragmatic approach using metrics. South Afr. Comput. J. 52 (2014)
Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson
Weak factor automata: the failure of failure factor oracles? South Afr. Comput. J. 53 (2014)
Tinus Strauss, Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas
A Process-Oriented Implementation of Brzozowski's DFA Construction Algorithm. Stringology (2014)
Bernardt Duvenhage, Kadi Bouatouch, Derrick G. Kourie
Light Beam Tracing for Multi-Bounce Specular and Glossy Transport Paths. SAICSIT (2014)
Derrick G. Kourie, Bruce W. Watson, Tinus Strauss, Loek G. Cleophas, Melanie Mauch
Empirically Assessing Algorithm Performance. SAICSIT (2014)
Bruce W. Watson, Loek G. Cleophas, Derrick G. Kourie
Using Correctness-by-Construction to Derive Dead-zone Algorithms. Stringology (2014)
Bernardt Duvenhage, Kadi Bouatouch, Derrick G. Kourie
Numerical verification of bidirectional reflectance distribution functions for physical plausibility. SAICSIT (2013)
Emmad Saadeh, Derrick G. Kourie
Refactoring with Ordered Collections of Fine-Grain Transformations. Int. J. Softw. Eng. Knowl. Eng. 23 (3) (2013)
Corné de Ridder, Derrick G. Kourie, Bruce W. Watson, T. R. Fourie, P. V. Reyneke
Fine-tuning the search for microsatellites. J. Discrete Algorithms 20 (2013)
Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson
Weak Factor Automata: Comparing (Failure) Oracles and Storacles. Stringology (2013)
Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson
Efficient representation of DNA data for pattern recognition using failure factor oracles. SAICSIT (2013)
Fritz Venter, Bruce W. Watson, Derrick G. Kourie
Multiple Keyword Pattern Matching using Position Encoded Pattern Lattices. CLA (2012)
Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas, Fritz Venter
Failure Deterministic Finite Automata. Stringology (2012)
Costas S. Iliopoulos, Derrick G. Kourie, Laurent Mouchard, Themba K. Musombuka, Solon P. Pissis, Corné de Ridder
An algorithm for mapping short reads to a dynamically changing genomic sequence. J. Discrete Algorithms 10 (2012)
Bruce W. Watson, Derrick G. Kourie, Tinus Strauss
A Sequential Recursive Implementation of Dead-Zone Single Keyword Pattern Matching. IWOCA (2012)
Melanie Mauch, Derrick G. Kourie, Bruce W. Watson, Tinus Strauss
Performance assessment of dead-zone single keyword pattern matching. SAICSIT (2012)
Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas
On Compile Time Knuth-Morris-Pratt Precomputation. Stringology (2011)
Bernardt Duvenhage, Kadi Bouatouch, Derrick G. Kourie
Extending Backward Polygon Beam Tracing to Glossy Scattering Surfaces. Comput. Graph. Forum 30 (6) (2011)
Noud de Beijer, Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson
Improving Automata Efficiency by Stretching and Jamming. Stringology (2010)
A. Maciej Rossudowski, Hein S. Venter, Jan H. P. Eloff, Derrick G. Kourie
A security privacy aware architecture and protocol for a single smart card used for multiple services. Comput. Secur. 29 (4) (2010)
Linda Marshall, Derrick G. Kourie
Deriving a digraph isomorphism for digraph compliance measurement. SAICSIT (2010)
Bernardt Duvenhage, Kadi Bouatouch, Derrick G. Kourie
Exploring the use of glossy light volumes for interactive global illumination. Afrigraph (2010)
Vreda Pieterse, Derrick G. Kourie, Loek G. Cleophas, Bruce W. Watson
Performance of C++ bit-vector implementations. SAICSIT (2010)
Derrick G. Kourie, Bruce W. Watson
Software engineering in South Africa. ICSE (2) (2010)
Antony K. Cooper, Derrick G. Kourie, Serena Coetzee
Thoughts on Exploiting Instability in Lattices for Assessing the Discrimination Adequacy of a Taxonomy. CLA (2010)
Ernest Ketcha Ngassam, Bruce W. Watson, Derrick G. Kourie
Formal Characterizations of FA-based String Processors. Stringology (2010)
Ernest Ketcha Ngassam, Derrick G. Kourie, Bruce W. Watson
A framework for benchmarking FA-based string recognizers. SAICSIT (2010)
Derrick G. Kourie, D. Fick, Bruce W. Watson
Virtual machine framework for constructing domain-specific languages. IET Softw. 3 (1) (2009)
Gareth Nicholls, Derrick G. Kourie, Tinus Strauss
Sensitivity analysis of Voronoi-based sensor deployment and reconfiguration algorithms. South Afr. Comput. J. 43 (2009)
Sergei A. Obiedkov, Derrick G. Kourie, Jan H. P. Eloff
Building access control models with attribute exploration. Comput. Secur. 28 (1-2) (2009)
Emmad Saadeh, Derrick G. Kourie
Composite refactoring using fine-grained transformations. SAICSIT (2009)
Loek G. Cleophas, Derrick G. Kourie, Tinus Strauss, Bruce W. Watson
On Minimizing Deterministic Tree Automata. Stringology (2009)
Derrick G. Kourie, Sergei A. Obiedkov, Bruce W. Watson, Dean van der Merwe
An incremental algorithm to construct a lattice of set intersections. Sci. Comput. Program. 74 (3) (2009)
Pieter van Zyl, Derrick G. Kourie, Louis Coetzee, Andrew Boake
The influence of optimisations on the performance of an object relational mapping tool. SAICSIT (2009)
Wikus Coetser, Derrick G. Kourie, Bruce W. Watson
On Regular Expression Hashing to Reduce FA Size. Int. J. Found. Comput. Sci. 20 (6) (2009)
Fritz Venter, Derrick G. Kourie, Bruce W. Watson
FCA-Based Two Dimensional Pattern Matching. ICFCA (2009)
Emmad Saadeh, Derrick G. Kourie, Andrew Boake
An Algorithm for Ordering Refactorings Based on Fine-Grained Model Transformations. SoMeT (2008)
Iwan Vosloo, Derrick G. Kourie
Server-centric Web frameworks: An overview. ACM Comput. Surv. 40 (2) (2008)
Tinus Strauss, Derrick G. Kourie, Bruce W. Watson
A Concurrent Specification of Brzozowski's DFA Construction Algorithm. Int. J. Found. Comput. Sci. 19 (1) (2008)
Eckhard B. Kohlmeyer, Gerhard P. Hancke, Derrick G. Kourie
A Cross-Layer Approach Towards Efficiency Optimization of Wireless Sensor and Actor Networks. BroadCom (2008)
Tinus Strauss, Derrick G. Kourie, Bruce W. Watson
A Concurrent Specification of an Incremental DFA Minimisation Algorithm. Stringology (2008)
Wikus Coetser, Derrick G. Kourie, Bruce W. Watson
On Regular Expression Hashing to Reduce FA Size. Stringology (2008)
Tinus Strauss, Derrick G. Kourie, Martin S. Olivier
A comparison of simulated traffic conditioner performance. Comput. Commun. 31 (17) (2008)
Ernest Ketcha Ngassam, Derrick G. Kourie, Bruce W. Watson
On Implementation and Performance of Table-Driven DFA-Based String Processors. Int. J. Found. Comput. Sci. 19 (1) (2008)
Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson
A New CSP Operator for Optional Parallelism. CSSE (2) (2008)
Camille Roth, Sergei A. Obiedkov, Derrick G. Kourie
On Succinct Representation of Knowledge Community Taxonomies with Formal Concept Analysis. Int. J. Found. Comput. Sci. 19 (2) (2008)
Bruce W. Watson, Derrick G. Kourie, Tinus Strauss, Ernest Ketcha Ngassam, Loek G. Cleophas
Efficient Automata Constructions and Approximate Automata. Int. J. Found. Comput. Sci. 19 (1) (2008)
Riaan Klopper, Stefan Gruner, Derrick G. Kourie
Assessment of a framework to compare software development methodologies. SAICSIT (2007)
T. Botha, Derrick G. Kourie, Bruce W. Watson
A Word Game Support Tool Case Study. ARIMA J. 6 (2007)
Morkel Theunissen, Derrick G. Kourie, Andrew Boake
Corporate-, Agile- and Open Source Software Development: A Witch's Brew or An Elixir of Life?. CEE-SET (2007)
Derrick G. Kourie
Editorial. South Afr. Comput. J. 38 (2007)
Bernardt Duvenhage, Derrick G. Kourie
Migrating to a real-time distributed parallel simulator architecture. SCSC (2007)
Mandy Northover, Alan Northover, Stefan Gruner, Derrick G. Kourie, Andrew Boake
Agile software development: a contemporary philosophical perspective. SAICSIT (2007)
Bruce W. Watson, Derrick G. Kourie, Ernest Ketcha Ngassam, Tinus Strauss, Loek G. Cleophas
Efficient automata constructions and approximate automata. Stringology (2006)
Ernest Ketcha Ngassam, Derrick G. Kourie, Bruce W. Watson
On implementation and performance of table-driven DFA-based string processors. Stringology (2006)
Tinus Strauss, Derrick G. Kourie, Bruce W. Watson
A concurrent specification of Brzozowski's DFA construction algorithm. Stringology (2006)
T. Botha, Derrick G. Kourie, Bruce W. Watson
A word game support tool case study. South Afr. Comput. J. 36 (2006)
Ernest Ketcha Ngassam, Derrick G. Kourie, Bruce W. Watson
Performance of hardcoded finite automata. Softw. Pract. Exp. 36 (5) (2006)
Martin Drozdz, Derrick G. Kourie, Bruce W. Watson, Andrew Boake
Refactoring Tools and Complementary Techniques. AICCSA (2006)
Corné de Ridder, Derrick G. Kourie, Bruce W. Watson
FireµSat: An algorithm to detect microsatellites in DNA. Stringology (2006)
Tinus Strauss, Martin S. Olivier, Derrick G. Kourie
Logical Traffic Isolation Using Differentiated Services. IFIP Int. Conf. Digital Forensics (2006)
Vafa D. Izadinia, Derrick G. Kourie, Jan H. P. Eloff
Uncovering identities: A study into VPN tunnel fingerprinting. Comput. Secur. 25 (2) (2006)
Sergei A. Obiedkov, Derrick G. Kourie, Jan H. P. Eloff
On Lattices in Access Control Models. ICCS (2006)
Ernest Ketcha Ngassam, Bruce W. Watson, Derrick G. Kourie
Dynamic Allocation of Finite Automata States for Fast String Recognition. Int. J. Found. Comput. Sci. 17 (6) (2006)
Mandy Northover, Andrew Boake, Derrick G. Kourie
Karl Popper's Critical Rationalism in Agile Software Development. ICCS (2006)
Sadok Ben Yahia, Derrick G. Kourie, Engelbert Mephu Nguifo
Editorial introduction to special ARIMA / SACJ joint issue on advances in end-user data mining techniques. South Afr. Comput. J. 36 (2006)
Loek G. Cleophas, Bruce W. Watson, Derrick G. Kourie, Andrew Boake, Sergei A. Obiedkov
TABASCO: using concept-based taxonomies in domain engineering. South Afr. Comput. J. 37 (2006)
Camille Roth, Sergei A. Obiedkov, Derrick G. Kourie
Towards Concise Representation for Taxonomies of Epistemic Communities. CLA (2006)
Derrick G. Kourie
Editorial. South Afr. Comput. J. 35 (2005)
Vafa D. Izadinia, Jan H. P. Eloff, Derrick G. Kourie
Foiling an Attack - Defeating IPSec Tunnel Fingerprinting. ISSA (2005)
Derrick G. Kourie
Editorial. South Afr. Comput. J. 34 (2005)
Ernest Ketcha Ngassam, Derrick G. Kourie, Bruce W. Watson
Reordering finite automata states for fast string recognition. Stringology (2005)
Ernest Ketcha Ngassam, Bruce W. Watson, Derrick G. Kourie
A framework for the dynamic implementation of finite automata for performance enhancement. Int. J. Found. Comput. Sci. 16 (6) (2005)
Dean van der Merwe, Sergei A. Obiedkov, Derrick G. Kourie
AddIntent: A New Incremental Algorithm for Constructing Concept Lattices. ICFCA (2004)
Ernest Ketcha Ngassam, Bruce W. Watson, Derrick G. Kourie
A Framework for the Dynamic Implementation of Finite Automata for Performance Enhancement. Stringology (2004)
Vreda Pieterse, Derrick G. Kourie, Andrew Boake
Literate Programming to Enhance Agile Methods. XP (2004)
G. Barla-Szabo, Bruce W. Watson, Derrick G. Kourie
Taxonomy of directed graph representations. IEE Proc. Softw. 151 (6) (2004)
Derrick G. Kourie
Editorial. South Afr. Comput. J. 31 (2003)
R. L. Engelbrecht, Derrick G. Kourie
Translating smalltalk blocks into Java. IEE Proc. Softw. 150 (3) (2003)
Ernest Ketcha Ngassam, Bruce W. Watson, Derrick G. Kourie
Preliminary Experiments in Hardcoding Finite Automata. CIAA (2003)
Derrick G. Kourie
Editorial notes. South Afr. Comput. J. 28 (2002)
F. J. Van Der Merwe, Derrick G. Kourie
Compressed pseudo-lattices. J. Exp. Theor. Artif. Intell. 14 (2-3) (2002)
L. I. Manolache, Derrick G. Kourie
Software testing using model programs. Softw. Pract. Exp. 31 (13) (2001)
R. L. Engelbrecht, Derrick G. Kourie
Issues in Translating Smalltalk into Java. CC (1998)
Lebelo Serutla, Derrick G. Kourie
Sentence Analysis Using a Concept Lattice. AMTA (1998)
Derrick G. Kourie, G. Deon Oosthuizen
Lattices in Machine Learning: Complexity Issues. Acta Informatica 35 (4) (1998)
Derrick G. Kourie
The Design and Use of a Prolog Trace Generator for CSP. Softw. Pract. Exp. 17 (7) (1987)