• 155 Citations
20032019
If you made any changes in Pure these will be visible here soon.

Research Output 2003 2019

Article

A Boyer-Moore-Horspool algorithm derivation

Cleophas, L. G. W. A. & Watson, B. W., 2008, In : South African Computer Journal. 41, p. 13-20

Research output: Contribution to journalArticleAcademicpeer-review

Taxonomies
taxonomy
Pattern matching
1 Citation (Scopus)
50 Downloads (Pure)

An assessment of algorithms for deriving failure deterministic finite automata

Nxumalo, M., Kourie, D. G., Cleophas, L. G. W. A. & Watson, B. W., 2017, In : South African Computer Journal. 29, 1, p. 43-68 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Finite automata
language
Formal languages
performance
20 Downloads (Pure)

An evaluation of structured language modeling for automatic speech recognition

Bjorklund, J., Cleophas, L. & Karlsson, M., 2017, In : Journal of Universal Computer Science. 23, 11, p. 1019-1034

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
13 Citations (Scopus)
2 Downloads (Pure)

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

Cleophas, L. G. W. A., Watson, B. W. & Zwaan, G., 2010, In : Science of Computer Programming. 75, 11, p. 1095-1112

Research output: Contribution to journalArticleAcademicpeer-review

Pattern matching
Taxonomies
Scanning
Finite automata
2 Citations (Scopus)
49 Downloads (Pure)

A taxonomy of minimisation algorithms for deterministic tree automata

Bjorklund, J. & Cleophas, L., 2016, In : Journal of Universal Computer Science. 22, 2, p. 180-196

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
2 Downloads (Pure)

Constructing factor oracles

Cleophas, L. G. W. A., Zwaan, G. & Watson, B. W., 2007, In : Journal of Automata, Languages and Combinatorics. 10, 5-6, p. 627-640

Research output: Contribution to journalArticleAcademicpeer-review

Automata
Suffix
Immediately
Intuitive
Lemma
3 Citations (Scopus)
1 Downloads (Pure)

Efficient automata constructions and approximate automata

Watson, B. W., Kourie, D. G., Ngassam, E. K., Strauss, T. & Cleophas, L. G. W. A., 2008, In : International Journal of Foundations of Computer Science. 19, 1, p. 185-193

Research output: Contribution to journalArticleAcademicpeer-review

Formal languages
Pattern matching
Network security
Data structures
1 Citation (Scopus)

Experience with correctness-by-construction

Watson, B. W., Kourie, D. G. & Cleophas, L., 2015, In : Science of Computer Programming. 97, part 1, p. 55-58 4 p.

Research output: Contribution to journalArticleAcademicpeer-review

Software engineering
4 Citations (Scopus)
1 Downloads (Pure)

Improving custom-tailored variability mining using outlier and cluster detection

Wille, D., Babur, Ö., Cleophas, L., Seidl, C., van den Brand, M. & Schaefer, I., 1 Oct 2018, In : Science of Computer Programming. 163, p. 62-84 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

Copying
MATLAB
Identification (control systems)
Industry
14 Citations (Scopus)
2 Downloads (Pure)

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

Watson, B. W. & Cleophas, L. G. W. A., 2004, In : Software : Practice and Experience. 34, 7, p. 697-710

Research output: Contribution to journalArticleAcademicpeer-review

TABASCO : using concept-based taxonomies in domain engineering

Cleophas, L. G. W. A., Watson, B. W., Kourie, D. G., Boake, A. & Obiedkov, S., 2006, In : South African Computer Journal. 37, p. 30-40

Research output: Contribution to journalArticleAcademicpeer-review

Taxonomies
taxonomy
engineering
programming
software
3 Citations (Scopus)
1 Downloads (Pure)

Taxonomy-based software construction of SPARE time : a case study

Cleophas, L. G. W. A. & Watson, B. W., 2005, In : IEE Proceedings - Software Engineering. 152, 1, p. 29-37

