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 Arbab, prof.dr. F. (Farhad)
Note: the overview per supervisor is likely partially incomplete.
17 entries found.
| Program | Year | Role | Student | Thesis | Content |
|---|---|---|---|---|---|
| PhD Computer Science | 2023 | promotor | Dokter, K.P.C. (Kasper) | Scheduled Protocol Programming | |
| PhD Computer Science | 2023 | promotor | Lion, B. (Benjamin) | An Algebra for Interaction of Cyber Physical Components | |
| PhD Computer Science | 2020 | promotor | Changizi, B. (Behnaz) | Constraint-Based Analysis of Business Process Models | |
| Master Computer Science | 2019 | second supervisor | Hijmans, Bart | Constructing Monitors for Reo Circuits | |
| Bachelor Informatica | 2018 | first supervisor | Smeyers, M. (Maarten) | A Browser-Based Graphical Editor for Reo Networks | |
| PhD Computer Science | 2016 | promotor | Jongmans, S.-S.T.Q (Sung-Shik) | Automata-Theoretic Protocol Programming | |
| Master Computer Science | 2016 | first supervisor | Kappé, T.W.J. (Tobias) | Logic for Soft Component Automata | |
| Master Computer Science | 2016 | first supervisor | Nes, M.W. (Matthijs) van de | Developing Efficient Concurrent C Application Programs using Reo | |
| Bachelor Informatica | 2014 | first supervisor | Vinkhuijzen, L. (Lieuwe) | Reducing Copying and Network Traffic in Reo Circuits | |
| PhD Computer Science | 2011 | promotor | Izadi, M. (Mohammad) | Model Checking of Component Connectors | |
| PhD Computer Science | 2011 | promotor | Kemper, S. (Stephanie) | Modelling and Analysis of Real-time Coordination Patterns | |
| PhD Computer Science | 2011 | promotor | Krause, C. (Christian) | Reconfigurable Component Connectors | |
| PhD Computer Science | 2011 | promotor | Moon, Y.-J. (Young-Joo) | Stochastic Models for Quality of Service of Component Connectors | |
| PhD Computer Science | 2011 | promotor | Proença, J.M.P. (José) | Synchronous Coordination of Distributed Components | |
| Master Computer Science | 2010 | first supervisor | Vries, R. (Roald) de | Physical Reo | |
| Master Computer Science | 2009 | first supervisor | Pouw , M. (Michiel) | Constraint Automata with Synchronization Points | |
| PhD Computer Science | 2007 | promotor | Guillen Scholten, J.V. (Juan) | Mobile Channels for Exogeneous Coordination of Distributed Systems |