Loek Cleophas
Loek Cleophas
Assistant Professor, TU Eindhoven; and Research Fellow, Stellenbosch University
Verified email at - Homepage
Cited by
Cited by
Tree algorithms: two taxonomies and a toolkit
LGWA Cleophas
Technische Universiteit Eindhoven, 2008
Hierarchical Clustering of Metamodels for Comparative Analysis and Visualization
Ö Babur, L Cleophas, M van den Brand
European Conference on Modelling Foundations and Applications, 3-18, 2016
Constructing factor oracles
L Cleophas, G Zwaan, BW Watson
Technische Universiteit Eindhoven, Department of Mathematics and Computer …, 2004
Using n-grams for the Automated Clustering of Structural Models
Ö Babur, L Cleophas
International Conference on Current Trends in Theory and Practice of …, 2017
Spare parts: a C++ toolkit for string pattern recognition
BW Watson, L Cleophas
Software: Practice and Experience 34 (7), 697-710, 2004
Metamodel clone detection with SAMOS
Ö Babur, L Cleophas, M van den Brand
Journal of Computer Languages 51, 57-74, 2019
Improving Model Inference in Industry by Combining Active and Passive Learning
N Yang, K Aslam, R Schiffelers, L Lensink, D Hendriks, L Cleophas, ...
2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019
Tool Support for Correctness-by-Construction
T Runge, I Schaefer, L Cleophas, T Thüm, D Kourie, BW Watson
International Conference on Fundamental Approaches to Software Engineering …, 2019
Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation
A Schlie, D Wille, S Schulze, L Cleophas, I Schaefer
Proceedings of the 21st International Systems and Software Product Line …, 2017
Models, More Models, and Then a Lot More
Ö Babur, L Cleophas, M van den Brand, B Tekinerdogan, M Aksit
Federation of International Conferences on Software Technologies …, 2017
A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms
L Cleophas, BW Watson, G Zwaan
Science of Computer Programming 75 (11), 1095-1112, 2010
Performance of C++ bit-vector implementations
V Pieterse, DG Kourie, L Cleophas, BW Watson
Proceedings of the 2010 Annual Research Conference of the South African …, 2010
Towards SPARE time: a new taxonomy and toolkit of keyword pattern matching algorithms
LGWA Cleophas
Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?
BW Watson, DG Kourie, I Schaefer, L Cleophas
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
Failure Deterministic Finite Automata.
DG Kourie, BW Watson, LG Cleophas, F Venter
Stringology, 28-41, 2012
Improving custom-tailored variability mining using outlier and cluster detection
D Wille, Ö Babur, L Cleophas, C Seidl, M van den Brand, I Schaefer
Science of Computer Programming 163, 62-84, 2018
Towards confidentiality-by-construction
I Schaefer, T Runge, A Knüppel, L Cleophas, D Kourie, BW Watson
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
Forest FIRE and FIRE Wood: Tools for tree automata and tree algorithms
L Cleophas
Finite-State Methods and Natural Language Processing (7th International …, 2009
Interface protocol inference to aid understanding legacy software components
K Aslam, L Cleophas, R Schiffelers, M van den Brand
Software and Systems Modeling 19 (6), 1519-1540, 2020
Clustering variation points in matlab/simulink models using reverse signal propagation analysis
A Schlie, D Wille, L Cleophas, I Schaefer
Mastering Scale and Complexity in Software Reuse: 16th International …, 2017
The system can't perform the operation now. Try again later.
Articles 1–20