Bruce W. Watson

According to our database, Bruce W. Watson authored at least 120 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

An Investigation and Analysis of Vulnerabilities Surrounding Cryptocurrencies and Blockchain Technology.

Isabelle Heyl, Dewald Blaauw, Bruce W. Watson

Proceedings of the Pan-African Conference on Artificial Intelligence, 2023

A Review and Analysis of Cybersecurity Threats and Vulnerabilities, by Development of a Fuzzy Rule-Based Expert System.

Matida Churu, Dewald Blaauw, Bruce W. Watson

Proceedings of the Pan-African Conference on Artificial Intelligence, 2023

Systems Thinking Application to Ethical and Privacy Considerations in AI-Enabled Syndromic Surveillance Systems: Requirements for Under-Resourced Countries in Southern Africa.

Taurai T. Chikotie, Bruce W. Watson, Liam R. Watson

Proceedings of the Pan-African Conference on Artificial Intelligence, 2023

Towards a Supervised Machine Learning Algorithm for Cyberattacks Detection and Prevention in a Smart Grid Cybersecurity System.

Takudzwa Vincent Banda, Dewald Blaauw, Bruce W. Watson

Proceedings of the Pan-African Conference on Artificial Intelligence, 2023

2022

Architecture Requirements for Open Inference Networks.

Priscilla Naa Dedei Hammond, Fritz Solms, Bruce W. Watson

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY.

Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Searching with Extended Guard and Pivot Loop.

Waltteri Pakalén, Jorma Tarhio, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2021, 2021

Pitfalls of Algorithm Comparison.

Waltteri Pakalén, Hannu Peltola, Jorma Tarhio, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2021, 2021

Tutorial: The Correctness-by-Construction Approach to Programming Using CorC.

Ina Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson

Proceedings of the IEEE Secure Development Conference, 2021

Tool Support for Correctness-by-Construction.

Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Software Engineering 2021, 2021

Cyber Personhood.

Neal Kushwaha, Keir Giles, Tassilo Singer, Bruce W. Watson

Proceedings of the 13th International Conference on Cyber Conflict, 2021

2020

Tune-up for the Dead-Zone Algorithm.

Jorma Tarhio, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2020, Prague, Czech Republic, August 31, 2020

X-by-Construction - Correctness Meets Probability.

Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Up in the Air: Ensuring Government Data Sovereignty in the Cloud.

Neal Kushwaha, Przemyslaw Roguski, Bruce W. Watson

Proceedings of the 12th International Conference on Cyber Conflict, 2020

2019

Efficient pattern matching in degenerate strings with the Burrows-Wheeler transform.

Jacqueline W. Daykin, Richard Groult, Yannick Guesnet, Thierry Lecroq, Arnaud Lefebvre, Martine Léonard, Laurent Mouchard, Élise Prieur, Bruce W. Watson

Inf. Process. Lett., 2019

A Brief Overview of Dead-Zone Pattern Matching Algorithms.

Miznah Alshammary, Mai Alzamel, Costas S. Iliopoulos, Richard E. Watson, Bruce W. Watson

Proceedings of the Artificial Intelligence Applications and Innovations, 2019

On the Cyclic Regularities of Strings.

Oluwole I. Ajala, Miznah Alshammary, Mai Alzamel, Jia Gao, Costas S. Iliopoulos, Jakub Radoszewski, Wojciech Rytter, Bruce W. Watson

Proceedings of the Artificial Intelligence Applications and Innovations, 2019

Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study.

Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017).

Loek Cleophas, Ina Schaefer, Bruce W. Watson

Sci. Comput. Program., 2018

From Tree Automata to String Automata Minimization.

Younes Guellouma, Hadda Cherroun, Djelloul Ziadi, Bruce W. Watson

Theory Comput. Syst., 2018

Three Strategies for the Dead-Zone String Matching Algorithm.

Jacqueline W. Daykin, Richard Groult, Yannick Guesnet, Thierry Lecroq, Arnaud Lefebvre, Martine Léonard, Laurent Mouchard, Élise Prieur-Gaston, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2018, 2018