Research output: Contribution to journalArticleAcademicpeer-review

322 Downloads (Pure)
Pattern matching
Pattern Matching
Tree Automata
Time Complexity
Automata
322 Downloads (Pure)

Tree pattern matching from regular tree expressions

Belabbaci, A., Cherroun, H., Cleophas, L. & Ziadi, D., 2018, In : Kybernetika. 54, 2, p. 221-242 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Pattern matching
Pattern Matching
Tree Automata
Time Complexity
Automata
2 Citations (Scopus)
2 Downloads (Pure)

Two related algorithms for root-to-frontier tree pattern matching

Cleophas, L. G. W. A., Hemerik, C. & Zwaan, G., 2006, In : International Journal of Foundations of Computer Science. 17, 6, p. 1253-1272

Research output: Contribution to journalArticleAcademicpeer-review

Trees (mathematics)
Pattern matching
35 Downloads (Pure)

Weak factor automata: the failure of failure factor oracles?

Cleophas, L. G., Kourie, D. G. & Watson, B. W., 2014, In : South African Computer Journal. 53, p. 1-14 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File

Workshop on advances in knowledge extraction and re-engineering of software (selected and extended papers from WAKERS 2017)

Cleophas, L., Schaefer, I. & Watson, B. W., 15 Nov 2018, In : Science of Computer Programming. 166, p. 1-2 2 p.

Research output: Contribution to journalArticleAcademicpeer-review

Reengineering
Book editing

Model management and analytics for large scale systems

Tekinerdogan, B. (ed.), Babur, Ö. (ed.), Cleophas, L. G. W. A. (ed.), van den Brand, M. G. J. (ed.) & Aksit, M. (ed.), 17 Sep 2019, Academic Press Inc. 344 p.

Research output: Book/ReportBook editingAcademicpeer-review

Large scale systems
Information management
Software engineering
Industry
244 Downloads (Pure)

Proceedings of the Eindhoven FASTAR Days 2004 : Eindhoven, The Netherlands, September 3-4, 2004

Cleophas, L. G. W. A. (ed.) & Watson, B. W. (ed.), 2004, Eindhoven: Technische Universiteit Eindhoven. 214 p. (Computer science reports; vol. 0440)

Research output: Book/ReportBook editingAcademic

Open Access
File
Netherlands
Group
research facility
Czech Republic
computer science
Chapter

Combining regular expressions with near-optimal automata

Watson, B. W., Frishert, M. & Cleophas, L. G. W. A., 2005, Inquiries into Words, Constraints and Contexts (Festschrift in the Honour of Professor Kimmo Koskenniemi on his 60th Birthday). Arppe, A. & et al., X. (eds.). Stanford CA, USA: CSLI, p. 163-171 (CSLI Studies in Computational Linguistics).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Regular Expressions
Automata
Derivative
Deterministic Finite Automata
Associativity

CSP for parallelising Brzozowski's DFA construction algorithm

Strauss, T., Watson, B. W., Kourie, D. G. & Cleophas, L. G. W. A., 2017, The Role of Theory in Computer Science : Essays Dedicated to Janusz Brzozowski. s.l.: World Scientific, p. 217-244 28 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Algebra
Finite automata
Computer programming languages
Specifications

Introduction to model management and analytics

Babur, Ö., Tekinerdogan, B., Cleophas, L. G. W. A., van den Brand, M. G. J. & Aksit, M., 17 Sep 2019, Model Management and Analytics for Large Scale Systems. Elsevier, p. 3-11 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Decision making

Minimization of finite state automata through partition aggregation

Bjorklund, J. & Cleophas, L., 2016, Logical aspects of computational linguistics: celebrating 20 years of LACL (1996-2016). Amblard, M., de Groote, P., Pogodalla, S. & Retoré, C. (eds.). Berlin: Springer, p. 328-328 (Lecture Notes in Computer Science; vol. 10054).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Model analytics for industrial MDE ecosystems

