Loek Cleophas

According to our database, Loek Cleophas authored at least 101 papers between 2003 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

VisFork: Towards a toolsuite for visualizing fork ecosystems.

Siyue Chen, Loek Cleophas, Sandro Schulze, Jacob Krüger

Sci. Comput. Program., 2025

2024

Current trends in digital twin development, maintenance, and operation: an interview study.

Hossain Muhammad Muctadir, David A. Manrique Negrin, Raghavendran Gunasekaran, Loek Cleophas, Mark van den Brand, Boudewijn R. Haverkort

Softw. Syst. Model., October, 2024

Safety of Perception Systems for Automated Driving: A Case Study on Apollo.

Sangeeth Kochanthara, Tajinder Singh, Alexandru Forrai, Loek Cleophas

ACM Trans. Softw. Eng. Methodol., March, 2024

Use the Forks, Look! Visualizations for Exploring Fork Ecosystems.

Siyue Chen, Loek Cleophas, Sandro Schulze, Jacob Krüger

Proceedings of the IEEE International Conference on Software Analysis, 2024

Rapid interface generation method for heterogeneous models in Digital twins.

Felipe A. C. Xavier, David Azael Manrique Negrin, Loek Cleophas

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

X-by-Construction Meets AI.

Maurice H. ter Beek, Loek Cleophas, Clemens Dubslaff, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

Maintaining Consistency of Digital Twin Models: Exploring the Potential of Graph-Based Approaches.

Hossain Muhammad Muctadir, Loek Cleophas, Mark van den Brand

Proceedings of the 50th Euromicro Conference on Software Engineering and Advanced Applications, 2024

Evaluating Open-Source Tools for Heterogeneous Model-Based Digital Twin Development: A Microbrewery Case Study.

Ander Lee, David A. Manrique Negrin, Loek Cleophas

Proceedings of the Annual Modeling and Simulation Conference, 2024

2023

LaMa: a thematic labelling web application.

Victoria Bogachenkova, Eduardo Costa Martins, Jarl Jansen, Ana-Maria Olteniceanu, Bartjan Henkemans, Chinno Lavin, Linh Nguyen, Thea Bradley, Veerle Fürst, Hossain Muhammad Muctadir, Mark van den Brand, Loek Cleophas, Alexander Serebrenik

J. Open Source Softw., June, 2023

LaMa: a thematic labelling web application.

Victoria Bogachenkova, Eduardo Costa Martins, Jarl Jansen, Ana-Maria Olteniceanu, Bartjan Henkemans, Chinno Lavin, Linh Nguyen, Thea Bradley, Veerle Fürst, Hossain Muhammad Muctadir, Mark van den Brand, Loek Cleophas, Alexander Serebrenik

Dataset, April, 2023

Tool interoperability for model-based systems engineering.

Sander Thuijsman, Gökhan Kahraman, Alireza Mohamadkhani, Ferry Timmers, Loek Cleophas, Marc Geilen, Jan Friso Groote, Michel A. Reniers, Ramon R. H. Schiffelers, Jeroen Voeten

CoRR, 2023

True Variability Shining Through Taxonomy Mining.

Christoph König, Kamil Rosiak, Loek Cleophas, Ina Schaefer

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

A Comparison of Visualization Concepts and Tools for Variant-Rich System Engineering.

Siyue Chen, Loek Cleophas, Jacob Krüger

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Co-Evolving Meta-Models and View Types in View-Based Development.

Hossain Muhammad Muctadir, Lars König, Thomas Weber, Moussa Amrani, Loek Cleophas

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering.

Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

3rd International Workshop on Model-Driven Engineering for Digital Twins (MoDDiT 2023).

Tony Clark, Loek Cleophas, Romina Eramo, Vinay Kulkarni, Manuel Wimmer

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362).

Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoît Combemale, Bernhard Rumpe, Steffen Zschaler

Dagstuhl Reports, September, 2022

SAMOS - A Framework for Model Analytics and Management.

Önder Babur, Loek Cleophas, Mark van den Brand

Dataset, September, 2022

SAMOS - A framework for model analytics and management.

Önder Babur, Loek Cleophas, Mark van den Brand

Sci. Comput. Program., 2022

A tool for modeling and analysis of relationships among feature model views.

Gökhan Kahraman, Loek Cleophas

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Painting the Landscape of Automotive Software in GitHub.

