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

Research Output 2003 2019

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

Metamodel clone detection with SAMOS

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

Research output: Contribution to journalReview articleAcademicpeer-review

Vector spaces
Scalability
Feature extraction
Statistical methods
Processing

Model analytics and management

Babur, Ö., 20 Feb 2019, Eindhoven: Technische Universiteit Eindhoven. 170 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File

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

Designing and implementing a learning analytics platform for online courses

Giraldo Garcia, C. G., 6 Dec 2018, Eindhoven: Technische Universiteit Eindhoven. 99 p.

Research output: ThesisPd Eng ThesisAcademic

Open Access
File
4 Citations (Scopus)

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

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)

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

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

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)

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

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

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

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

Advanced health monitor for automated driving functions

Mikovski Iotov, I., 7 Dec 2017, Eindhoven: Technische Universiteit Eindhoven. 95 p.

Research output: ThesisPd Eng ThesisAcademic

Open Access
File
Health
1 Citation (Scopus)

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

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

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

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

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
3 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

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

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)

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

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

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

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

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

2 Citations (Scopus)

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

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

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 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

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

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)

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

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
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)

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)

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

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