Towards Confidentiality-by-Construction.

Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

X-by-Construction.

Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Using CSP to Develop Quality Concurrent Software.

Derrick G. Kourie, Tinus Strauss, Loek Cleophas, Bruce W. Watson

Proceedings of the Principled Software Development, 2018

2017

An Assessment of Algorithms for Deriving Failure Deterministic Finite Automata.

Madoda Nxumalo, Derrick G. Kourie, Loek Cleophas, Bruce W. Watson

South Afr. Comput. J., 2017

Indeterminate String Factorizations and Degenerate Text Transformations.

Jacqueline W. Daykin, Bruce W. Watson

Math. Comput. Sci., 2017

Towards a Unified Taxonomy of Biclustering Methods.

Dmitry I. Ignatov, Bruce W. Watson

CoRR, 2017

On the Semantics of Atomic Subgroups in Practical Regular Expressions.

Martin Berglund, Brink van der Merwe, Bruce W. Watson, Nicolaas Weideman

Proceedings of the Implementation and Application of Automata, 2017

Many-MADFAct: Concurrently Constructing MADFAs.

Tobias Runge, Ina Schaefer, Loek Cleophas, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2017, 2017

CSP for Parallelising Brzozowski's DFA Construction Algorithm.

Tinus Strauss, Bruce W. Watson, Derrick G. Kourie, Loek Cleophas

Proceedings of the Role of Theory in Computer Science, 2017

2016

Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA.

Nicolaas Weideman, Brink van der Merwe, Martin Berglund, Bruce W. Watson

Proceedings of the Implementation and Application of Automata, 2016

Using Human Computation in Dead-zone based 2D Pattern Matching.

Kamil Awid, Loek Cleophas, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2016, 2016

Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?

Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas

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.

Loek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Tax-PLEASE - Towards Taxonomy-Based Software Product Line Engineering.

Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson

Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

2015

Experience with correctness-by-construction.

Bruce W. Watson, Derrick G. Kourie, Loek G. Cleophas

Sci. Comput. Program., 2015

Hardware Implementations of Finite Automata and Regular Expressions - Extended Abstract.

Bruce W. Watson

Proceedings of the Implementation and Application of Automata, 2015

Quantum Leap Pattern Matching.

Bruce W. Watson, Derrick G. Kourie, Loek G. Cleophas

Proceedings of the Prague Stringology Conference 2015, 2015

SPLicing TABASCO: Custom-Tailored Software Product Line Variants from Taxonomy-Based Toolkits.

Ina Schaefer, Christoph Seidl, Loek G. Cleophas, Bruce W. Watson

Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, 2015

An Aho-Corasick Based Assessment of Algorithms Generating Failure Deterministic Finite Automata.

Madoda Nxumalo, Derrick G. Kourie, Loek G. Cleophas, Bruce W. Watson

Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, 2015

2014

Weak factor automata: the failure of failure factor oracles?

Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson

South Afr. Comput. J., 2014

Quality in software development: a pragmatic approach using metrics.

Daniel Acton, Derrick G. Kourie, Bruce W. Watson

South Afr. Comput. J., 2014

Using Correctness-by-Construction to Derive Dead-zone Algorithms.

Bruce W. Watson, Loek G. Cleophas, Derrick G. Kourie

Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, 2014

A Process-Oriented Implementation of Brzozowski's DFA Construction Algorithm.

Tinus Strauss, Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas

Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, 2014

Empirically Assessing Algorithm Performance.

Derrick G. Kourie, Bruce W. Watson, Tinus Strauss, Loek G. Cleophas, Melanie Mauch

Proceedings of the Southern African Institute for Computer Scientist and Information Technologists Annual Conference 2014, 2014

A Text Transformation Scheme for Degenerate Strings.

Jacqueline W. Daykin, Bruce W. Watson

Proceedings of the 2nd International Conference on Algorithms for Big Data , 2014