Babur, Ö., Suresh, A., Alberts, W., Cleophas, L. G. W. A., Schiffelers, R. R. H. & van den Brand, M. G. J., 17 Sep 2019, Model Management and Analytics for Large Scale Systems. Elsevier, p. 273-316 44 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

ecosystem engineering
ecosystem
clone
artifact
engineering
7 Citations (Scopus)
99 Downloads (Pure)

Towards statistical comparison and analysis of models

Babur, Ö., Cleophas, L., Verhoeff, T. & van den Brand, M., 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, February 19-21, 2016, in Rome, Italy . p. 361-367

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Recovery
Vector spaces
Linguistics
Genetic algorithms
Conference contribution
2 Citations (Scopus)

A missing link in root-to-frontier tree pattern matching

Cleophas, L. G. W. A., Hemerik, C. & Zwaan, G., 2005, Proceedings Tenth Prague Stringology Conference (PSC'05, Prague, Czech Republic, August 29-31, 2005). Holub, J. & Simánek, M. (eds.). Prague, Czech Republic: Czech Technical University in Prague, p. 215-229

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

An Aho-Corasick based assessment of algorithms generating failure deterministic finite automata

Nxumalo, M., Kourie, D. G., Cleophas, L. & Watson, B. W., 2015, Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, October 13-16, 2015, Clermont-Ferrand, France . Ben Yahia, S. & Konecny, J. (eds.). CEUR-WS.org, p. 87-98 12 p. (CEUR Workshop Proceedings; vol. 1466).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Finite automata
1 Downloads (Pure)

A process-oriented implementation of Brzozowski's DFA construction algorithm

Strauss, T., Kourie, D. G., Watson, B. W. & Cleophas, L. G., 2014, Proceedings of the Proceedings of the Prague Stringology Conference 2014. Holub, J. & Žďárek, J. (eds.). Prague: Prague Stringology Club, p. 17-29 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Finite automata
Scheduling
4 Citations (Scopus)
2 Downloads (Pure)

Automaton-based sublinear keyword pattern matching

Cleophas, L. G. W. A., Watson, B. W. & Zwaan, G., 2004, String Processing and Information Retrieval (Proceedings 11th International Conference, SPIRE 2004, Padova, Italy, October 5-8, 2004). Apostolico, A. & Melucci, M. (eds.). Berlin: Springer, p. 18-29 (Lecture Notes in Computer Science; vol. 3246).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Pattern matching
Taxonomies
Finite automata
2 Citations (Scopus)

Backward linearised tree pattern matching

Trávníček, J., Janoušek, J., Melichar, B. & Cleophas, L., 2015, Language and Automata Theory and Applications: 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Dediu, A-H., Formenti, E., Martin-Vide, C. & Truthe, B. (eds.). Berlin: Springer, p. 599-610 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8977).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Pattern matching
Pattern Matching
Strings
Trees (mathematics)
Ordered Trees

Benchmarking optimised algorithms for transitive closure

Pieterse, V. & Cleophas, L. G. W. A., 26 Sep 2017, SAICSIT '17 Proceedings of the South African Institute of Computer Scientists and Information Technologists, 26-28 September 2017, Thaba 'Nchu, South Africa . New York: Association for Computing Machinery, Inc, p. 1-10 27

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Benchmarking
Fusion reactions
1 Citation (Scopus)
1 Downloads (Pure)

Clustering variation points in MATLAB/Simulink models using reverse signal propagation analysis

Schlie, A., Wille, D., Cleophas, L. & Schaefer, I., 2017, Mastering Scale and Complexity in Software Reuse - 16th International Conference on Software Reuse, ICSR 2017, Proceedings. Botterweck, G. & Werner, C. (eds.). Springer, p. 77-94 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10221 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Matlab/Simulink
MATLAB
Reverse
Clustering
Propagation
2 Downloads (Pure)

