1st Oct 2024 , Jasper Denkers. Domain-Specific Languages for Digital Printing Systems. Delft University of Technology. Read More…
30th Sep 2024 , Rick Erkens. Automaton-based Techniques for Optimized Term Rewriting. Eindhoven University of Technology. Read More…
25th Sep 2024 , Jan Martens. The Complexity of Bisimilarity by Partition Refinement. Eindhoven University of Technology. Read More…
5th Sep 2024 , Olav Bunte. Cracking OIL: A Formal Perspective on an Industrial DSL for Modelling Control Software. Eindhoven University of Technology. Read More…
8th Jul 2024 , Carolin Brandt. Test Amplification For and With Developers. Delft University of Technology. Read More…
24th Jun 2024 , Jules Jacobs. Guarantees by construction. Radboud University Nijmegen. Read More…
19th Jun 2024 , Mitchell Olsthoorn. More Effective Test Case Generation with Multiple Tribes of AI. Delft University of Technology. Read More…
10th Nov 2023 , Danny Groenewegen. WebDSL: Linguistic Abstractions for Web Programming. Delft University of Technology. Read More…
8th Nov 2023 , Jouke Harmen Stoel. Solving the Bank, Lightweight Specification and Verification Techniques for Enterprise Software. Eindhoven University of Technology. Read More…
23rd Oct 2023 , Mark Bouwman. Supporting Railway Standardisation with Formal Verification. Eindhoven University of Technology. Read More…
17th Oct 2023 , Sophie Lathouwers. Exploring Annotations for Deductive Verification. Twente University. Read More…
8th Sep 2023 , Jeff Smits. Strategic Language Workbench Improvements. Delft University of Technology. Read More…
6th Jun 2023 , Jingyue Cao. An Independent Timing Analysis for Credit-Based Shaping in Ethernet TSN. Eindhoven University of Technology. Read More…
19th Apr 2023 , Nan Yang. Logs and models in engineering complex embedded production software systems. Eindhoven University of Technology. Read More…
29th Mar 2023 , Lina María Ochoa Venegas. Break the Code? Breaking Changes and Their Impact on Software Evolution. Eindhoven University of Technology. Read More…
17th Mar 2023 , Sangeeth Kochanthara. A Changing Landscape: On Safety & Open Source in Automated and Connected Driving. Eindhoven University of Technology. Read More…
Past PhD defences in 2022
12th Dec 2022 , Ramon Janssen. Refinement and Partiality for Model-Based Testing. Radboud University Nijmegen. Read More…
22nd Nov 2022 , Maurice Laveaux. Accelerated Verification of Concurrent Systems. Eindhoven University of Technology. Read More…
24th Oct 2022 , Jana Wagemaker. Extensions of (Concurrent) Kleene Algebra. Radboud University Nijmegen. Read More…
18th Oct 2022 , Petar Vukmirovic. Implementation of Higher-Order Superposition. Free University Amsterdam. Read More…
27th Jun 2022 , Tim Soethout. Banking on Domain Knowledge for Faster Transactions: Leveraging Models to Avoid Coordination. Eindhoven University of Technology. Read More…
7th Jun 2022 , Guillaume Dupont. Network Security Monitoring in Environments where Digital and Physical Safety are Critical. Eindhoven University of Technology. Read More…
6th Apr 2022 , Mauricio Verano Merino. Engineering Language-Parametric End-User Programming Environments for DSLs. Eindhoven University of Technology. Read More…
22nd Apr 2021 , Pouria Derakhshanfar. Carving Information Sources to Drive Search-based Crash Reproduction and Test Case Generation. Delft University of Technology. Read More…
12th Mar 2021 , Dan Frumin. Concurrent Separation Logics for Safety, Refinement, and Security. Radboud University Nijmegen. Read More…
Past PhD defences in 2020
30th Nov 2020 , Max Sondag. Algorithms for Coherent Rectangular Visualizations. Eindhoven University of Technology. Read More…
8th Oct 2020 , Petra van den Bos. Coverage and Games in Model-Based Testing. Radboud University Nijmegen. Read More…
16th Sep 2020 , Thomas Neele. Reductions for Parity Games and Model Checking. Eindhoven University of Technology. Recipient of the IPA Dissertation Award 2020. Read More…
25th Aug 2020 , Jules Wulms. Stability of Geometric Algorithms. Eindhoven University of Technology. Read More…
29th Jun 2020 , Nico Naus. Assisting End Users in Workflow Systems. Utrecht University. The thesis defence will be live streamed at this link. Read More…
19th Feb 2020 , Riemer van Rozen. Languages of Games and Play: Automating Game Design & Enabling Live Programming. Universiteit van Amsterdam. Read More…
31st Jan 2020 , Thomas Nägele. CoHLA: Rapid Co-simulation Construction. Radboud University Nijmegen. Read More…
12th Dec 2019 , Wytse Oortwijn. Deductive Techniques for Model-Based Concurrency Verification. Twente University. Read More…
29th Oct 2019 , Paul Griffioen. A Unit-Aware Matrix Language and its Application in Control and Auditing. Universiteit van Amsterdam. Read More…
10th Oct 2019, Anand Sawant. The impact of API evolution on API consumers and how this can be affected by API producers and language designers. Delft University of Technology. Read More…
20th Sep 2019 , Jeroen Meijer. Efficient Learning and Analysis of System Behavior. Twente University. Read More…
29th Aug 2019 , Thom Castermans. Algorithms for Visualization in Digital Humanities. Eindhoven University of Technology. Read More…
29th Aug 2019 , Willem Sonke. Algorithms for River Network Analysis. Eindhoven University of Technology. Read More…
10th Jul 2019 , Vincent Bloemen. Strong Connectivity and Shortest Paths for Checking Models. Twente University. Read More…
1st Jul 2019 , Joshua Moerman. Nominal Techniques and Black Box Testing for Automata Learning. Radboud University Nijmegen. Read More…
27th Jun 2019 , Sándor Kisfaludi-Bak. ETH-Tight Algorithms for Geometric Network Problems. Eindhoven University of Technology. Recipient of the IPA Dissertation Award 2019. Read More…
11th Jun 2019 , Ali Afroozeh and Anastasia Izmaylova. Practical general top-down parsers. Universiteit van Amsterdam. Read More…
20th Feb 2019 , Önder Babur. Model Analytics and Management. Eindhoven University of Technology. Read More…
20th Feb 2019 , Stefan Thaler. Automation for Information Security using Machine Learning. Eindhoven University of Technology. Read More…
28th Jan 2019 , Sander de Putter. Verification of Concurrent Systems in a Model-Driven Engineering Workflow. Eindhoven University of Technology. Read More…
Past PhD defences in 2018
12th Dec 2018 , Marcus Gerhold. Choice and Chance – Model-Based Testing of Stochastic Behaviour. Twente University. Read More…
5th Dec 2018 , Mehran Mehr. Faster Algorithms for Geometric Clustering and Competitive Facility-Location Problems. Eindhoven University of Technology. Read More…
29th Nov 2018 , Pablo Inostroza Valdera. Structuring Languages as Object-Oriented Libraries. Universiteit van Amsterdam. Read More…
23rd Nov 2018 , Moritz Beller. An Empirical Evaluation of Feedback-Driven Software Development. Delft University of Technology. Recipient of the IPA Dissertation Award 2018. Read More…
19th Nov 2018 , Mahdi Alizadeh. Auditing of User Behavior: Identification, Analysis and Understanding of Deviations. Eindhoven University of Technology. Read More…
25th Oct 2018 , Mahmoud Talebi. Scalable Performance Analysis of Wireless Sensor Networks. Eindhoven University of Technology. Read More…
17th Oct 2018 , Rajesh Kumar. Truth or Dare: Quantitative security analysis using attack trees. Twente University. Read More…
13th Sep 2018 , Lennart Swartjes. Model-based design of baggage handling systems. Eindhoven University of Technology. Read More…
29th Aug 2018 , Tim Ophelders. Continuous Similarity Measures for Curves and Surfaces. Eindhoven University of Technology. Recipient of the IPA Dissertation Award 2018. Read More…
11th Jun 2018 , Fei Yang. A Theory of Executability: with a Focus on the Expressivity of Process Calculi. Eindhoven University of Technology. Read More…
25th May 2018 , Enno Ruijters. Zen and the art of railway maintenance: Analysis and optimization of maintenance via fault trees and statistical model checking. Twente University. Read More…
9th May 2018 , Maximilian Konzack. Trajectory Analysis: Bridging Algorithms and Visualization. Eindhoven University of Technology. Read More…
17th Apr 2018 , Alok Lele. Response Modeling: Model Refinements for Timing Analysis of Runtime Scheduling in Real-time Streaming Systems. Eindhoven University of Technology. Read More…
13th Apr 2018 , Paul Fiterău-Broștean. Active Model Learning for the Analysis of Network Protocols. Radboud University Nijmegen. Read More…
12th Apr 2018 , Dan Zhang. From Concurrent State Machines to Reliable Multi-threaded Java Code. Eindhoven University of Technology. Read More…
2nd Mar 2018, Saeed Darabi. Verification of Program Parallelization. Twente University. Read More…
17th Jan 2018 , Afshin Amighi. Specification and Verification of Synchronisation Classes in Java: A Practical Approach. Twente University. Read More…
Past PhD defences in 2017
30th Nov 2017 , Quirijn Bouts. Geographic Graph Construction and Visualization. Eindhoven University of Technology. Read More…
21st Nov 2017 , Ulyana Tikhonova. Engineering the Dynamic Semantics of Domain Specific Languages. Eindhoven University of Technology. Read More…
7th Nov 2017 , Ana Sutii. Modularity and Reuse of Domain-Specific Languages: an exploration with MetaMod. Eindhoven University of Technology. Read More…
9th Oct 2017 , Wouter Lueks. Security and Privacy via Cryptography — Having your cake and eating it too. Radboud University Nijmegen. Read More…
9th Oct 2017 , Anna Krasnova. Smart invaders of private matters: Privacy of communication on the Internet and in the Internet of Things (IoT). Radboud University Nijmegen. Read More…
5th Oct 2017 , Davy Landman. Reverse Engineering Source Code: Empirical Studies of Limitations and Opportunities. Universiteit van Amsterdam. Recipient of the IPA Dissertation Award 2017. Read More…
31st Aug 2017 , Ali Mehrabi. Data Structures for Analyzing Geometric Data. Eindhoven University of Technology. Read More…
12th Jun 2017 , Hrishikesh Salunkhe. Modeling and Buffer Analysis of Real-time Streaming Radio Applications Scheduled on Heterogeneous Multiprocessors. Eindhoven University of Technology. Read More…
13th Apr 2017 , Waheed Ahmad. Green Computing: Efficient Energy Management of Multiprocessor Streaming Applications via Model Checking. Twente University. Read More…
23rd Mar 2017 , Dennis Guck. Reliable Systems – Fault tree analysis via Markov reward automata. Twente University. Read More…
24th Oct 2016 , Aminah Zawedde. Modeling the Dynamics of Requirements Process Improvement. Eindhoven University of Technology. Read More…
7th Sep 2016 , Ionut David. Run-time resource management for component-based systems. Eindhoven University of Technology. Read More…
6th Sep 2016 , Allan van Hulst. Control Synthesis using Modal Logic and Partial Bisimilarity. Eindhoven University of Technology. Read More…
31st Aug 2016 , Arthur van Goethem. Algorithms for Curved Schematization. Eindhoven University of Technology. Read More…
13th Jul 2016 , Tom van Dijk. Sylvan: Multi-core Decision Diagrams. Twente University. Read More…
5th Jul 2016 , Baris Ege. Physical Security Analysis of Embedded Devices. Radboud University Nijmegen. Read More…
26th Apr 2016 , Yaping Luo. From Conceptual Models to Safety Assurance: Applying Model-Based Techniques to Support Safety Assurance. Eindhoven University of Technology. Read More…
24th Mar 2016 , Sarmen Keshishzadeh. Formal Analysis and Verification of Embedded Systems for Healthcare. Eindhoven University of Technology. Read More…
15th Mar 2016 , Maciej Gazda. Fixpoint Logic, Games, and Relations of Consequence. Eindhoven University of Technology. Read More…
11th Mar 2016 , Petra Heck. Quality of Just-in-Time Requirements: Just-Enough and Just-in-Time. Delft University of Technology. Read More…
3rd Mar 2016 , Sung-Shik Jongmans. Automata-Theoretic Protocol Programming. Leiden University. Recipient of the IPA Dissertation Award 2016. Read More…
13th Nov 2015 , Daniel Gebler. Robust SOS Specifications of Probabilistic Processes. Free University Amsterdam. Read More…
19th Oct 2015 , Milosh Stolikj. Building Blocks for the Internet of Things. Eindhoven University of Technology. Read More…
15th Oct 2015 , Jurriaan Rot. Enhanced coinduction. Leiden University. Recipient of the IPA Dissertation Award 2015. Read More…
1st Oct 2015 , Marina Zaharieva-Stojanovski. Closer to Reliable Software: Verifying functional behaviour of concurrent programs. Twente University. Read More…
1st Sep 2015 , Rody Kersten. Software Analysis Methods for Resource-Sensitive Systems. Radboud University Nijmegen. Read More…
27th Aug 2015 , Joeri de Ruiter. Lessons learned in the analysis of the EMV and TLS security protocols. Radboud University Nijmegen. Read More…
6th Jul 2015 , Stjepan Picek. Applications of Evolutionary Computation to Cryptology. Radboud University Nijmegen. Read More…
30th Jun 2015 , Jeroen Bransen. On the Incremental Evaluation of Higher-Order Attribute Grammars. Utrecht University. Read More…
17th Jun 2015 , Sjoerd Cranen. Getting the point — Obtaining and understanding fixpoints in model checking. Eindhoven University of Technology. Read More…
4th Jun 2015 , Steven te Brinke. Developing Energy-Aware Software. Twente University. Read More…
27th May 2015 , Cuiting Chen. Automated Fault Localization for Service-Oriented Software Systems. Delft University of Technology. Read More…
26th May 2015 , Yanjindulam Dajsuren. On the Design of an Architecture Framework and Quality Evaluation for Automotive Software Systems. Eindhoven University of Technology. Read More…
24th Apr 2015 , Stefan Dietzel. Resilient In-network Aggregation for Vehicular Networks. Twente University. Read More…
21st Apr 2015 , Roel Verdult. The (in)security of proprietary cryptography. Radboud University Nijmegen. Read More…
8th Apr 2015 , Atze van der Ploeg. Efficient Abstractions for Visualization and Interaction. Universiteit van Amsterdam. Read More…
31st Mar 2015 , Elisa Costante. Privacy throughout the Data Cycle. Eindhoven University of Technology. Read More…
30th Mar 2015 , Anja Guzzi. Supporting Developers’ Teamwork from within the IDE. Delft University of Technology. Read More…
20th Mar 2015 , Tiago Espinha. Web Service Growing Pains: Understanding Services and Their Clients. Delft University of Technology. Read More…
4th Mar 2015 , Vinh Bui. A Software Architecture for Body Area Sensor Networks: Flexibility and Trustworthiness. Eindhoven University of Technology. Read More…
2nd Mar 2015 , Rolf Theunissen. Supervisory Control in Health Care Systems. Eindhoven University of Technology. Read More…
15th Jan 2015 , Gergely Alpár. Attribute-Based Identity Management: Bridging the Cryptographic Design of ABCs with the Real World. Radboud University Nijmegen. Read More…
PhD defences in 2014
28th Nov 2014 , Pim Vullers. Efficient Implementations of Attribute-based Credentials on Smart Cards. Radboud University Nijmegen. Read More…
19th Nov 2014 , Frank Takes. Algorithms for Analyzing and Mining Real-World Graphs. Leiden University. Read More…
12th Nov 2014 , Michiel Helvensteijn. Abstract Delta Modeling: Software Product Lines and Beyond. Leiden University. Read More…
11th Nov 2014 , Marijn Schraagen. Aspects of Record Linkage. Leiden University. Read More…
10th Nov 2014 , Arjan van der Meer. Domain Specific Languages and their Type Systems. Eindhoven University of Technology. Read More…
27th Oct 2014 , Neda Noroozi. Improving Input-Output Conformance Testing Theories. Eindhoven University of Technology. Read More…
27th Oct 2014 , Fides Aarts. Tomte: Bridging the Gap between Active Learning and Real-World Systems. Radboud University Nijmegen. Read More…
20th Oct 2014 , Bogdan Vasilescu. Social Aspects of Collaboration in Online Software Communities. Eindhoven University of Technology. Recipient of the IPA Dissertation Award 2014. Read More…
17th Apr 2014 , Tri Minh Ngo. Qualitative and Quantitative Information Flow Analysis for Multi-threaded Programs. Twente University. Read More…
14th Apr 2014 , Cor-Paul Bezemer. Performance Optimization of Multi-Tenant Software Systems. Delft University of Technology. Read More…
5th Feb 2014 , Arjan Jeckmans. Cryptographically-Enhanced Privacy for Recommender Systems. Twente University. Read More…
9th Jan 2014 , Dina Hadziosmanovic. The Process Matters: Cyber Security in Industrial Control Systems. Twente University. Read More…
9th Jan 2014 , Jeroen van den Bos. Gathering Evidence: Model-Driven Software Engineering in Automated Digital Forensics. Universiteit van Amsterdam. Read More…
PhD defences in 2013
18th Dec 2013 , Stijn de Gouw. Combining Monitoring with Run-time Assertion Checking. Leiden University. Read More…
17th Dec 2013 , Carst Tankink. Documentation and Formal Mathematics — Web Technology meets Proof Assistants. Radboud University Nijmegen. Read More…
6th Nov 2013 , Leonard Lensink. Applying Formal Methods in Software Development. Radboud University Nijmegen. Read More…
9th Oct 2013 , Marcel Roeloffzen. Kinetic Data Structures in the Black-Box Model. Eindhoven University of Technology. Read More…
23rd Sep 2013 , Lionel Elie Mamane. Interactive mathematical documents: creation and presentation. Radboud University Nijmegen. Read More…
17th Sep 2013 , Jeroen Keiren. Advanced Reduction Techniques for Model Checking. Eindhoven University of Technology. Read More…
13th Sep 2013 , Mark Timmer. Efficient Modelling, Generation and Analysis of Markov Automata. Twente University. Recipient of the IPA Dissertation Award 2013. Read More…
22nd Aug 2013 , Dirk Gerrits. Pushing and Pulling: Computing push plans for disk-shaped robots, and dynamic labelings for moving points. Eindhoven University of Technology. Read More…
4th Jul 2013 , John Businge. Co-evolution of the Eclipse Framework and its Third-party Plug-ins. Eindhoven University of Technology. Read More…
12th Jun 2013 , Martijn van den Heuvel. Composition and synchronization of real-time components upon one processor. Eindhoven University of Technology. Read More…
3rd Jun 2013 , Sander van der Burg. A Reference Architecture for Distributed Software Deployment. Delft University of Technology. Read More…
22nd Apr 2013 , Michaela Greiler. Test Suite Comprehension for Modular and Dynamic Systems. Delft University of Technology. Read More…
11th Apr 2013 , Gerhard de Koning Gans. Outsmarting Smart Cards. Radboud University Nijmegen. Read More…
27th Mar 2013 , Bas Lijnse. TOP to the Rescue — Task-Oriented Programming for Incident Response Applications. Radboud University Nijmegen. Read More…
24th Jan 2013 , Eduardo Zambon. Abstract Graph Transformation – Theory and Practice. Twente University. Read More…
22nd Jan 2013, Georgeta Igna. Performance Analysis of Real-Time Task Systems using Timed Automata. Radboud University Nijmegen. Read More…
22nd Jan 2013, Harsh Beohar. Refinement of Communication and States in Models of Embedded Systems. Eindhoven University of Technology. Read More…
PhD defences in 2012
17th Dec 2012 , Ammar Osairweran. Formal Development of Control Software in the Medical Systems Domain. Eindhoven University of Technology. Read More…
11th Dec 2012 , Luc Engelen. From Napkin Sketches to Reliable Software. Eindhoven University of Technology. Read More…
7th Dec 2012, Wouter Kuijper. Compositional Synthesis of Safety Controllers. Twente University. Read More…
29th Nov 2012 , Damian Nadales. A Compositional Interchange Format for Hybrid Systems: Design and Implementation. Eindhoven University of Technology. Read More…
13th Nov 2012, Cynthia Kop. Higher Order Termination. Free University Amsterdam. Recipient of the IPA Dissertation Award 2012. Read More…
8th Nov 2012 , Frank Stappers. Bridging Formal Models – An Engineering Perspective. Eindhoven University of Technology. Read More…
30th Oct 2012, Hossein Rahmani. Analysis of Protein-Protein Interaction Networks by Means of Annotated Graph Mining Algorithms. Leiden University. Read More…
1st Oct 2012, Sander Vermolen. Software Language Evolution. Delft University of Technology. Read More…
27th Aug 2012, Kevin Verbeek. Algorithms for Cartographic Visualization. Eindhoven University of Technology. Read More…
5th Jul 2012, Faranak Heidarian Dehkordi. Studies on Verification of Wireless Sensor Networks and Abstraction Learning for System Inference. Radboud University Nijmegen. Read More…
23rd Feb 2012, Trajce Dimkov. Alignment of Organizational Security Policies: Theory and Practice. Twente University. Read More…
17th Feb 2012, Saeed Sedghi. Towards Provably Secure Efficiently Searchable Encryption. Twente University. Read More…
11th Jan 2012, Zef Hemel. Methods and Techniques for the Design and Implementation of Domain-Specific Language. Delft University of Technology. Read More…
10th Jan 2012, Amirali Khosravi. Optimal Geometric Data Structures. Eindhoven University of Technology. Read More…
9th Jan 2012, Arie Middelkoop. Inference of Program Properties with Attribute Grammars, Revisited. Utrecht University. Read More…
9th Jan 2012, Marcel van Amstel. Assessing and Improving the Quality of Model Transformations. Eindhoven University of Technology. Read More…