Bruce W. Watson

ORCID

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 38

Top Venues

Publications

Isabelle Heyl, Dewald Blaauw, Bruce W. Watson
An Investigation and Analysis of Vulnerabilities Surrounding Cryptocurrencies and Blockchain Technology. PanAfriCon AI (2) (2023)
Taurai T. Chikotie, Bruce W. Watson, Liam R. Watson
Systems Thinking Application to Ethical and Privacy Considerations in AI-Enabled Syndromic Surveillance Systems: Requirements for Under-Resourced Countries in Southern Africa. PanAfriCon AI (2) (2023)
Matida Churu, Dewald Blaauw, Bruce W. Watson
A Review and Analysis of Cybersecurity Threats and Vulnerabilities, by Development of a Fuzzy Rule-Based Expert System. PanAfriCon AI (2) (2023)
Takudzwa Vincent Banda, Dewald Blaauw, Bruce W. Watson
Towards a Supervised Machine Learning Algorithm for Cyberattacks Detection and Prevention in a Smart Grid Cybersecurity System. PanAfriCon AI (2) (2023)
Priscilla Naa Dedei Hammond, Fritz Solms, Bruce W. Watson
Architecture Requirements for Open Inference Networks. ENASE (2022)
Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Neal Kushwaha, Keir Giles, Tassilo Singer, Bruce W. Watson
Cyber Personhood. CyCon (2021)
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
Tool Support for Correctness-by-Construction. Software Engineering (2021)
Waltteri Pakalén, Hannu Peltola, Jorma Tarhio, Bruce W. Watson
Pitfalls of Algorithm Comparison. Stringology (2021)
Waltteri Pakalén, Jorma Tarhio, Bruce W. Watson
Searching with Extended Guard and Pivot Loop. Stringology (2021)
Ina Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson
Tutorial: The Correctness-by-Construction Approach to Programming Using CorC. SecDev (2021)
Jorma Tarhio, Bruce W. Watson
Tune-up for the Dead-Zone Algorithm. Stringology (2020)
Neal Kushwaha, Przemyslaw Roguski, Bruce W. Watson
Up in the Air: Ensuring Government Data Sovereignty in the Cloud. CyCon (2020)
Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson
X-by-Construction - Correctness Meets Probability. ISoLA (1) (2020)
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
Tool Support for Correctness-by-Construction. FASE (2019)
Oluwole I. Ajala, Miznah Alshammary, Mai Alzamel, Jia Gao, Costas S. Iliopoulos, Jakub Radoszewski, Wojciech Rytter, Bruce W. Watson
On the cyclic regularities of strings. CoRR (2019)
Oluwole I. Ajala, Miznah Alshammary, Mai Alzamel, Jia Gao, Costas S. Iliopoulos, Jakub Radoszewski, Wojciech Rytter, Bruce W. Watson
On the Cyclic Regularities of Strings. AIAI (Workshops) (2019)
Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. FM Workshops (2) (2019)
Jacqueline W. Daykin, Richard Groult, Yannick Guesnet, Thierry Lecroq, Arnaud Lefebvre, Martine Léonard, Laurent Mouchard, Élise Prieur, Bruce W. Watson
Efficient pattern matching in degenerate strings with the Burrows-Wheeler transform. Inf. Process. Lett. 147 (2019)
Miznah Alshammary, Mai Alzamel, Costas S. Iliopoulos, Richard E. Watson, Bruce W. Watson
A Brief Overview of Dead-Zone Pattern Matching Algorithms. AIAI (Workshops) (2019)
Derrick G. Kourie, Tinus Strauss, Loek Cleophas, Bruce W. Watson
Using CSP to Develop Quality Concurrent Software. Principled Software Development (2018)
Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson
X-by-Construction. ISoLA (1) (2018)
Loek Cleophas, Ina Schaefer, Bruce W. Watson
Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017). Sci. Comput. Program. 166 (2018)
Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson
Towards Confidentiality-by-Construction. ISoLA (1) (2018)
Jacqueline W. Daykin, Richard Groult, Yannick Guesnet, Thierry Lecroq, Arnaud Lefebvre, Martine Léonard, Laurent Mouchard, Élise Prieur-Gaston, Bruce W. Watson
Three Strategies for the Dead-Zone String Matching Algorithm. Stringology (2018)
Younes Guellouma, Hadda Cherroun, Djelloul Ziadi, Bruce W. Watson
From Tree Automata to String Automata Minimization. Theory Comput. Syst. 62 (5) (2018)
Martin Berglund, Brink van der Merwe, Bruce W. Watson, Nicolaas Weideman
On the Semantics of Atomic Subgroups in Practical Regular Expressions. CIAA (2017)
Tobias Runge, Ina Schaefer, Loek Cleophas, Bruce W. Watson
Many-MADFAct: Concurrently Constructing MADFAs. Stringology (2017)
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)
Jacqueline W. Daykin, Bruce W. Watson
Indeterminate String Factorizations and Degenerate Text Transformations. Math. Comput. Sci. 11 (2) (2017)
Dmitry I. Ignatov, Bruce W. Watson
Towards a Unified Taxonomy of Biclustering Methods. CoRR (2017)
Jacqueline W. Daykin, Richard Groult, Yannick Guesnet, Thierry Lecroq, Arnaud Lefebvre, Martine Léonard, Laurent Mouchard, Élise Prieur-Gaston, Bruce W. Watson
Efficient pattern matching in degenerate strings with the Burrows-Wheeler transform. CoRR (2017)
Nicolaas Weideman, Brink van der Merwe, Martin Berglund, Bruce W. Watson
Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA. CIAA (2016)
Kamil Awid, Loek Cleophas, Bruce W. Watson
Using Human Computation in Dead-zone based 2D Pattern Matching. Stringology (2016)
Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson
Tax-PLEASE - Towards Taxonomy-Based Software Product Line Engineering. ICSR (2016)
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
Hardware Implementations of Finite Automata and Regular Expressions - Extended Abstract. CIAA (2015)
Bruce W. Watson, Derrick G. Kourie, Loek G. Cleophas
Experience with correctness-by-construction. Sci. Comput. Program. 97 (2015)
Ina Schaefer, Christoph Seidl, Loek G. Cleophas, Bruce W. Watson
SPLicing TABASCO: Custom-Tailored Software Product Line Variants from Taxonomy-Based Toolkits. SAICSIT (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)
Derrick G. Kourie, Bruce W. Watson, Tinus Strauss, Loek G. Cleophas, Melanie Mauch
Empirically Assessing Algorithm Performance. SAICSIT (2014)
Bruce W. Watson, I. P. Blox
Elastic deep packet inspection. CyCon (2014)
Jacqueline W. Daykin, Bruce W. Watson
A Text Transformation Scheme for Degenerate Strings. ICABD (2014)
Bruce W. Watson, Loek G. Cleophas, Derrick G. Kourie
Using Correctness-by-Construction to Derive Dead-zone Algorithms. Stringology (2014)
Martin Berglund, Henrik Björklund, Frank Drewes, Brink van der Merwe, Bruce W. Watson
Cuts in Regular Expressions. Developments in Language Theory (2013)
Carl Barton, Costas S. Iliopoulos, Nicola J. Mulder, Bruce W. Watson
Identification of All Exact and Approximate Inverted Repeats in Regular and Weighted Sequences. EANN (2) (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)
Bruce W. Watson
Correctness-by-Construction in Stringology. Stringology (2012)
Thomas Hanneforth, Bruce W. Watson
An Efficient Parallel Determinisation Algorithm for Finite-state Automata. Stringology (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)
Noud de Beijer, Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson
Improving Automata Efficiency by Stretching and Jamming. Stringology (2010)
Loek G. Cleophas, Bruce W. Watson, Gerard Zwaan
A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms. Sci. Comput. Program. 75 (11) (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)
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)
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)
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)
Loek G. Cleophas, Bruce W. Watson
A Boyer-Moore-Horspool algorithm derivation. South Afr. Comput. J. 41 (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)
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)
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)
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)
Bruce W. Watson
Automata Applications in Chip-Design Software. CIAA (2007)
T. Botha, Derrick G. Kourie, Bruce W. Watson
A Word Game Support Tool Case Study. ARIMA J. 6 (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)
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)
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)
Loek G. Cleophas, Bruce W. Watson
Taxonomy-based software construction of SPARE Time: a case study. IEE Proc. Softw. 152 (1) (2005)
Bruce W. Watson
FIRE Station. FSMNLP (2005)
Ernest Ketcha Ngassam, Derrick G. Kourie, Bruce W. Watson
Reordering finite automata states for fast string recognition. Stringology (2005)
Loek G. Cleophas, Gerard Zwaan, Bruce W. Watson
Constructing Factor Oracles. J. Autom. Lang. Comb. 10 (5/6) (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)
Ernest Ketcha Ngassam, Bruce W. Watson, Derrick G. Kourie
A Framework for the Dynamic Implementation of Finite Automata for Performance Enhancement. Stringology (2004)
Loek G. Cleophas, Bruce W. Watson, Gerard Zwaan
Automaton-Based Sublinear Keyword Pattern Matching. SPIRE (2004)
Bruce W. Watson, Derick Wood
Introduction. Theor. Comput. Sci. 313 (1) (2004)
Bruce W. Watson, Loek G. Cleophas
SPARE Parts: a C++ toolkit for string pattern recognition. Softw. Pract. Exp. 34 (7) (2004)

Bruce W. Watson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bruce W. Watson