| Year |
Student |
Thesis | Supervisors | Programme | Content |
|---|
| 2023 | Dokter, K.P.C. (Kasper) | Scheduled Protocol Programming | Arbab, prof.dr. F., Bonsangue, prof.dr. M.M. | PhD | |
| 2023 | Lion, B. (Benjamin) | An Algebra for Interaction of Cyber Physical Components | Arbab, prof.dr. F., Talcott | PhD | |
| 2020 | Changizi, B. (Behnaz) | Constraint-Based Analysis of Business Process Models | Arbab, prof.dr. F., dr. N. Kokash | PhD | |
| 2018‑2019 | Hijmans, Bart | Constructing Monitors for Reo Circuits | Bonsangue, prof.dr. M.M., Arbab, prof.dr. F. | CS | |
| 2017‑2018 | Smeyers, M. (Maarten) | A Browser-Based Graphical Editor for Reo Networks | Arbab, prof.dr. F., dr. K. Dokter | Inf | |
| 2016 | Jongmans, S.-S.T.Q (Sung-Shik) | Automata-Theoretic Protocol Programming | Arbab, prof.dr. F. | PhD | |
| 2015‑2016 | Kappé, T.W.J. (Tobias) | Logic for Soft Component Automata | Arbab, prof.dr. F., Bonsangue, prof.dr. M.M. | CS | |
| 2015‑2016 | Nes, M.W. (Matthijs) van de | Developing Efficient Concurrent C Application Programs using Reo | Arbab, prof.dr. F., Bonsangue, prof.dr. M.M., dr. S.-S.T.Q. Jongmans | CS | |
| 2013‑2014 | Vinkhuijzen, L. (Lieuwe) | Reducing Copying and Network Traffic in Reo Circuits | Arbab, prof.dr. F., Bonsangue, prof.dr. M.M. | Inf | |
| 2011 | Izadi, M. (Mohammad) | Model Checking of Component Connectors | Arbab, prof.dr. F., prof.dr. A. Movaghar, Bonsangue, prof.dr. M.M. | PhD | |
| 2011 | Kemper, S. (Stephanie) | Modelling and Analysis of Real-time Coordination Patterns | Boer de, prof.dr. F.S., Arbab, prof.dr. F. | PhD | |
| 2011 | Krause, C. (Christian) | Reconfigurable Component Connectors | Arbab, prof.dr. F., dr. E.P. de Vink | PhD | |
| 2011 | Moon, Y.-J. (Young-Joo) | Stochastic Models for Quality of Service of Component Connectors | Arbab, prof.dr. F., dr. A. Silva, dr. E.P. de Vink | PhD | |
| 2011 | Proença, J.M.P. (José) | Synchronous Coordination of Distributed Components | Arbab, prof.dr. F., dr. D. Clarke, dr. E.P. de Vink | PhD | |
| 2010 | Vries, R. (Roald) de | Physical Reo | Arbab, prof.dr. F. | CS | |
| 2009 | Pouw , M. (Michiel) | Constraint Automata with Synchronization Points | Arbab, prof.dr. F., prof.dr. J. van den Broek | CS | |
| 2007 | Guillen Scholten, J.V. (Juan) | Mobile Channels for Exogeneous Coordination of Distributed Systems | Arbab, prof.dr. F., Boer de, prof.dr. F.S., Bonsangue, prof.dr. M.M. | PhD | |
