| 2024 | Bian, J. (Jinting) | Reasoning about Object-Oriented Programs: From Classes to Interfaces | Boer, prof.dr. F.S. de, Bonsangue, prof.dr. M.M. | PhD |
| 2024 | Chu, W. (Wenjing) | Automata Learning: from Probabilistic to Quantum | Bonsangue, prof.dr. M.M., Boer, prof.dr. F.S. de | PhD |
| 2024 | Hiep, H.A. (Hans-Dieter) | New Foundations for Separation Logic | Boer, prof.dr. F.S. de, Gouw, Laarman, dr. A.W. | PhD |
| 2020 | Serbanescu, V.-N. (Vlad) | Software Development by Abstract Behavioural Specification | Boer, prof.dr. F.S. de, dr. M.M. Jaghoori | PhD |
| 2019 | Azadbakht, K. (Keyvan) | Asynchronous Programming in the Abstract Behavioural Specification Lan... | Boer, prof.dr. F.S. de, dr. E.P. de Vink | PhD |
| 2018 | Bezirgiannis, N. (Nikolaos) | Abstract Behavioral Specification: Unifying Modeling and Programming | Boer, prof.dr. F.S. de, dr. C.P.T. de Gouw | PhD |
| 2016‑2017 | Muinck Keizer, D. (David) de | A Control Flow Graph Generator for Java Code | Bonsangue, prof.dr. M.M., Boer, prof.dr. F.S. de | Inf |
| 2016 | Nobakht, B. (Behrooz) | Actors at Work | Boer, prof.dr. F.S. de, dr. C.P.T de Gouw | PhD |
| 2015‑2016 | Werf, U.M. (Ulbo) van der | Describing Heaps using Kleene algebra with Tests | Bonsangue, prof.dr. M.M., Boer, prof.dr. F.S. de | Inf |
| 2015 | Rot, J.C. (Jurriaan) | Enhanced Coinduction | Boer, prof.dr. F.S. de, prof.dr. J.J.M.M. Rutten, Bonsangue, prof.dr. M.M. | PhD |
| 2014 | Helvensteijn, M. (Michiel) | Abstract Delta Modeling: Software Product Lines and Beyond | Boer, prof.dr. F.S. de, dr. D. Clarke | PhD |
| 2013 | Gouw, C.P.T. (Stijn) de | Combining Monitoring with Run-time Assertion Checking | Boer, prof.dr. F.S. de, Bonsangue, prof.dr. M.M. | PhD |
| 2012 | Grabe, I. (Immo) | Static Analysis of Unbounded Structures in Object-Oriented Programs | Boer, prof.dr. F.S. de, prof.dr. M. Steffen | PhD |
| 2011 | Aştefănoaei, L. (Lăcrămioara) | An Executable Theory of Multi-Agent Systems Refinement | Boer, prof.dr. F.S. de, prof.dr. J.J.Ch. Meyer, dr. M. Dastani | PhD |
| 2011 | Kemper, S. (Stephanie) | Modelling and Analysis of Real-time Coordination Patterns | Boer, prof.dr. F.S. de, Arbab, prof.dr. F. | PhD |
| 2011 | Nobakht, B. (Behrooz) | Deploying Active Objects onto Multicore | Bonsangue, prof.dr. M.M., Boer, prof.dr. F.S. de | CS |
| 2011 | Rot, J.C. (Jurriaan) | Automated Verification of Pointer Programs | Boer, prof.dr. F.S. de, Bonsangue, prof.dr. M.M. | CS |
| 2010 | Grüner, A. (Andreas) | Testing Object Interactions | Boer, prof.dr. F.S. de, Bonsangue, prof.dr. M.M., dr. M. Steffen | PhD |
| 2010 | Jaghoori, M.M. (Mohammad) | Time at Your Service: Schedulability Analysis of Real-time and Distrib... | Boer, prof.dr. F.S. de, dr. Chothia | PhD |
| 2010 | Rot, J.C. (Jurriaan) | A Pushdown System Representation for Unbounded Object Creation | J. Rot, Boer, prof.dr. F.S. de, Bonsangue, prof.dr. M.M. | Inf |
| 2009 | Gouw, S. (Stijn) de and Helvensteijn, M. (Michiel) | Automatic Program Verification in Mist | Bonsangue, prof.dr. M.M., Boer, prof.dr. F.S. de | CS |
| 2008 | Jacob, J.F. (Joost) | Domain Specific Modeling and Analysis | Boer, prof.dr. F.S. de, Bonsangue, prof.dr. M.M. | PhD |
| 2008 | Li, X. (Xuan) | Java Interaction Testing | Boer, prof.dr. F.S. de | CS |
| 2008 | Pouw, M. (Michiel) | Aspect-oriented Programming in PHP | Boer, prof.dr. F.S. de | Inf |
| 2007 | Guillen Scholten, J.V. (Juan) | Mobile Channels for Exogeneous Coordination of Distributed Systems | Arbab, prof.dr. F., Boer, prof.dr. F.S. de, Bonsangue, prof.dr. M.M. | PhD |
| 2006 | Kyas, M. (Marcel) | Verifying OCL Specifications of UML Models | Kok, prof.dr. J.N., prof.dr. W.-P. de Roever, Boer, prof.dr. F.S. de | PhD |
| 2005 | Ábrahám, E. (Erika) | An Assertional Proof System for Multithreaded Java: Theory and Tool Su... | Kok, prof.dr. J.N., prof.dr. W.-P. de Roever, Boer, prof.dr. F.S. de | PhD |
