LIACS Thesis Repository
These webpages contain theses and reports by students affiliated with the various bachelor and master programmes offered at the Leiden Institute of Advanced Computer Science
(LIACS),
the computer science and artificial intelligence department of Leiden University.
Note: this thesis repository might be incomplete for certain programmes.
Students supervised by Boer, prof.dr. F.S. (Frank) de
Note: the overview per supervisor is likely partially incomplete.
26 entries found.
| Program | Year | Role | Student | Thesis | Content |
|---|---|---|---|---|---|
| PhD Computer Science | 2024 | first supervisor | Bian, J. (Jinting) | Reasoning about Object-Oriented Programs: From Classes to Interfaces | |
| PhD Computer Science | 2024 | first supervisor | Hiep, H.A. (Hans-Dieter) | New Foundations for Separation Logic | |
| PhD Computer Science | 2020 | promotor | Serbanescu, V.-N. (Vlad) | Software Development by Abstract Behavioural Specification | |
| PhD Computer Science | 2019 | promotor | Azadbakht, K. (Keyvan) | Asynchronous Programming in the Abstract Behavioural Specification Lan... | |
| PhD Computer Science | 2018 | promotor | Bezirgiannis, N. (Nikolaos) | Abstract Behavioral Specification: Unifying Modeling and Programming | |
| Bachelor Informatica | 2017 | second supervisor | Muinck Keizer, D. (David) de | A Control Flow Graph Generator for Java Code | |
| PhD Computer Science | 2016 | promotor | Nobakht, B. (Behrooz) | Actors at Work | |
| Bachelor Informatica | 2016 | second supervisor | Werf, U.M. (Ulbo) van der | Describing Heaps using Kleene algebra with Tests | |
| PhD Computer Science | 2015 | promotor | Rot, J.C. (Jurriaan) | Enhanced Coinduction | |
| PhD Computer Science | 2014 | promotor | Helvensteijn, M. (Michiel) | Abstract Delta Modeling: Software Product Lines and Beyond | |
| PhD Computer Science | 2013 | promotor | Gouw, C.P.T. (Stijn) de | Combining Monitoring with Run-time Assertion Checking | |
| PhD Computer Science | 2012 | promotor | Grabe, I. (Immo) | Static Analysis of Unbounded Structures in Object-Oriented Programs | |
| PhD Computer Science | 2011 | promotor | Kemper, S. (Stephanie) | Modelling and Analysis of Real-time Coordination Patterns | |
| PhD Computer Science | 2011 | first supervisor | Aştefănoaei, L. (Lăcrămioara) | An Executable Theory of Multi-Agent Systems Refinement | |
| Master Computer Science | 2011 | supervisor | Rot, J.C. (Jurriaan) | Automated Verification of Pointer Programs | |
| Master Computer Science | 2011 | second supervisor | Nobakht, B. (Behrooz) | Deploying Active Objects onto Multicore | |
| PhD Computer Science | 2010 | promotor | Grüner, A. (Andreas) | Testing Object Interactions | |
| PhD Computer Science | 2010 | promotor | Jaghoori, M.M. (Mohammad) | Time at Your Service: Schedulability Analysis of Real-time and Distrib... | |
| Bachelor Informatica | 2010 | second supervisor | Rot, J.C. (Jurriaan) | A Pushdown System Representation for Unbounded Object Creation | |
| Master Computer Science | 2009 | second supervisor | Gouw, S. (Stijn) de and Helvensteijn, M. (Michiel) | Automatic Program Verification in Mist | |
| PhD Computer Science | 2008 | promotor | Jacob, J.F. (Joost) | Domain Specific Modeling and Analysis | |
| Master Computer Science | 2008 | first supervisor | Li, X. (Xuan) | Java Interaction Testing | |
| Bachelor Informatica | 2008 | first supervisor | Pouw, M. (Michiel) | Aspect-oriented Programming in PHP | |
| PhD Computer Science | 2007 | copromotor | Guillen Scholten, J.V. (Juan) | Mobile Channels for Exogeneous Coordination of Distributed Systems | |
| PhD Computer Science | 2006 | copromotor | Kyas, M. (Marcel) | Verifying OCL Specifications of UML Models | |
| PhD Computer Science | 2005 | copromotor | Ábrahám, E. (Erika) | An Assertional Proof System for Multithreaded Java: Theory and Tool Su... |