Students

Projects

If you are a computer science or embedded systems student and are looking for a project, you can look at the descriptions below. Contact me if you are interested in one of these projects, or if you have an idea for a project of which you think it fits my research interests and expertise.

MSc computer science/embedded systems final projects

• Specifying verifiable low code models
• Refining our confidence in refinable partition data structures

MSc seminar projects

• Distributed mutual exclusion algorithm in mCRL2
• High-level property specification languages

Past and ongoing projects

PhD students

• Anna Stramaglia, MSc. Started 2020.
• Flip van Spaendonck, MSc.
• Alexander Fedotov, MSc. Verification Techniques for xMAS. Started 2016, under my supervision since 2019. Graduated 11 January 2022.

MSc final projects

• Emilia Huynen. Proving correctness and complexity of partition refinement algorithms for bisimulation. Started November 2024. Joint supervision with Herman Geuvers.
• Remco van Hooff. Supervisory control synthesis for timed automata. Start February 2024. Joint supervision with Michel Reniers.
• Danny van Dortmont. Easy property specification in the context of UML environments. November 2023 – February 2025. Project in collaboration with Cordis SUITE B.V.
• Willem Rietdijk. Compositional verification of Cordis models in mCRL2. October 2023 – November 2024. Project in collaboration with Cordis SUITE B.V.
• Jore Booy. Model-Based Mocking: Compositional Model-Based Testing for Microservices using the Axini Modeling Platform. MSc Embedded Systems (EIT). May 2023 – November 2023. Project done with Axini.
• Tim Beurskens. Formal Verification of Safety Properties in Automotive Systems. MSc Embedded Systems. April 2022 – July 2023.
• Nikita Golovliov. Verification of a Multiprocessor System Memory Model. MSc Embedded Systems. September 2019 – September 2020. Project done at Synopsys.
• Wessel Sinnema. Verifying memory consistency in mCRL2. MSc Embedded Systems. August 2019 – September 2020. Project done at Synopsys.
• Taco Petri. Constructing Test Adapters for Model-Based Testing with Action Refinement. Finished March 2019.
• Marion de Groot. Smarter Monkeys: Using evolutionary computing to improve black box monkey testing of a Graphical User Interface. August 2016 – April 2018. Joint supervision with Tanja Vos.
• Wouter Tromp. Identifying specification violations in CoAP Libraries. An automata learning approach. August 2016 – December 2017.
• Menno Galama. Het inrichten van ICT-beheer. March 2016 – December 2017. Joint supervision with Harrie Passier.
• Vikram Saralaya. Verification of Control Software of Rijkswaterstaat January 2012 – August 2012. Jointsupervision with Jan Friso Groote and Anton Wijs.
• Sander Leemans. Formal Verification of the CMS Control System at CERN. September 2011 – July 2012. Joint supervision with Tim Willemse

BSc final projects

• Luuk Buit and Sefanja Severin. Graphical User Interface for Networks of Timed Automata.
• Martijn van Beest. Parallel dfa minimisation. April 2014 – February 2015.

BSc/MSc seminars/internships

• Adrian Beers. Verification of Carvalho and Roucairol’s Mutual Exclusion Algorithm. FSA Seminar. Started November 2023.
• Myrthe Spronck. Verifying the Ricart-Agrawala Algorithm with mCRL2. FSA Seminar. November 2022 – January 2023.
• Gijs Leemrijse. Modeling Lamport’s algorithm for mutual exclusion of distributed systems in mCRL2. FSA Seminar. November 2022 – January 2023.
• Evert van der Linden. An overview of property specification patterns in literature. FSA Seminar. November 2022 – January 2023.
• Bart van der Steenhoven. Formally Verifying a Refinable Partition Data Structure. Honours project. February 2022 – July 2022.
• Gerben Vogelaar. Verification of a refinable partition data structure using TLA+. FSA Seminar. November 2021 – January 2022.
• Dennis Rizvic. Refining our confidence in refinable partition data structures. FSA Seminar. November 2020 – January 2021.
• Koen Degeling. Preprocessing parity games using stuttering bisimulation. FSA Seminar. November 2020 – January 2021.
• Sebastiaan Verhoek. Generating AUTOSAR compatible code from Dezyne. Internship at Verum. August 2019 – November 2019.
• Sven van Valburg and Koen Buitenhuis. Eca2: A tool that implements the energy aware dependent type system. October 2015 – January 2016. Joint with Bernard van Gastel.
• Kevin van der Pol. Applying Gauss Elimination from Boolean Equation Systems to Simple Integer Equation Systems. September 2011 – January 2012. Joint with Tim Willemse
• Maarten van Dongen. Repository Mining on mCRL2*. October 2011 – January 2012. Joint with Alexander Serebrenik.