Elastic deep packet inspection.

Bruce W. Watson, I. P. Blox

Proceedings of the 6th International Conference on Cyber Conflict, 2014

2013

Fine-tuning the search for microsatellites.

Corné de Ridder, Derrick G. Kourie, Bruce W. Watson, T. R. Fourie, P. V. Reyneke

J. Discrete Algorithms, 2013

Weak Factor Automata: Comparing (Failure) Oracles and Storacles.

Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2013, Prague, Czech Republic, 2013

Efficient representation of DNA data for pattern recognition using failure factor oracles.

Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson

Proceedings of the 2013 South African Institute for Computer Scientists and Information Technologists, 2013

Identification of All Exact and Approximate Inverted Repeats in Regular and Weighted Sequences.

Carl Barton, Costas S. Iliopoulos, Nicola J. Mulder, Bruce W. Watson

Proceedings of the Engineering Applications of Neural Networks, 2013

Cuts in Regular Expressions.

Martin Berglund, Henrik Björklund, Frank Drewes, Brink van der Merwe, Bruce W. Watson

Proceedings of the Developments in Language Theory - 17th International Conference, 2013

2012

Correctness-by-Construction in Stringology.

Bruce W. Watson

Proceedings of the Prague Stringology Conference 2012, 2012

Failure Deterministic Finite Automata.

Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas, Fritz Venter

Proceedings of the Prague Stringology Conference 2012, 2012

An Efficient Parallel Determinisation Algorithm for Finite-state Automata.

Thomas Hanneforth, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2012, 2012

Performance assessment of dead-zone single keyword pattern matching.

Melanie Mauch, Derrick G. Kourie, Bruce W. Watson, Tinus Strauss

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.

Bruce W. Watson, Derrick G. Kourie, Tinus Strauss

Proceedings of the Combinatorial Algorithms, 23rd International Workshop, 2012

Multiple Keyword Pattern Matching using Position Encoded Pattern Lattices.

Fritz Venter, Bruce W. Watson, Derrick G. Kourie

Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, 2012

The Correctness-by-Construction Approach to Programming.

Derrick G. Kourie, Bruce W. Watson

Springer, ISBN: 978-3-642-27918-8, 2012

2011

On Compile Time Knuth-Morris-Pratt Precomputation.

Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas

Proceedings of the Prague Stringology Conference 2011, 2011

Model-Based Passive Testing of Safety-Critical Components.

Stefan Gruner, Bruce W. Watson

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms.

Loek G. Cleophas, Bruce W. Watson, Gerard Zwaan

Sci. Comput. Program., 2010

Formal Characterizations of FA-based String Processors.

Ernest Ketcha Ngassam, Bruce W. Watson, Derrick G. Kourie

Proceedings of the Prague Stringology Conference 2010, Prague, Czech Republic, August 30, 2010

Improving Automata Efficiency by Stretching and Jamming.

Noud de Beijer, Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2010, Prague, Czech Republic, August 30, 2010

Performance of C++ bit-vector implementations.

Vreda Pieterse, Derrick G. Kourie, Loek G. Cleophas, Bruce W. Watson

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.

Ernest Ketcha Ngassam, Derrick G. Kourie, Bruce W. Watson

Proceedings of the 2010 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2010

Software engineering in South Africa.

Derrick G. Kourie, Bruce W. Watson

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

An incremental algorithm to construct a lattice of set intersections.

Derrick G. Kourie, Sergei A. Obiedkov, Bruce W. Watson, Dean van der Merwe

Sci. Comput. Program., 2009

On Regular Expression Hashing to Reduce FA Size.

Wikus Coetser, Derrick G. Kourie, Bruce W. Watson

Int. J. Found. Comput. Sci., 2009

Virtual machine framework for constructing domain-specific languages.

Derrick G. Kourie, D. Fick, Bruce W. Watson

IET Softw., 2009

On Minimizing Deterministic Tree Automata.

