Follow
Loek Cleophas
Loek Cleophas
Assistant Professor, TU Eindhoven; and Research Fellow, Stellenbosch University
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
Tree algorithms: two taxonomies and a toolkit
LGWA Cleophas
Technische Universiteit Eindhoven, 2008
612008
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
472016
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
392019
Metamodel clone detection with SAMOS
Ö Babur, L Cleophas, M van den Brand
Journal of Computer Languages 51, 57-74, 2019
392019
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
352019
Using n-grams for the Automated Clustering of Structural Models
Ö Babur, L Cleophas
International Conference on Current Trends in Theory and Practice of …, 2017
342017
Constructing factor oracles
L Cleophas, G Zwaan, BW Watson
Technische Universiteit Eindhoven, Department of Mathematics and Computer …, 2004
292004
Spare parts: a C++ toolkit for string pattern recognition
BW Watson, L Cleophas
Software: Practice and Experience 34 (7), 697-710, 2004
282004
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
262017
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
252021
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
212017
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
192010
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
182020
X-by-Construction
MH ter Beek, L Cleophas, I Schaefer, BW Watson
International Symposium on Leveraging Applications of Formal Methods, 359-364, 2018
182018
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
182016
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
182010
Towards SPARE time: a new taxonomy and toolkit of keyword pattern matching algorithms
LGWA Cleophas
182003
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
172018
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
172018
Comparing correctness-by-construction with post-hoc verification—a qualitative user study
T Runge, T Thüm, L Cleophas, I Schaefer, BW Watson
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
162020
The system can't perform the operation now. Try again later.
Articles 1–20