Derrick G. Kourie

According to our database1, Derrick G. Kourie authored at least 89 papers between 1987 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Tool Support for Correctness-by-Construction.
Proceedings of the Software Engineering 2021, 2021

2018
Towards Confidentiality-by-Construction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Using CSP to Develop Quality Concurrent Software.
Proceedings of the Principled Software Development, 2018

2017
An Assessment of Algorithms for Deriving Failure Deterministic Finite Automata.
South Afr. Comput. J., 2017

CSP for Parallelising Brzozowski's DFA Construction Algorithm.
Proceedings of the Role of Theory in Computer Science, 2017

2016
Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015
Experience with correctness-by-construction.
Sci. Comput. Program., 2015

Quantum Leap Pattern Matching.
Proceedings of the Prague Stringology Conference 2015, 2015

An Aho-Corasick Based Assessment of Algorithms Generating Failure Deterministic Finite Automata.
Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, 2015

2014
Weak factor automata: the failure of failure factor oracles?
South Afr. Comput. J., 2014

Quality in software development: a pragmatic approach using metrics.
South Afr. Comput. J., 2014

Using Correctness-by-Construction to Derive Dead-zone Algorithms.
Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, 2014

A Process-Oriented Implementation of Brzozowski's DFA Construction Algorithm.
Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, 2014

Empirically Assessing Algorithm Performance.
Proceedings of the Southern African Institute for Computer Scientist and Information Technologists Annual Conference 2014, 2014

Light Beam Tracing for Multi-Bounce Specular and Glossy Transport Paths.
Proceedings of the Southern African Institute for Computer Scientist and Information Technologists Annual Conference 2014, 2014

2013
Fine-tuning the search for microsatellites.
J. Discrete Algorithms, 2013

Refactoring with Ordered Collections of Fine-Grain Transformations.
Int. J. Softw. Eng. Knowl. Eng., 2013

Weak Factor Automata: Comparing (Failure) Oracles and Storacles.
Proceedings of the Prague Stringology Conference 2013, Prague, Czech Republic, 2013

Numerical verification of bidirectional reflectance distribution functions for physical plausibility.
Proceedings of the 2013 South African Institute for Computer Scientists and Information Technologists, 2013

Efficient representation of DNA data for pattern recognition using failure factor oracles.
Proceedings of the 2013 South African Institute for Computer Scientists and Information Technologists, 2013

2012
An algorithm for mapping short reads to a dynamically changing genomic sequence.
J. Discrete Algorithms, 2012

Failure Deterministic Finite Automata.
Proceedings of the Prague Stringology Conference 2012, 2012

Performance assessment of dead-zone single keyword pattern matching.
Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

A Sequential Recursive Implementation of Dead-Zone Single Keyword Pattern Matching.
Proceedings of the Combinatorial Algorithms, 23rd International Workshop, 2012

Multiple Keyword Pattern Matching using Position Encoded Pattern Lattices.
Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, 2012

The Correctness-by-Construction Approach to Programming.
Springer, ISBN: 978-3-642-27918-8, 2012

2011
Extending Backward Polygon Beam Tracing to Glossy Scattering Surfaces.
Comput. Graph. Forum, 2011

On Compile Time Knuth-Morris-Pratt Precomputation.
Proceedings of the Prague Stringology Conference 2011, 2011

2010
A security privacy aware architecture and protocol for a single smart card used for multiple services.
Comput. Secur., 2010

Formal Characterizations of FA-based String Processors.
Proceedings of the Prague Stringology Conference 2010, Prague, Czech Republic, August 30, 2010

Improving Automata Efficiency by Stretching and Jamming.
Proceedings of the Prague Stringology Conference 2010, Prague, Czech Republic, August 30, 2010

Performance of C++ bit-vector implementations.
Proceedings of the 2010 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2010

A framework for benchmarking FA-based string recognizers.
Proceedings of the 2010 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2010

Deriving a digraph isomorphism for digraph compliance measurement.
Proceedings of the 2010 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2010

Software engineering in South Africa.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Thoughts on Exploiting Instability in Lattices for Assessing the Discrimination Adequacy of a Taxonomy.
Proceedings of the 7th International Conference on Concept Lattices and Their Applications, 2010

Exploring the use of glossy light volumes for interactive global illumination.
Proceedings of the 7th International Conference on Computer Graphics, 2010

2009
An incremental algorithm to construct a lattice of set intersections.
Sci. Comput. Program., 2009

Sensitivity analysis of Voronoi-based sensor deployment and reconfiguration algorithms.
South Afr. Comput. J., 2009

On Regular Expression Hashing to Reduce FA Size.
Int. J. Found. Comput. Sci., 2009

Virtual machine framework for constructing domain-specific languages.
IET Softw., 2009

Building access control models with attribute exploration.
Comput. Secur., 2009