Loek G. Cleophas, Derrick G. Kourie, Tinus Strauss, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2009, Prague, Czech Republic, August 31, 2009

FCA-Based Two Dimensional Pattern Matching.

Fritz Venter, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Formal Concept Analysis, 7th International Conference, 2009

2008

A Boyer-Moore-Horspool algorithm derivation.

Loek G. Cleophas, Bruce W. Watson

South Afr. Comput. J., 2008

Efficient Automata Constructions and Approximate Automata.

Bruce W. Watson, Derrick G. Kourie, Tinus Strauss, Ernest Ketcha Ngassam, Loek G. Cleophas

Int. J. Found. Comput. Sci., 2008

A Concurrent Specification of Brzozowski's DFA Construction Algorithm.

Tinus Strauss, Derrick G. Kourie, Bruce W. Watson

Int. J. Found. Comput. Sci., 2008

On Implementation and Performance of Table-Driven DFA-Based String Processors.

Ernest Ketcha Ngassam, Derrick G. Kourie, Bruce W. Watson

Int. J. Found. Comput. Sci., 2008

A Concurrent Specification of an Incremental DFA Minimisation Algorithm.

Tinus Strauss, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2008, Prague, Czech Republic, 2008

A New CSP Operator for Optional Parallelism.

Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

A Word Game Support Tool Case Study.

T. Botha, Derrick G. Kourie, Bruce W. Watson

ARIMA J., 2007

Automata Applications in Chip-Design Software.

Bruce W. Watson

Proceedings of the Implementation and Application of Automata, 2007

2006

Performance of hardcoded finite automata.

Ernest Ketcha Ngassam, Derrick G. Kourie, Bruce W. Watson

Softw. Pract. Exp., 2006

TABASCO: using concept-based taxonomies in domain engineering.

Loek G. Cleophas, Bruce W. Watson, Derrick G. Kourie, Andrew Boake, Sergei A. Obiedkov

South Afr. Comput. J., 2006

Dynamic Allocation of Finite Automata States for Fast String Recognition.

Ernest Ketcha Ngassam, Bruce W. Watson, Derrick G. Kourie

Int. J. Found. Comput. Sci., 2006

FireµSat: An algorithm to detect microsatellites in DNA.

Corné de Ridder, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Prague Stringology Conference, 2006

Refactoring Tools and Complementary Techniques.

Martin Drozdz, Derrick G. Kourie, Bruce W. Watson, Andrew Boake

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005

Constructing Factor Oracles.

Loek G. Cleophas, Gerard Zwaan, Bruce W. Watson

J. Autom. Lang. Comb., 2005

A framework for the dynamic implementation of finite automata for performance enhancement.

Ernest Ketcha Ngassam, Bruce W. Watson, Derrick G. Kourie

Int. J. Found. Comput. Sci., 2005

Taxonomy-based software construction of SPARE Time: a case study.

Loek G. Cleophas, Bruce W. Watson

IEE Proc. Softw., 2005

Reordering finite automata states for fast string recognition.

Ernest Ketcha Ngassam, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Prague Stringology Conference, 2005

FIRE Station.

Bruce W. Watson

Proceedings of the Finite-State Methods and Natural Language Processing, 2005

2004

Introduction.

Bruce W. Watson, Derick Wood

Theor. Comput. Sci., 2004

SPARE Parts: a C++ toolkit for string pattern recognition.

Bruce W. Watson, Loek G. Cleophas

Softw. Pract. Exp., 2004

Reducing memory requirements in reachability-based finite automata operations.

Bruce W. Watson

Softw. Pract. Exp., 2004

Taxonomy of directed graph representations.

Gabor Barla-Szabo, Bruce W. Watson, Derrick G. Kourie

IEE Proc. Softw., 2004

Combining Regular Expressions with (Near-)Optimal Brzozowski Automata.

Michiel Frishert, Bruce W. Watson

Proceedings of the Implementation and Application of Automata, 2004

FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views.

Michiel Frishert, Loek G. Cleophas, Bruce W. Watson

