• 155 Citaten
20032019
Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput 2003 2019

2019
1 Citaat (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 mrt 2019, 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019). Shihab, E., Lo, D. & Wang, X. (redactie). Piscataway: Institute of Electrical and Electronics Engineers, blz. 253-263 11 blz. 8668007

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Industry
Lithography
Problem-Based Learning
Semiconductor materials

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, blz. 3-11 9 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Decision making
3 Citaties (Scopus)
2 Downloads (Pure)

Metamodel clone detection with SAMOS

Babur, Ö., Cleophas, L. & van den Brand, M., 1 apr 2019, In : Journal of Computer Languages. 51, blz. 57-74 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftArtikel recenserenAcademicpeer review

Vector spaces
Scalability
Feature extraction
Statistical methods
Processing

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, blz. 273-316 44 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

ecosystem engineering
ecosystem
clone
artifact
engineering

Model management and analytics for large scale systems

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Large scale systems
Information management
Software engineering
Industry
14 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. (redactie). Springer, blz. 25-42 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11424 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
Tool Support
Correctness
Specifications
Specification
Refinement
2018
4 Citaties (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 okt 2018, In : Science of Computer Programming. 163, blz. 62-84 23 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Copying
MATLAB
Identification (control systems)
Industry
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. (redactie). CEUR-WS.org, blz. 21-23 3 blz. (CEUR Workshop Proceedings; vol. 2361).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
3 Citaties (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. (redactie). CEUR-WS.org, blz. 787-792 6 blz. (CEUR Workshop Proceedings; nr. 2245).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
Software engineering
5 Citaties (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. (redactie). Cham: Springer, blz. 129-135 7 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). CEUR-WS.org, blz. 778-779 2 blz. (CEUR Workshop Proceedings; nr. 2245).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
Ecosystems
Computer hardware
Learning systems
Industry
System of systems
2 Citaties (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. (redactie). Springer, blz. 502-515 14 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11244 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Confidentiality
Information Flow
Flow control
Specifications
Control Policy
1 Citaat (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. (redactie). SCITEPRESS-Science and Technology Publications, Lda., blz. 767-772 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Electric sparks
Scalability
Information retrieval
Data mining
Engines
322 Downloads (Pure)

Tree pattern matching from regular tree expressions

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
Pattern matching
Pattern Matching
Tree Automata
Time Complexity
Automata

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, blz. 1-2 2 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Reengineering

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. (redactie). Springer, blz. 359-364 6 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11244 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Correctness
Dependability
Software System
Energy Consumption
Refinement
2017
1 Citaat (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, blz. 43-68 26 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
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, blz. 1019-1034

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand

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, blz. 1-10 27

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Benchmarking
Fusion reactions
1 Citaat (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. (redactie). Springer, blz. 77-94 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10221 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Matlab/Simulink
MATLAB
Reverse
Clustering
Propagation

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, blz. 217-244 28 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Algebra
Finite automata
Computer programming languages
Specifications
4 Citaties (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. blz. 215-224 10 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

MATLAB
Industry
Copying
Engineers
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. (redactie). Prague: Czech Technical University in Prague, blz. 126-142 17 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
Finite automata
Glossaries
Network security
Taxonomies
1 Citaat (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, blz. 223-235 13 blz. (Lecture Notes in Computer Science; vol. 10168).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Finite automata
Agglomeration
8 Citaties (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, blz. 510-524 15 blz. (Lecture Notes in Computer Science; vol. 10139).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

N-gram
Structural Model
Clustering
Model
Model-based Clustering
2016
2 Citaties (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, blz. 180-196

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
3 Citaties (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 okt 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. (redactie). Dordrecht: Springer, blz. 730-748 (LNCS; vol. 9952).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Productivity
Semantics
3 Citaties (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, blz. 766-783 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9952 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Taxonomies
Taxonomy
Correctness
Refinement
Design of Algorithms
10 Citaties (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. (redactie). Dordrecht: Springer, blz. 3-18 (Lecture Notes in Computer Science; vol. 9764).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Visualization
Recovery
Vector spaces
Merging
Processing

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. (redactie). Berlin: Springer, blz. 328-328 (Lecture Notes in Computer Science; vol. 10054).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

2 Citaties (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 mei 2016, Software reuse: bridging with social-awareness. Kapitsaki, G. M. & de Almeida, E. S. (redactie). Springer, blz. 63-70 (Lecture Notes in Computer Science; vol. 9679).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Taxonomies
Taxation
Maintainability
Concretes
Specifications
7 Citaties (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 . blz. 361-367

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Open Access
Bestand
Recovery
Vector spaces
Linguistics
Genetic algorithms
26 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., blz. 22-32 11 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
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. (redactie). CEUR-WS.org, blz. 87-98 12 blz. (CEUR Workshop Proceedings; vol. 1466).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Finite automata
2 Citaties (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. (redactie). Berlin: Springer, blz. 599-610 12 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8977).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Pattern matching
Pattern Matching
Strings
Trees (mathematics)
Ordered Trees
1 Citaat (Scopus)

Experience with correctness-by-construction

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Software engineering
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, blz. 1-10 6

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Feature extraction
Classifiers
1 Citaat (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. blz. 47-57 11 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Finite automata
Testing
1 Citaat (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. (redactie). Prague: Prague Stringology Club, blz. 104-117 14 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Pattern matching
String searching algorithms
Table lookup
Costs
1 Citaat (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, blz. 1-10 34

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Taxonomies

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

Cleophas, L. & Afroozeh, A., 25 okt 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, blz. 107-108 2 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Prague: Prague Stringology Club, blz. 17-29 13 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Finite automata
Scheduling
1 Citaat (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. (redactie). New York: Association for Computing Machinery, Inc, blz. 115-125 11 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Pattern matching
1 Citaat (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. (redactie). Prague: Prague Stringology Club, blz. 84-95 12 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
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, blz. 1-14 14 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
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, blz. 369-377 9 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

DNA sequences
Pattern recognition
DNA
Pattern matching
Finite automata
3 Citaties (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. blz. 176-190 15 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Automata
Deterministic Finite Automata
Hardware Implementation
Intrusion Detection
Simplicity
2012
9 Citaties (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. (redactie). Prague: Czech Technical University in Prague, blz. 28-41

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
Finite automata
Formal concept analysis
Formal languages
Pattern matching
4 Citaties (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, blz. 318-327

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Prague: Czech Technical University in Prague, blz. 15-29

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
Subroutines
Benchmarking
Table lookup
Pattern matching