Derrick G. Kourie

100 papers B 3C 7Misc 20Journal 39Unranked 29

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