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

Research Output 2003 2019

Filter
Conference contribution
2019
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)

Tool support for correctness-by-construction

Runge, T., Schaefer, I., Cleophas, L., Thüm, T., Kourie, D. & Watson, B. W., 1 Jan 2019, Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Hähnle, R. & van der Aalst, W. (eds.). Springer, p. 25-42 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11424 LNCS).

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

Open Access
File
Tool Support
Correctness
Specifications
Specification
Refinement
2018
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
3 Citations (Scopus)
6 Downloads (Pure)

Model analytics for feature models: case studies for S.P.L.O.T. Repository

Babur, Ö., Cleophas, L. & van den Brand, M., 1 Jan 2018, Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS: Copenhagen, Denmark, October, 14, 2018. . Hebig, R. & Berger, T. (eds.). CEUR-WS.org, p. 787-792 6 p. (CEUR Workshop Proceedings; no. 2245).

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

Open Access
File
Software engineering
5 Citations (Scopus)
1 Downloads (Pure)

Models, more models, and then a lot more

Babur, Ö., Cleophas, L., van den Brand, M. G. J., Tekinerdogan, B. & Aksit, M., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017: revised selected papers. Seidl, M. & Zschaler, S. (eds.). Cham: Springer, p. 129-135 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

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

Domain-specific Languages
Metamodel
Information retrieval
Ecosystem
Information Retrieval
4 Downloads (Pure)

Preface to the first international workshop on analytics and mining of model repositories

Babur, Ö., Chaudron, M. R. V., Cleophas, L., Ruscio, D. D. & Kolovos, D., 1 Jan 2018, Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS: Copenhagen, Denmark, October, 14, 2018. Hebig, R. & Berger, T. (eds.). CEUR-WS.org, p. 778-779 2 p. (CEUR Workshop Proceedings; no. 2245).

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

Open Access
File
Ecosystems
Computer hardware
Learning systems
Industry
System of systems
2 Citations (Scopus)

Towards confidentiality-by-construction

Schaefer, I., Runge, T., Knüppel, A., Cleophas, L., Kourie, D. & Watson, B. W., 1 Jan 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings. Steffen, B. & Margaria, T. (eds.). Springer, p. 502-515 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11244 LNCS).

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

Confidentiality
Information Flow
Flow control
Specifications
Control Policy
1 Citation (Scopus)
1 Downloads (Pure)

Towards distributed model analytics with apache spark

Babur, Ö., Cleophas, L. & van den Brand, M., 1 Jan 2018, MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S. & Ferreira Pires, L. (eds.). SCITEPRESS-Science and Technology Publications, Lda., p. 767-772 6 p.

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

Open Access
Electric sparks
Scalability
Information retrieval
Data mining
Engines

X-by-construction

ter Beek, M. H., Cleophas, L., Schaefer, I. & Watson, B. W., 1 Jan 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings. Steffen, B. & Margaria, T. (eds.). Springer, p. 359-364 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11244 LNCS).

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

Correctness
Dependability
Software System
Energy Consumption
Refinement
2017

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
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
12 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
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
8 Citations (Scopus)
1 Downloads (Pure)

Using n-grams for the automated clustering of structural models

Babur, Ö. & Cleophas, L., 2017, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Springer, p. 510-524 15 p. (Lecture Notes in Computer Science; vol. 10139).

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

N-gram
Structural Model
Clustering
Model
Model-based Clustering
2016
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
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
2 Citations (Scopus)
4 Downloads (Pure)

Tax-PLEASE—towards taxonomy-based software product line engineering

Schaefer, I., Seidl, C., Cleophas, L. G. W. A. & Watson, B. W., 10 May 2016, Software reuse: bridging with social-awareness. Kapitsaki, G. M. & de Almeida, E. S. (eds.). Springer, p. 63-70 (Lecture Notes in Computer Science; vol. 9679).

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

Taxonomies
Taxation
Maintainability
Concretes
Specifications
25 Downloads (Pure)

Using human computation in dead-zone based 2D pattern matching

Cleophas, L. G. W. A., Watson, B. W. & Awid, K., 2016, Proceedings of the Prague Stringology Conference 2016, August 29-31, 2016, Prague, Czech Republic . s.l.: s.n., p. 22-32 11 p.

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

Open Access
File
Pattern matching
Outsourcing
Learning systems
Processing
2015

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
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
1 Downloads (Pure)

N-gram representations for comment filtering

Brand, D., Kroon, S., Van Der Merwe, B. & Cleophas, L., 28 Sep 2015, SAICSIT '15 Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, 28-30 September 2015, Stellenbosch, South Africa . New York: Association for Computing Machinery, Inc, p. 1-10 6

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

Feature extraction
Classifiers
1 Citation (Scopus)

On generating a random deterministic finite automaton as well as its failure equivalent

Nxumalo, M., Kourie, D. G., Cleophas, L. G. W. A. & Watson, B. W., 2015, Proceedings of Russian and South African Workshop on Knowledge Discovery Techniques Based on Formal Concept Analysis (RuZA 2015), November 30 - December 5, 2015, Stellenbosch, South Africa. CEUR-WS.org, Vol. 1552. p. 47-57 11 p.

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

Finite automata
Testing
1 Citation (Scopus)

Quantum leap pattern matching