Constructing factor oracles

Cleophas, L. G. W. A., Zwaan, G. & Watson, B. W., 2003, Proceedings Eighth Prague Stringology Conference (Prague, Czech Republic, September 22-24, 2003). Melichar, B. (ed.). Prague: Czech Technical University in Prague, p. 37-50

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Automata
Suffix
Immediately
Intuitive
Lemma
3 Citations (Scopus)
3 Downloads (Pure)

Correctness-by-construction and post-hoc verification : a marriage of convenience?

Watson, B. W., Kourie, D. G., Schaefer, I. & Cleophas, L. G. W. A., 5 Oct 2016, ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Dordrecht: Springer, p. 730-748 (LNCS; vol. 9952).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Productivity
Semantics
3 Citations (Scopus)

Correctness-by-construction ∧ taxonomies ⇒ deep comprehension of algorithm families

Cleophas, L., Kourie, D. G., Pieterse, V., Schaefer, I. & Watson, B. W., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Springer, p. 766-783 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9952 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Taxonomies
Taxonomy
Correctness
Refinement
Design of Algorithms
4 Citations (Scopus)

Detecting variability in MATLAB/Simulink models : an industry-inspired technique and its evaluation

Schlie, A., Wille, D., Schulze, S., Cleophas, L. G. W. A. & Schaefer, I., 2017, SPLC '17 : Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, 25-29 September 2017, Sevilla, Spain, . New York: Association for Computing Machinery, Inc, Vol. A. p. 215-224 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

MATLAB
Industry
Copying
Engineers
1 Citation (Scopus)

Efficient automata constructions and approximate automata

Watson, B. W., Kourie, D. G., Ngassam, E. K., Strauss, T. & Cleophas, L. G. W. A., 2006, Proceedings of the Prague Stringology Conference 2006 (Prague, Czech Republic, August 28-30, 2006). Holub, J. & Zdárek, J. (eds.). Prague: Czech Technical University in Prague, p. 100-107

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Pattern matching
Network security
Data structures

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

Cleophas, L., Kourie, D. G. & Watson, B. W., 2013, SAICSIT '13 : Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, 7-9 October 2013, East London, South Africa. New York: Association for Computing Machinery, Inc, p. 369-377 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

DNA sequences
Pattern recognition
DNA
Pattern matching
Finite automata
1 Citation (Scopus)

Empirically assessing algorithm performance

Kourie, D. G., Watson, B. W., Strauss, T., Cleophas, L. G. & Mauch, M., 2014, Southern African Institute for Computer Scientist and Information Technologists Annual Conference 2014, SAICSIT '14, Centurion, South Africa, September 29 - October 1, 2014. van Deventer, J. P., Matthee, M. C., Gelderblom, H. & Gerber, A. (eds.). New York: Association for Computing Machinery, Inc, p. 115-125 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Pattern matching
9 Citations (Scopus)
201 Downloads (Pure)

Failure deterministic finite automata

Kourie, D. G., Watson, B. W., Cleophas, L. G. W. A. & Venter, F., 2012, Proceedings of the Prague Stringology Conference 2012 (PSC 2012, Prague, Czech Republic, August 27-28, 2012). Holub, J. & Zdarek, J. (eds.). Prague: Czech Technical University in Prague, p. 28-41

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Finite automata
Formal concept analysis
Formal languages
Pattern matching
4 Citations (Scopus)

FIRE Station : an environment for manipulating finite automata and regular expression views

Frishert, M., Watson, B. W. & Cleophas, L. G. W. A., 2005, Implementation and Application of Automata (Revised Selected Papers, Ninth International Conference, CIAA 2004, Kingston ON, Canada, July 22-24, 2004). Domaratzki, M., Okhotin, A., Salomaa, K. & Yu, S. (eds.). Berlin: Springer, p. 125-133 (Lecture Notes in Computer Science; vol. 3317).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Formal languages
Finite automata
Visualization
2 Citations (Scopus)
1 Downloads (Pure)

