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
Metamodel clone detection with SAMOS
Ö Babur, L Cleophas, M van den Brand
Journal of Computer Languages 51, 57-74, 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
Using n-grams for the Automated Clustering of Structural Models
Ö Babur, L Cleophas
International Conference on Current Trends in Theory and Practice of …, 2017
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
Constructing factor oracles
L Cleophas, G Zwaan, BW Watson
Technische Universiteit Eindhoven, Department of Mathematics and Computer …, 2004
Spare parts: a C++ toolkit for string pattern recognition
BW Watson, L Cleophas
Software: Practice and Experience 34 (7), 697-710, 2004
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
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
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
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
MH ter Beek, L Cleophas, I Schaefer, BW Watson
International Symposium on Leveraging Applications of Formal Methods, 359-364, 2018
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
Failure deterministic finite automata
DG Kourie, BW Watson, L Cleophas, F Venter
Proceedings of the Prague Stringology Conference 2012 (PSC 2012, Prague …, 2012
Models Meet Data: Challenges to Create Virtual Entities for Digital Twins
M Van Den Brand, L Cleophas, R Gunasekaran, B Haverkort, ...
2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021
The system can't perform the operation now. Try again later.
Articles 1–20