Loek Cleophas

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 64

Top Topics

Structural Model

Finite State Automata

Systems Engineering

Top Venues

MoDELS (Companion)

Publications

Sangeeth Kochanthara, Tajinder Singh, Alexandru Forrai, Loek Cleophas
Safety of Perception Systems for Automated Driving: A Case Study on Apollo. ACM Trans. Softw. Eng. Methodol. 33 (3) (2024)
Siyue Chen, Loek Cleophas, Sandro Schulze, Jacob Krüger
Use the Forks, Look! Visualizations for Exploring Fork Ecosystems. SANER (2024)
Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe
Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering. MoDELS (Companion) (2023)
Hossain Muhammad Muctadir, Lars König, Thomas Weber, Moussa Amrani, Loek Cleophas
Co-Evolving Meta-Models and View Types in View-Based Development. MoDELS (Companion) (2023)
Hossain Muhammad Muctadir, David A. Manrique Negrin, Raghavendran Gunasekaran, Loek Cleophas, Mark van den Brand, Boudewijn R. Haverkort
Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study. CoRR (2023)
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
Tool interoperability for model-based systems engineering. CoRR (2023)
Siyue Chen, Loek Cleophas, Jacob Krüger
A Comparison of Visualization Concepts and Tools for Variant-Rich System Engineering. SPLC (A) (2023)
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
LaMa: a thematic labelling web application. J. Open Source Softw. 8 (86) (2023)
Tony Clark, Loek Cleophas, Romina Eramo, Vinay Kulkarni, Manuel Wimmer
3rd International Workshop on Model-Driven Engineering for Digital Twins (MoDDiT 2023). MoDELS (Companion) (2023)
Christoph König, Kamil Rosiak, Loek Cleophas, Ina Schaefer
True Variability Shining Through Taxonomy Mining. SPLC (A) (2023)
Sangeeth Kochanthara, Yanja Dajsuren, Loek Cleophas, Mark van den Brand
Painting the Landscape of Automotive Software in GitHub. MSR (2022)
Gökhan Kahraman, Loek Cleophas
A tool for modeling and analysis of relationships among feature model views. SPLC (B) (2022)
Gijs Walravens, Hossain Muhammad Muctadir, Loek Cleophas
Virtual soccer champions: a case study on artifact reuse in soccer robot digital twin construction. MoDELS (Companion) (2022)
Sangeeth Kochanthara, Yanja Dajsuren, Loek Cleophas, Mark van den Brand
Painting the Landscape of Automotive Software in GitHub. CoRR (2022)
Önder Babur, Loek Cleophas, Mark van den Brand
SAMOS - A framework for model analytics and management. Sci. Comput. Program. 223 (2022)
Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoît Combemale, Mark van den Brand, Michael Vierhauser, Manuel Wimmer, Steffen Zschaler
A community-sourced view on engineering digital twins: a report from the EDT.Community. MoDELS (Companion) (2022)
Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoît Combemale, Bernhard Rumpe, Steffen Zschaler
Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362). Dagstuhl Reports 12 (9) (2022)
Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer
X-by-Construction Meets Runtime Verification. ISoLA (1) (2022)
Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Gökhan Kahraman, Loek Cleophas
Automated derivation of variants in manufacturing systems design. SPLC (B) (2021)
Francis Bordeleau, Loek Cleophas, Benoît Combemale, Romina Eramo, Mark van den Brand, Manuel Wimmer, Andreas Wortmann
International Workshop on Model-Driven Engineering for Digital Twins. MoDELS (Companion) (2021)
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
Tool Support for Correctness-by-Construction. Software Engineering (2021)
Sangeeth Kochanthara, Niels Rood, Arash Khabbaz Saberi, Loek Cleophas, Yanja Dajsuren, Mark van den Brand
A Functional Safety Assessment Method for Cooperative Automotive Architecture. CoRR (2021)
Sangeeth Kochanthara, Niels Rood, Arash Khabbaz Saberi, Loek Cleophas, Yanja Dajsuren, Mark van den Brand
A functional safety assessment method for cooperative automotive architecture. J. Syst. Softw. 179 (2021)
Gökhan Kahraman, Loek Cleophas, Ramon R. H. Schiffelers
Modeling Relationships Between Feature Model Views. MoDELS (Companion) (2021)
Sangeeth Kochanthara, Niels Rood, Arash Khabbaz Saberi, Loek Cleophas, Yanja Dajsuren, Mark van den Brand
Summary: A Functional Safety Assessment Method for Cooperative Automotive Architecture (short paper). ECSA (Companion) (2021)
Johanna Björklund, Loek Cleophas
Aggregation-based minimization of finite state automata. Acta Informatica 58 (3) (2021)
David A. Manrique Negrin, Loek Cleophas, Mark van den Brand
Using Ptolemy II as a Framework for Virtual Entity Integration and Orchestration in Digital Twins. MoDELS (Companion) (2021)
Mark van den Brand, Loek Cleophas, Raghavendran Gunasekaran, Boudewijn R. Haverkort, David A. Manrique Negrin, Hossain Muhammad Muctadir
Models Meet Data: Challenges to Create Virtual Entities for Digital Twins. MoDELS (Companion) (2021)
Ina Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson
Tutorial: The Correctness-by-Construction Approach to Programming Using CorC. SecDev (2021)
Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek Cleophas
On modification of Boyer-Moore-horspool's algorithm for tree pattern matching in linearised trees. Theor. Comput. Sci. (2020)
Sangeeth Kochanthara, Niels Rood, Loek Cleophas, Yanja Dajsuren, Mark van den Brand
Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems. ICSA Companion (2020)
Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson
X-by-Construction - Correctness Meets Probability. ISoLA (1) (2020)
Kousar Aslam, Loek Cleophas, Ramon R. H. Schiffelers, Mark van den Brand
Interface protocol inference to aid understanding legacy software components. Softw. Syst. Model. 19 (6) (2020)
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
Tool Support for Correctness-by-Construction. FASE (2019)
Önder Babur, Loek Cleophas, Mark van den Brand
Metamodel clone detection with SAMOS. J. Comput. Lang. 51 (2019)
Nan Yang, Kousar Aslam, Ramon R. H. Schiffelers, Leonard Lensink, Dennis Hendriks, Loek Cleophas, Alexander Serebrenik
Improving Model Inference in Industry by Combining Active and Passive Learning. SANER (2019)
Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. FM Workshops (2) (2019)
David Wille, Önder Babur, Loek Cleophas, Christoph Seidl, Mark van den Brand, Ina Schaefer
Improving custom-tailored variability mining using outlier and cluster detection. Sci. Comput. Program. 163 (2018)
Önder Babur, Loek Cleophas, Mark van den Brand
Metamodel Clone Detection with SAMOS. BENEVOL (2018)
Derrick G. Kourie, Tinus Strauss, Loek Cleophas, Bruce W. Watson
Using CSP to Develop Quality Concurrent Software. Principled Software Development (2018)
Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson
X-by-Construction. ISoLA (1) (2018)
Önder Babur, Loek Cleophas, Mark van den Brand
Model analytics for feature models: case studies for S.P.L.O.T. repository. MoDELS (Workshops) (2018)
Loek Cleophas, Ina Schaefer, Bruce W. Watson
Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017). Sci. Comput. Program. 166 (2018)
Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson
Towards Confidentiality-by-Construction. ISoLA (1) (2018)
Önder Babur, Loek Cleophas, Mark van den Brand
Towards Distributed Model Analytics with Apache Spark. MODELSWARD (2018)
Ahlem Belabbaci, Hadda Cherroun, Loek Cleophas, Djelloul Ziadi
Tree pattern matching from regular tree expressions. Kybernetika 54 (2) (2018)
Johanna Björklund, Loek Cleophas
Minimization of Finite State Automata Through Partition Aggregation. LATA (2017)
Alexander Schlie, David Wille, Sandro Schulze, Loek Cleophas, Ina Schaefer
Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation. SPLC (A) (2017)
Tobias Runge, Ina Schaefer, Loek Cleophas, Bruce W. Watson
Many-MADFAct: Concurrently Constructing MADFAs. Stringology (2017)
Önder Babur, Loek Cleophas, Mark van den Brand, Bedir Tekinerdogan, Mehmet Aksit
Models, More Models, and Then a Lot More. STAF Workshops (2017)
Tinus Strauss, Bruce W. Watson, Derrick G. Kourie, Loek Cleophas
CSP for Parallelising Brzozowski's DFA Construction Algorithm. The Role of Theory in Computer Science (2017)
Madoda Nxumalo, Derrick G. Kourie, Loek Cleophas, Bruce W. Watson
An Assessment of Algorithms for Deriving Failure Deterministic Finite Automata. South Afr. Comput. J. 29 (1) (2017)
Johanna Björklund, Loek Cleophas, My Karlsson
An Evaluation of Structured Language Modeling for Automatic Speech Recognition. J. Univers. Comput. Sci. 23 (11) (2017)
Vreda Pieterse, Loek Cleophas
Benchmarking optimised algorithms for transitive closure. SAICSIT (2017)
Alexander Schlie, David Wille, Loek Cleophas, Ina Schaefer
Clustering Variation Points in MATLAB/Simulink Models Using Reverse Signal Propagation Analysis. ICSR (2017)
Önder Babur, Loek Cleophas
Using n-grams for the Automated Clustering of Structural Models. SOFSEM (2017)
Önder Babur, Loek Cleophas, Tom Verhoeff, Mark van den Brand
Towards Statistical Comparison and Analysis of Models. MODELSWARD (2016)
Kamil Awid, Loek Cleophas, Bruce W. Watson
Using Human Computation in Dead-zone based 2D Pattern Matching. Stringology (2016)
Johanna Björklund, Loek Cleophas
A Taxonomy of Minimisation Algorithms for Deterministic Tree Automata. J. Univers. Comput. Sci. 22 (2) (2016)
Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson
Tax-PLEASE - Towards Taxonomy-Based Software Product Line Engineering. ICSR (2016)
Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas
Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? ISoLA (1) (2016)
Önder Babur, Loek Cleophas, Mark van den Brand
Hierarchical Clustering of Metamodels for Comparative Analysis and Visualization. ECMFA (2016)
Loek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson
Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families. ISoLA (1) (2016)