Watson, B. W., Kourie, D. G. & Cleophas, L., 2015, Proceedings of the Prague Stringology Conference 2015, Prague, Czech Republic, August 24-26, 2015. Holub, J. & Žďárek, J. (eds.). Prague: Prague Stringology Club, p. 104-117 14 p.

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

Pattern matching
String searching algorithms
Table lookup
Costs
1 Citation (Scopus)

SPLicing TABASCO: custom-tailored software product line variants from taxonomy-based toolkits

Schaefer, I., Seidl, C., Cleophas, L. & Watson, B. W., 28 Sep 2015, SAICSIT '15 Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, 28-30 October 2015, Stellenbosch, South Africa. New York: Association for Computing Machinery, Inc, p. 1-10 34

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

Taxonomies

Workshop preview of the 3rd workshop on parsing programming languages (Parsing@SLE 2015)

Cleophas, L. & Afroozeh, A., 25 Oct 2015, SPLASH Companion 2015 - Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. Association for Computing Machinery, Inc, p. 107-108 2 p.

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

Computer programming languages
2014
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
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
1 Citation (Scopus)
28 Downloads (Pure)

Using correctness-by-construction to derive dead-zone algorithms

Watson, B. W., Cleophas, L. G. & Kourie, D. G., 2014, Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, September 1-3, 2014. Holub, J. & Žďárek, J. (eds.). Prague: Prague Stringology Club, p. 84-95 12 p.

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

Open Access
File
Pattern matching
2013

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
3 Citations (Scopus)

Weak factor automata: Comparing (failure) oracles and storacles

Cleophas, L., Kourie, D. G. & Watson, B. W., 2013, Proceedings of the Prague Stringology Conference 2013, PSC 2013, 2-4 September 2013, Prague, Czech Republic. p. 176-190 15 p.

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

Automata
Deterministic Finite Automata
Hardware Implementation
Intrusion Detection
Simplicity
2012
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)
3 Downloads (Pure)

VPDSL : a DSL for software in the loop simulations covering material flow

Nagy, I., Cleophas, L. G. W. A., Brand, van den, M. G. J., Engelen, L. J. P., Raulea, L. V. & Ernest Mithun, X. L., 2012, Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012, Paris, France, July 18-20, 2012). Piscataway: Institute of Electrical and Electronics Engineers, p. 318-327

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

Hardware
Simulators
Materials testing
Lithography
Costs
2011
76 Downloads (Pure)

On compile time Knuth-Morris-Pratt precomputation

Kourie, J., Cleophas, L. G. W. A. & Watson, B. W., 2011, Proceedings of the Prague Stringology Conference 2011 (PSC'11, Prague, Czech Republic, August 29-31, 2011). Holub, J. & Zdanek, J. (eds.). Prague: Czech Technical University in Prague, p. 15-29

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

Open Access
File
Subroutines
Benchmarking
Table lookup
Pattern matching
2010
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
4 Citations (Scopus)

Performance of C++ bit-vector implementations

Pieterse, V., Kourie, D. G., Cleophas, L. G. W. A. & Watson, B. W., 2010, Proceedings of the 2010 Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT 2010, Bela Bela (Warm Baths), South Africa, October 11-13, 2010). Association for Computing Machinery, Inc, p. 242-250

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

Libraries
Programming Languages
Software
2009
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
8 Citations (Scopus)
34 Downloads (Pure)

On minimizing deterministic tree automata

Cleophas, L. G. W. A., Kourie, D. G., Strauss, T. & Watson, B. W., 2009, Proceedings of the Prague Stringology Conference 2009 (PSC'09, Prague, Czech Republic, August 31-September 2, 2009). Holub, J. & Zdarek, J. (eds.). Prague: Czech Technical University in Prague, p. 173-182

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

Open Access
File
Specifications
Trees (mathematics)
Taxonomies
1 Citation (Scopus)
51 Downloads (Pure)

Taxonomies of regular tree algorithms

Cleophas, L. G. W. A. & Hemerik, C., 2009, Proceedings of the Prague Stringology Conference 2009 (PSC'09, Prague, Czech Republic, August 31-September 2, 2009). Holub, J. & Zdarek, J. (eds.). Prague: Czech Technical University in Prague, p. 146-159

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

Open Access
File
Trees (mathematics)
Taxonomies
Pattern matching
Model checking
2006
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
2005
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

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

TABASCO : a taxonomy-based domain engineering method

Cleophas, L. G. W. A., Vosloo, I. & Watson, B. W., 2005, Proceedings JACQUARD 2005 (Zeist, The Netherlands, February 3-4, 2005).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

1 Downloads (Pure)

TABASCO : a taxonomy-based domain engineering method

Cleophas, L. G. W. A., Watson, B. W., Kourie, D. G. & Boake, A., 2005, Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT'05, White River, South Africa, September 20-22, 2005). New York: Association for Computing Machinery, Inc, p. 38-47 (ACM International Conference Proceeding Series; vol. 150).

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

Taxonomies
2004
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
2003
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
4 Citations (Scopus)

The effect of rewriting regular expressions on their accepting automata

Frishert, M., Cleophas, L. G. W. A. & Watson, B. W., 2003, Implementation and Application of Automata (Proceedings 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003). Ibarra, O. H. & Dang, Z. (eds.). Berlin: Springer, p. 304-305 (Lecture Notes in Computer Science; vol. 2759).

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