Loek Cleophas
Orcid: 0000-0002-7221-3676Affiliations:
- Eindhoven University of Technology, The Netherlands
- Stellenbosch University, Stellenbosch, South Africa
According to our database1,
Loek Cleophas
authored at least 101 papers
between 2003 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
Sci. Comput. Program., 2025
2024
Current trends in digital twin development, maintenance, and operation: an interview study.
Softw. Syst. Model., October, 2024
ACM Trans. Softw. Eng. Methodol., March, 2024
Proceedings of the IEEE International Conference on Software Analysis, 2024
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
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.
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.
Proceedings of the Annual Modeling and Simulation Conference, 2024
2023
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.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
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).
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
2022
Dagstuhl Reports, September, 2022
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
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.
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.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022
2021
J. Syst. Softw., 2021
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021
Proceedings of the IEEE Secure Development Conference, 2021
Proceedings of the Software Engineering 2021, 2021
Using Ptolemy II as a Framework for Virtual Entity Integration and Orchestration in Digital Twins.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
MoDDiT 2021: 1<sup>st</sup> International Workshop on Model-Driven Engineering for Digital Twins.
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).
Proceedings of the ECSA 2021 Companion Volume, 2021
2020
On modification of Boyer-Moore-horspool's algorithm for tree pattern matching in linearised trees.
Theor. Comput. Sci., 2020
Softw. Syst. Model., 2020
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.
Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020
2019
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
2018
Sci. Comput. Program., 2018
Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017).
Sci. Comput. Program., 2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Principled Software Development, 2018
2017
South Afr. Comput. J., 2017
J. Univers. Comput. Sci., 2017
Proceedings of the Prague Stringology Conference 2017, 2017
Proceedings of the Software Technologies: Applications and Foundations, 2017
Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017
Proceedings of the South African Institute of Computer Scientists and Information Technologists, 2017
Proceedings of the Language and Automata Theory and Applications, 2017
Clustering Variation Points in MATLAB/Simulink Models Using Reverse Signal Propagation Analysis.
Proceedings of the Mastering Scale and Complexity in Software Reuse, 2017
Proceedings of the Role of Theory in Computer Science, 2017
2016
J. Univers. Comput. Sci., 2016
Proceedings of the Prague Stringology Conference 2016, 2016
Proceedings of the MODELSWARD 2016, 2016
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016
2015
Proceedings of the Prague Stringology Conference 2015, 2015
SPLicing TABASCO: Custom-Tailored Software Product Line Variants from Taxonomy-Based Toolkits.
Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, 2015
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).
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015
Proceedings of the Language and Automata Theory and Applications, 2015
An Aho-Corasick Based Assessment of Algorithms Generating Failure Deterministic Finite Automata.
Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, 2015
2014
South Afr. Comput. J., 2014
Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, 2014
Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, 2014
Proceedings of the Southern African Institute for Computer Scientist and Information Technologists Annual Conference 2014, 2014
2013
Proceedings of the Prague Stringology Conference 2013, Prague, Czech Republic, 2013
Efficient representation of DNA data for pattern recognition using failure factor oracles.
Proceedings of the 2013 South African Institute for Computer Scientists and Information Technologists, 2013
2012
Proceedings of the Prague Stringology Conference 2012, 2012
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012
2011
Proceedings of the Prague Stringology Conference 2011, 2011
2010
A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms.
Sci. Comput. Program., 2010
Proceedings of the Prague Stringology Conference 2010, Prague, Czech Republic, August 30, 2010
Proceedings of the 2010 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2010
2009
Proceedings of the Implementation and Application of Automata, 2009
Proceedings of the Prague Stringology Conference 2009, Prague, Czech Republic, August 31, 2009
Proceedings of the Prague Stringology Conference 2009, Prague, Czech Republic, August 31, 2009
2008
Int. J. Found. Comput. Sci., 2008
Proceedings of the Finite-State Methods and Natural Language Processing, 2008
2006
South Afr. Comput. J., 2006
Int. J. Found. Comput. Sci., 2006
2005
IEE Proc. Softw., 2005
Proceedings of the Prague Stringology Conference, 2005
2004
FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views.
Proceedings of the Implementation and Application of Automata, 2004
Proceedings of the String Processing and Information Retrieval, 2004
2003
Proceedings of the Implementation and Application of Automata, 2003