Sangeeth Kochanthara, Yanja Dajsuren, Loek Cleophas, Mark van den Brand

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Virtual soccer champions: a case study on artifact reuse in soccer robot digital twin construction.

Gijs Walravens, Hossain Muhammad Muctadir, Loek Cleophas

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

A community-sourced view on engineering digital twins: a report from the EDT.Community.

Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoît Combemale, Mark van den Brand, Michael Vierhauser, Manuel Wimmer, Steffen Zschaler

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

X-by-Construction Meets Runtime Verification.

Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY.

Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

A functional safety assessment method for cooperative automotive architecture.

Sangeeth Kochanthara, Niels Rood, Arash Khabbaz Saberi, Loek Cleophas, Yanja Dajsuren, Mark van den Brand

J. Syst. Softw., 2021

Aggregation-based minimization of finite state automata.

Johanna Björklund, Loek Cleophas

Acta Informatica, 2021

Automated derivation of variants in manufacturing systems design.

Gökhan Kahraman, Loek Cleophas

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Tutorial: The Correctness-by-Construction Approach to Programming Using CorC.

Ina Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson

Proceedings of the IEEE Secure Development Conference, 2021

Tool Support for Correctness-by-Construction.

Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Software Engineering 2021, 2021

Using Ptolemy II as a Framework for Virtual Entity Integration and Orchestration in Digital Twins.

David A. Manrique Negrin, Loek Cleophas, Mark van den Brand

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Modeling Relationships Between Feature Model Views.

Gökhan Kahraman, Loek Cleophas, Ramon R. H. Schiffelers

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Models Meet Data: Challenges to Create Virtual Entities for Digital Twins.

Mark van den Brand, Loek Cleophas, Raghavendran Gunasekaran, Boudewijn R. Haverkort, David A. Manrique Negrin, Hossain Muhammad Muctadir

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

MoDDiT 2021: 1^st International Workshop on Model-Driven Engineering for Digital Twins.

Francis Bordeleau, Loek Cleophas, Benoît Combemale, Romina Eramo, Mark van den Brand, Manuel Wimmer, Andreas Wortmann

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Summary: A Functional Safety Assessment Method for Cooperative Automotive Architecture (short paper).

Sangeeth Kochanthara, Niels Rood, Arash Khabbaz Saberi, Loek Cleophas, Yanja Dajsuren, Mark van den Brand

Proceedings of the ECSA 2021 Companion Volume, 2021

2020

On modification of Boyer-Moore-horspool's algorithm for tree pattern matching in linearised trees.

Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek Cleophas

Theor. Comput. Sci., 2020

Interface protocol inference to aid understanding legacy software components.

Kousar Aslam, Loek Cleophas, Ramon R. H. Schiffelers, Mark van den Brand

Softw. Syst. Model., 2020

X-by-Construction - Correctness Meets Probability.

Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems.

Sangeeth Kochanthara, Niels Rood, Loek Cleophas, Yanja Dajsuren, Mark van den Brand

Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020

2019

Metamodel clone detection with SAMOS.

Önder Babur, Loek Cleophas, Mark van den Brand

J. Comput. Lang., 2019

Improving Model Inference in Industry by Combining Active and Passive Learning.

Nan Yang, Kousar Aslam, Ramon R. H. Schiffelers, Leonard Lensink, Dennis Hendriks, Loek Cleophas, Alexander Serebrenik

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study.

Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Improving custom-tailored variability mining using outlier and cluster detection.

David Wille, Önder Babur, Loek Cleophas, Christoph Seidl, Mark van den Brand, Ina Schaefer

Sci. Comput. Program., 2018

Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017).

Loek Cleophas, Ina Schaefer, Bruce W. Watson

Sci. Comput. Program., 2018

Tree pattern matching from regular tree expressions.

Ahlem Belabbaci, Hadda Cherroun, Loek Cleophas, Djelloul Ziadi

Kybernetika, 2018

Towards Distributed Model Analytics with Apache Spark.

Önder Babur, Loek Cleophas, Mark van den Brand

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Model analytics for feature models: case studies for S.P.L.O.T. repository.

Önder Babur, Loek Cleophas, Mark van den Brand

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Towards Confidentiality-by-Construction.

Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

X-by-Construction.

Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Using CSP to Develop Quality Concurrent Software.

