https://loekcleophas.github.io/ Together with my fellow Software Engineering Technology cluster member Jacob Krüger, and Formal Systems Analysis cluster member Clemens Dubslaff, I will organise the Meeting on Feature-Oriented Software Development (FOSD Meeting) 2024 at TU/e on April 9th–12th, 2024. The FOSD Meeting is a yearly informal meeting to bring together the community... Wed, 12 Jul 2023 00:00:00 -0700 https://loekcleophas.github.io/2023-07-12-fosd-meeting-2024-at-tue/ https://loekcleophas.github.io/2023-07-12-fosd-meeting-2024-at-tue/ I got spotlighted by the MDE Network, who interviewed me for a talk about my research interests around MDE and Digital Twins. Thanks Nuno Ferreira da Silva from the MDE Network for hosting, it was fun! Good community to join for those who are into MDE. My spotlight video is... Thu, 16 Jun 2022 00:00:00 -0700 https://loekcleophas.github.io/2022-06-16-spotlight-interview-for-the-MDE-network/ https://loekcleophas.github.io/2022-06-16-spotlight-interview-for-the-MDE-network/ After the disruption of the last two years, it was a pleasure to finally be able to address and hand over a degree certificate to a Master student again. MSc student Gijs Walravens gave his graduation presentation on March 24th, succesfully defending his MSc thesis “Towards Digital Twins for soccer... Mon, 23 May 2022 00:00:00 -0700 https://loekcleophas.github.io/2022-05-23-msc-gijs-walravens-towards-digital-twins-for-soccer-robots-use-case-in-reusing-artifacts/ https://loekcleophas.github.io/2022-05-23-msc-gijs-walravens-towards-digital-twins-for-soccer-robots-use-case-in-reusing-artifacts/ Together with co-organizers Francis Bordeleau, Benoit Combemale, Romina Eramo, Mark van den Brand, Manuel Wimmer, and Andreas Wortmann, we had a very successful 1st International Workshop on Model-Driven Engineering of Digital Twins (ModDiT) as part of Models 2021. The workshop opened with a keynote on Modelling for and of Digital... Tue, 12 Oct 2021 00:00:00 -0700 https://loekcleophas.github.io/2021-10-12-successful-workshop-on-model-driven-engineering-of-digital-twins-at-models-2021/ https://loekcleophas.github.io/2021-10-12-successful-workshop-on-model-driven-engineering-of-digital-twins-at-models-2021/ I’m involved in two upcoming workshops associated with the Models 2020 conference: I’m a PC member for ModComp 2020 on the interplay of model-driven and component-based software engineering and a co-organizer for AMMoRE 2020 on analytics and mining of model repositories. Please consider submitting your research to these excellent events!... Mon, 22 Jun 2020 00:00:00 -0700 https://loekcleophas.github.io/2020-06-22-upcoming-workshops/ https://loekcleophas.github.io/2020-06-22-upcoming-workshops/ I have Two PhD positions on methodology and tool support for effective digital twinning available. These are for fully funded four year PhD positions at TU/e. Contact me if you are interested and have questions. Applications close on June 30th. Tue, 09 Jun 2020 00:00:00 -0700 https://loekcleophas.github.io/2020-06-09-vacancies/ https://loekcleophas.github.io/2020-06-09-vacancies/ Although the 2020 IEEE International Conference on Software Architecture (ICSA) got postponed from March to November due to the Coronavirus crisis, the proceedings have been published. The companion volume contains the New and Emerging Ideas (NEMI) track paper Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems by... Tue, 19 May 2020 00:00:00 -0700 https://loekcleophas.github.io/2020-05-19-paper-on-semi-automatic-architectural-suggestions-for-the-functional-safety-of-cooperative-driving-systems/ https://loekcleophas.github.io/2020-05-19-paper-on-semi-automatic-architectural-suggestions-for-the-functional-safety-of-cooperative-driving-systems/ The paper On modification of Boyer-Moore-horspool’s algorithm for tree pattern matching in linearised trees by Jan Trávníček, Jan Janoušek, Bořivoj Melichar and myself has been published in Theoretical Computer Science DOI. Until July 8th, the paper is freely available via this link. Thu, 07 May 2020 00:00:00 -0700 https://loekcleophas.github.io/2020-05-07-paper-on-modification-of-boyer-moore-horspools-algorithm-for-tree-pattern-matching-in-linearised-trees/ https://loekcleophas.github.io/2020-05-07-paper-on-modification-of-boyer-moore-horspools-algorithm-for-tree-pattern-matching-in-linearised-trees/ MSc student Leon Freriks gave his graduation presentation on 2019/11/07 and succesfully defended his MSc thesis “Using static analysis to improve scalability of active automata learning of data-dependent components”. Leon did his MSc final project as a graduation intern at ASML. I addressed Leon via video recording at the degree... Thu, 07 Nov 2019 00:00:00 -0800 https://loekcleophas.github.io/2019-11-07-msc-leon-freriks-using-static-analysis-to-improve-scalability-of-active-automata-learning-of-data-dependent-components/ https://loekcleophas.github.io/2019-11-07-msc-leon-freriks-using-static-analysis-to-improve-scalability-of-active-automata-learning-of-data-dependent-components/ I’m glad to announce that the book “Model Management and Analytics for Large Scale Systems”, which I edited together with Bedir Tekinerdogan, Önder Babur, Mark van den Brand, and Mehmet Aksit, is available as of today. It is published by Elsevier and accesible on ScienceDirect. As the description of the... Tue, 15 Oct 2019 00:00:00 -0700 https://loekcleophas.github.io/2019-10-15-book-model-management-and-analytics-for-large-scale-systems/ https://loekcleophas.github.io/2019-10-15-book-model-management-and-analytics-for-large-scale-systems/ MSc student Niels Rood gave his graduation presentation today and succesfully defended his MSc thesis “Functional Safety Analysis and Safety Pattern Application on i-CAVE”. Niels did his MSc final project as part of the i-CAVE (integrated Cooperative Automated VEhicles) project. He was supervised by TU/e colleagues Mark van den Brand,... Mon, 07 Oct 2019 00:00:00 -0700 https://loekcleophas.github.io/2019-10-07-msc-niels-rood-functional-safety-analysis-and-safety-pattern-application-on-i-CAVE/ https://loekcleophas.github.io/2019-10-07-msc-niels-rood-functional-safety-analysis-and-safety-pattern-application-on-i-CAVE/ I’m looking forward to the next edition of the tutorial on Correctness by Construction. I’ll be co-presenting it in Porto, Portugal coming Thursday morning, as part of FMWeek 2019. The tutorial is the latest and greatest edition of a series, with previous editions at FM’14, QRS’17, and ICTAC’18. Sun, 06 Oct 2019 00:00:00 -0700 https://loekcleophas.github.io/2019-10-06-cbc-tutorial-fm-2019-porto/ https://loekcleophas.github.io/2019-10-06-cbc-tutorial-fm-2019-porto/ MSc student Aishwarya Suresh gave her graduation presentation in December 2018, succesfully defending her MSc thesis “Model analytics for ASML’s data and control modeling languages”. Aishwarya did her MSc final project in collaboration with ASML, with joint supervision by Wilbert Alberts (ASML), Önder Babur (TU/e) and myself. The thesis can... Wed, 20 Mar 2019 00:00:00 -0700 https://loekcleophas.github.io/2019-03-20-msc-aishwarya-suresh/ https://loekcleophas.github.io/2019-03-20-msc-aishwarya-suresh/