Forest FIRE: A taxonomy-based toolkit of tree automata and regular tree algorithms

Cleophas, L. G. W. A. & Hemerik, C., 2009, Implementation and Application of Automata (14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings). Maneth, S. (ed.). Berlin: Springer, p. 245-248 (Lecture Notes in Computer Science; vol. 5642).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Taxonomies
Trees (mathematics)
Pattern matching
2 Citations (Scopus)

Forest FIRE and FIRE wood : tools for tree automata and tree algorithms

Cleophas, L. G. W. A., 2009, Finite-State Methods and Natural Language Processing (7th International Workshop, FSMNLP 2008, Istra, Lago Maggiore, Italy, September 11-12, 2008). Piskorski, J., Watson, B. W. & Yli-Jyrä, A. (eds.). Amsterdam: IOS Press, p. 191-198 (Frontiers in Artificial Intelligence and Applications; vol. 191).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Trees (mathematics)
Wood
Graphical user interfaces
Pattern matching
10 Citations (Scopus)
5 Downloads (Pure)

Hierarchical clustering of metamodels for comparative analysis and visualization

Babur, Ö., Cleophas, L. G. W. A. & van den Brand, M. G. J., 2016, Modelling Foundations and Applications : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. Wąsowski, A. & Loenn, H. (eds.). Dordrecht: Springer, p. 3-18 (Lecture Notes in Computer Science; vol. 9764).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Visualization
Recovery
Vector spaces
Merging
Processing
3 Citations (Scopus)

Improving automata efficiency by stretching and jamming

Beijer, de, N., Cleophas, L. G. W. A., Kourie, D. G. & Watson, B. W., 2010, Proceedings of the Prague Stringology Conference 2010 (PSC'10, Prague, Czech Republic, August 30-September 1, 2010). Holub, J. & Zdarek, J. (eds.). Prague: Czech Technical University in Prague, p. 9-24

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

jamming
alphabets
strings
deoxyribonucleic acid
coding
1 Citation (Scopus)
Industry
Lithography
Problem-Based Learning
Semiconductor materials
1 Citation (Scopus)

Improving model inference in industry by combining active and passive learning

Yang, N., Aslam, K., Schiffelers, R. R. H., Lensink, L., Hendriks, D., Cleophas, L. G. W. A. & Serebrenik, A., 15 Mar 2019, 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019). Shihab, E., Lo, D. & Wang, X. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 253-263 11 p. 8668007

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Industry
Lithography
Problem-Based Learning
Semiconductor materials
13 Downloads (Pure)

Many-MADFAct: concurrently constructing MADFAs

Runge, T., Schaefer, I., Cleophas, L. G. W. A. & Watson, B. W., 2017, Proceedings of the Prague Stringology Conference PSC 2017, August 28-30, 2017, Prague, Czech Republic . Holub, J. & Zdarek, J. (eds.). Prague: Czech Technical University in Prague, p. 126-142 17 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Finite automata
Glossaries
Network security
Taxonomies
8 Downloads (Pure)

Metamodel clone detection with SAMOS (extended abstract)

Babur, O., Cleophas, L. & van den Brand, M., 1 Jan 2018, Belgium-Netherlands Software Evolution Workshop: Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop Delft, the Netherlands, December 10th to 11th, 2018.. Gousios, G. & Hejderup, J. (eds.). CEUR-WS.org, p. 21-23 3 p. (CEUR Workshop Proceedings; vol. 2361).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
1 Citation (Scopus)

Minimization of finite state automata through partition aggregation

Björklund, J. & Cleophas, L. G. W. A., 2017, Language and Automata Theory and Applications: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings. Dordrecht: Springer, p. 223-235 13 p. (Lecture Notes in Computer Science; vol. 10168).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Finite automata
Agglomeration