Derrick G. Kourie, Tinus Strauss, Loek Cleophas, Bruce W. Watson

Proceedings of the Principled Software Development, 2018

2017

An Assessment of Algorithms for Deriving Failure Deterministic Finite Automata.

Madoda Nxumalo, Derrick G. Kourie, Loek Cleophas, Bruce W. Watson

South Afr. Comput. J., 2017

An Evaluation of Structured Language Modeling for Automatic Speech Recognition.

Johanna Björklund, Loek Cleophas, My Karlsson

J. Univers. Comput. Sci., 2017

Many-MADFAct: Concurrently Constructing MADFAs.

Tobias Runge, Ina Schaefer, Loek Cleophas, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2017, 2017

Models, More Models, and Then a Lot More.

Önder Babur, Loek Cleophas, Mark van den Brand, Bedir Tekinerdogan, Mehmet Aksit

Proceedings of the Software Technologies: Applications and Foundations, 2017

Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation.

Alexander Schlie, David Wille, Sandro Schulze, Loek Cleophas, Ina Schaefer

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Using n-grams for the Automated Clustering of Structural Models.

Önder Babur, Loek Cleophas

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Benchmarking optimised algorithms for transitive closure.

Vreda Pieterse, Loek Cleophas

Proceedings of the South African Institute of Computer Scientists and Information Technologists, 2017

Minimization of Finite State Automata Through Partition Aggregation.

Johanna Björklund, Loek Cleophas

Proceedings of the Language and Automata Theory and Applications, 2017

Clustering Variation Points in MATLAB/Simulink Models Using Reverse Signal Propagation Analysis.

Alexander Schlie, David Wille, Loek Cleophas, Ina Schaefer

Proceedings of the Mastering Scale and Complexity in Software Reuse, 2017

CSP for Parallelising Brzozowski's DFA Construction Algorithm.

Tinus Strauss, Bruce W. Watson, Derrick G. Kourie, Loek Cleophas

Proceedings of the Role of Theory in Computer Science, 2017

2016

A Taxonomy of Minimisation Algorithms for Deterministic Tree Automata.

Johanna Björklund, Loek Cleophas

J. Univers. Comput. Sci., 2016

Using Human Computation in Dead-zone based 2D Pattern Matching.

Kamil Awid, Loek Cleophas, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2016, 2016

Towards Statistical Comparison and Analysis of Models.

Önder Babur, Loek Cleophas, Tom Verhoeff, Mark van den Brand

Proceedings of the MODELSWARD 2016, 2016

Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?

Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families.

Loek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Tax-PLEASE - Towards Taxonomy-Based Software Product Line Engineering.

Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson

Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Hierarchical Clustering of Metamodels for Comparative Analysis and Visualization.

Önder Babur, Loek Cleophas, Mark van den Brand

Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

2015

Experience with correctness-by-construction.

Bruce W. Watson, Derrick G. Kourie, Loek G. Cleophas

Sci. Comput. Program., 2015

Quantum Leap Pattern Matching.

Bruce W. Watson, Derrick G. Kourie, Loek G. Cleophas

Proceedings of the Prague Stringology Conference 2015, 2015

SPLicing TABASCO: Custom-Tailored Software Product Line Variants from Taxonomy-Based Toolkits.

Ina Schaefer, Christoph Seidl, Loek G. Cleophas, Bruce W. Watson

Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, 2015

N-Gram Representations For Comment Filtering.

Dirk Brand, Steve Kroon, Brink van der Merwe, Loek G. Cleophas

Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, 2015

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

Loek G. Cleophas, Ali Afroozeh

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Backward Linearised Tree Pattern Matching.

Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek G. Cleophas

Proceedings of the Language and Automata Theory and Applications, 2015

An Aho-Corasick Based Assessment of Algorithms Generating Failure Deterministic Finite Automata.

Madoda Nxumalo, Derrick G. Kourie, Loek G. Cleophas, Bruce W. Watson

Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, 2015

2014

Weak factor automata: the failure of failure factor oracles?

Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson

South Afr. Comput. J., 2014

Using Correctness-by-Construction to Derive Dead-zone Algorithms.

Bruce W. Watson, Loek G. Cleophas, Derrick G. Kourie

Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, 2014

A Process-Oriented Implementation of Brzozowski's DFA Construction Algorithm.

Tinus Strauss, Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas

Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, 2014