Proceedings of the Implementation and Application of Automata, 2004

Automaton-Based Sublinear Keyword Pattern Matching.

Loek G. Cleophas, Bruce W. Watson, Gerard Zwaan

Proceedings of the String Processing and Information Retrieval, 2004

2003

A new regular grammar pattern matching algorithm.

Bruce W. Watson

Theor. Comput. Sci., 2003

A Boyer-Moore-style algorithm for regular expression pattern matching.

Bruce W. Watson, Richard E. Watson

Sci. Comput. Program., 2003

A new algorithm for the construction of minimal acyclic DFAs.

Bruce W. Watson

Sci. Comput. Program., 2003

A new family of string pattern matching algorithms.

Bruce W. Watson, Richard E. Watson

South Afr. Comput. J., 2003

A new family and structure for Commentz-Walter-style multiple-keyword pattern matching algorithms : research article.

Bruce W. Watson

South Afr. Comput. J., 2003

An efficient incremental DFA minimization algorithm.

Bruce W. Watson, Jan Daciuk

Nat. Lang. Eng., 2003

Preliminary Experiments in Hardcoding Finite Automata.

Ernest Ketcha Ngassam, Bruce W. Watson, Derrick G. Kourie

Proceedings of the Implementation and Application of Automata, 2003

The Effect of Rewriting Regular Expressions on Their Accepting Automata.

Michiel Frishert, Loek G. Cleophas, Bruce W. Watson

Proceedings of the Implementation and Application of Automata, 2003

A New Recursive Incremental Algorithm for Building Minimal Acyclic Deterministic Finite Automata.

Bruce W. Watson

Proceedings of the Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, 2003

2002

Directly constructing minimal DFAs : combining two algorithms by Brzozowski.

Bruce W. Watson

South Afr. Comput. J., 2002

A Fast and Simple Algorithm for Constructing Minimal Acyclic Deterministic Finite Automata.

Bruce W. Watson

J. Univers. Comput. Sci., 2002

2001

A taxonomy of algorithms for constructing minimal acyclic deterministic finite automata.

Bruce W. Watson

South Afr. Comput. J., 2001

2000

Incremental Construction of Minimal Acyclic Finite State Automata.

Jan Daciuk, Stoyan Mihov, Bruce W. Watson, Richard E. Watson

Comput. Linguistics, 2000

A new family of Commentz-Walter-style multiple-keyword pattern matching algorithms.

Bruce W. Watson

Proceedings of the Prague Stringology Club Workshop 2000, Prague, Czech Republic, 2000

1998

A Fast New Semi-incremental Algorithm for the Construction of Minimal Acyclic DFAs.

Bruce W. Watson

Proceedings of the Automata Implementation, 1998

An Early-Retirement Plan for the States.

Bruce W. Watson, Richard E. Watson

Proceedings of the Prague Stringology Club Workshop 1998, Prague, Czech Republic, 1998

1997

Practical Optimizations for Automata.

Bruce W. Watson

Proceedings of the Automata Implementation, 1997

SPARE Parts: A C++ Toolkit for String PAttern REcognition.

Bruce W. Watson

Proceedings of the Prague Stringology Club Workshop 1997, 1997

A Boyer-Moore (or Watson-Watson) Type Algorithm for Regular Tree Pattern Matching.

Bruce W. Watson

Proceedings of the Prague Stringology Club Workshop 1997, 1997

1996

A Taxonomy of Sublinear Multiple Keyword Pattern Matching Algorithms.

Bruce W. Watson, Gerard Zwaan

Sci. Comput. Program., 1996

Implementing and using finite automata toolkits.

Bruce W. Watson

Nat. Lang. Eng., 1996

FIRE Lite: FAs and REs in C++.

Bruce W. Watson

Proceedings of the Automata Implementation, 1996

A Collection of New Regular Grammar Pattern Matching Algorithms.

Bruce W. Watson

Proceedings of the Prague Stringology Club Workshop 1996, 1996