On Minimizing Deterministic Tree Automata.
Proceedings of the Prague Stringology Conference 2009, Prague, Czech Republic, August 31, 2009

The influence of optimisations on the performance of an object relational mapping tool.
Proceedings of the 2009 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2009

Composite refactoring using fine-grained transformations.
Proceedings of the 2009 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2009

FCA-Based Two Dimensional Pattern Matching.
Proceedings of the Formal Concept Analysis, 7th International Conference, 2009

2008
Efficient Automata Constructions and Approximate Automata.
Int. J. Found. Comput. Sci., 2008

A Concurrent Specification of Brzozowski's DFA Construction Algorithm.
Int. J. Found. Comput. Sci., 2008

On Succinct Representation of Knowledge Community Taxonomies with Formal Concept Analysis.
Int. J. Found. Comput. Sci., 2008

On Implementation and Performance of Table-Driven DFA-Based String Processors.
Int. J. Found. Comput. Sci., 2008

Server-centric Web frameworks: An overview.
ACM Comput. Surv., 2008

A comparison of simulated traffic conditioner performance.
Comput. Commun., 2008

A Concurrent Specification of an Incremental DFA Minimisation Algorithm.
Proceedings of the Prague Stringology Conference 2008, Prague, Czech Republic, 2008

An Algorithm for Ordering Refactorings Based on Fine-Grained Model Transformations.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2008

A New CSP Operator for Optional Parallelism.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

A Cross-Layer Approach Towards Efficiency Optimization of Wireless Sensor and Actor Networks.
Proceedings of the 2008 Third International Conference on Broadband Communications, 2008

2007
A Word Game Support Tool Case Study.
ARIMA J., 2007

Migrating to a real-time distributed parallel simulator architecture.
Proceedings of the 2007 Summer Computer Simulation Conference, 2007

Agile software development: a contemporary philosophical perspective.
Proceedings of the 2007 Annual Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, 2007

Assessment of a framework to compare software development methodologies.
Proceedings of the 2007 Annual Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, 2007

Corporate-, Agile- and Open Source Software Development: A Witch's Brew or An Elixir of Life?.
Proceedings of the Balancing Agility and Formalism in Software Engineering, 2007

2006
Performance of hardcoded finite automata.
Softw. Pract. Exp., 2006

Editorial introduction to special ARIMA / SACJ joint issue on advances in end-user data mining techniques.
South Afr. Comput. J., 2006

TABASCO: using concept-based taxonomies in domain engineering.
South Afr. Comput. J., 2006

Dynamic Allocation of Finite Automata States for Fast String Recognition.
Int. J. Found. Comput. Sci., 2006

Uncovering identities: A study into VPN tunnel fingerprinting.
Comput. Secur., 2006

FireµSat: An algorithm to detect microsatellites in DNA.
Proceedings of the Prague Stringology Conference, 2006

Logical Traffic Isolation Using Differentiated Services.
Proceedings of the Advances in Digital Forensics II - IFIP International Conference on Digital Forensics, National Centre for Forensic Science, Orlando, Florida, USA, January 29, 2006

On Lattices in Access Control Models.
Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Karl Popper's Critical Rationalism in Agile Software Development.
Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Towards Concise Representation for Taxonomies of Epistemic Communities.
Proceedings of the Concept Lattices and Their Applications, 2006

Refactoring Tools and Complementary Techniques.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005
Editorial.
South Afr. Comput. J., 2005

A framework for the dynamic implementation of finite automata for performance enhancement.
Int. J. Found. Comput. Sci., 2005

Reordering finite automata states for fast string recognition.
Proceedings of the Prague Stringology Conference, 2005

Foiling an Attack - Defeating IPSec Tunnel Fingerprinting.
Proceedings of the ISSA 2005 New Knowledge Today Conference, 29 June, 2005

2004
Taxonomy of directed graph representations.
IEE Proc. Softw., 2004

Literate Programming to Enhance Agile Methods.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2004

AddIntent: A New Incremental Algorithm for Constructing Concept Lattices.
Proceedings of the Concept Lattices, 2004

2003
Translating smalltalk blocks into Java.
IEE Proc. Softw., 2003

Preliminary Experiments in Hardcoding Finite Automata.
Proceedings of the Implementation and Application of Automata, 2003

2002
Editorial notes.
South Afr. Comput. J., 2002

Compressed pseudo-lattices.
J. Exp. Theor. Artif. Intell., 2002

2001
Software testing using model programs.
Softw. Pract. Exp., 2001

1998
Lattices in Machine Learning: Complexity Issues.
Acta Informatica, 1998

Issues in Translating Smalltalk into Java.
Proceedings of the Compiler Construction, 7th International Conference, 1998

Sentence Analysis Using a Concept Lattice.
Proceedings of the Machine Translation and the Information Soup, 1998

1987
The Design and Use of a Prolog Trace Generator for CSP.
Softw. Pract. Exp., 1987


  Loading...