Empirically Assessing Algorithm Performance.

Derrick G. Kourie, Bruce W. Watson, Tinus Strauss, Loek G. Cleophas, Melanie Mauch

Proceedings of the Southern African Institute for Computer Scientist and Information Technologists Annual Conference 2014, 2014

2013

Weak Factor Automata: Comparing (Failure) Oracles and Storacles.

Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2013, Prague, Czech Republic, 2013

Efficient representation of DNA data for pattern recognition using failure factor oracles.

Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson

Proceedings of the 2013 South African Institute for Computer Scientists and Information Technologists, 2013

2012

Failure Deterministic Finite Automata.

Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas, Fritz Venter

Proceedings of the Prague Stringology Conference 2012, 2012

VPDSL: A DSL for Software in the Loop Simulations Covering Material Flow.

Istvan Nagy, Loek G. Cleophas, Mark van den Brand, Luc Engelen, Liviu Raulea, Ernest Xavier Lobo Mithun

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

On Compile Time Knuth-Morris-Pratt Precomputation.

Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas

Proceedings of the Prague Stringology Conference 2011, 2011

2010

A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms.

Loek G. Cleophas, Bruce W. Watson, Gerard Zwaan

Sci. Comput. Program., 2010

Improving Automata Efficiency by Stretching and Jamming.

Noud de Beijer, Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2010, Prague, Czech Republic, August 30, 2010

Performance of C++ bit-vector implementations.

Vreda Pieterse, Derrick G. Kourie, Loek G. Cleophas, Bruce W. Watson

Proceedings of the 2010 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2010

2009

Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms.

Loek G. Cleophas, Kees Hemerik

Proceedings of the Implementation and Application of Automata, 2009

On Minimizing Deterministic Tree Automata.

Loek G. Cleophas, Derrick G. Kourie, Tinus Strauss, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2009, Prague, Czech Republic, August 31, 2009

Taxonomies of Regular Tree Algorithms.

Loek G. Cleophas, Kees Hemerik

Proceedings of the Prague Stringology Conference 2009, Prague, Czech Republic, August 31, 2009

2008

A Boyer-Moore-Horspool algorithm derivation.

Loek G. Cleophas, Bruce W. Watson

South Afr. Comput. J., 2008

Efficient Automata Constructions and Approximate Automata.

Bruce W. Watson, Derrick G. Kourie, Tinus Strauss, Ernest Ketcha Ngassam, Loek G. Cleophas

Int. J. Found. Comput. Sci., 2008

Forest FIRE and FIRE Wood: Tools for Tree Automata and Tree Algorithms.

Loek G. Cleophas

Proceedings of the Finite-State Methods and Natural Language Processing, 2008

2006

TABASCO: using concept-based taxonomies in domain engineering.

Loek G. Cleophas, Bruce W. Watson, Derrick G. Kourie, Andrew Boake, Sergei A. Obiedkov

South Afr. Comput. J., 2006

Two Related Algorithms for Root-to-frontier Tree Pattern Matching.

Loek G. Cleophas, Kees Hemerik, Gerard Zwaan

Int. J. Found. Comput. Sci., 2006

2005

Constructing Factor Oracles.

Loek G. Cleophas, Gerard Zwaan, Bruce W. Watson

J. Autom. Lang. Comb., 2005

Taxonomy-based software construction of SPARE Time: a case study.

Loek G. Cleophas, Bruce W. Watson

IEE Proc. Softw., 2005

A missing link in root-to-frontier tree pattern matching.

Loek G. Cleophas, Kees Hemerik, Gerard Zwaan

Proceedings of the Prague Stringology Conference, 2005

2004

SPARE Parts: a C++ toolkit for string pattern recognition.

Bruce W. Watson, Loek G. Cleophas

Softw. Pract. Exp., 2004

FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views.

Michiel Frishert, Loek G. Cleophas, Bruce W. Watson

Proceedings of the Implementation and Application of Automata, 2004

Automaton-Based Sublinear Keyword Pattern Matching.

Loek G. Cleophas, Bruce W. Watson, Gerard Zwaan

Proceedings of the String Processing and Information Retrieval, 2004

2003

The Effect of Rewriting Regular Expressions on Their Accepting Automata.

Michiel Frishert, Loek G. Cleophas, Bruce W. Watson

Proceedings of the Implementation and Application of Automata, 2003