Bruce W. Watson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
13
Active years
1996–2022
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ENASE | Architecture Requirements for Open Inference Networks. | Priscilla Naa Dedei Hammond, Fritz Solms, Bruce W. Watson |
| 2020 | ISoLA | X-by-Construction - Correctness Meets Probability. | Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson |
| 2019 | FASE | Tool Support for Correctness-by-Construction. | Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thm, Derrick G. Kourie, Bruce W. Watson |
| 2019 | FM | Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. | Tobias Runge, Thomas Thm, Loek Cleophas, Ina Schaefer, Bruce W. Watson |
| 2018 | ISoLA | X-by-Construction. | Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson |
| 2018 | ISoLA | Towards Confidentiality-by-Construction. | Ina Schaefer, Tobias Runge, Alexander Knppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson |
| 2016 | ICSR | Tax-PLEASE - Towards Taxonomy-Based Software Product Line Engineering. | Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson |
| 2016 | ISoLA | Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families. | Loek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson |
| 2016 | ISoLA | Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? | Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas |
| 2013 | DLT | Cuts in Regular Expressions. | Martin Berglund, Henrik Bjrklund, Frank Drewes, Brink van der Merwe, Bruce W. Watson |
| 2013 | EANN | Identification of All Exact and Approximate Inverted Repeats in Regular and Weighted Sequences. | Carl Barton, Costas S. Iliopoulos, Nicola J. Mulder, Bruce W. Watson |
| 2012 | IWOCA | A Sequential Recursive Implementation of Dead-Zone Single Keyword Pattern Matching. | Bruce W. Watson, Derrick G. Kourie, Tinus Strauss |
| 2010 | ICSE | Software engineering in South Africa. | Derrick G. Kourie, Bruce W. Watson |
| 2009 | ICFCA | FCA-Based Two Dimensional Pattern Matching. | Fritz Venter, Derrick G. Kourie, Bruce W. Watson |
| 2006 | AICCSA | Refactoring Tools and Complementary Techniques. | Martin Drozdz, Derrick G. Kourie, Bruce W. Watson, Andrew Boake |
| 2004 | SPIRE | Automaton-Based Sublinear Keyword Pattern Matching. | Loek G. Cleophas, Bruce W. Watson, Gerard Zwaan |
| 1996 | ESA | A New Regular Grammar Pattern Matching Algorithm. | Bruce W. Watson |