Supervised dissertations at the Eindhoven University of Technology

1. C.F.J. Lange, Assessing and Improving the Quality of Modeling, Eindhoven University of Technology, 2007, pdf.
   (1st promotor: S. Demeyer, co-promotor: M.R.V. Chaudron)
2. L.G.W.A. Cleophas, Tree Algorithms: Two Taxonomies and a Toolkit, Eindhoven University of Technology, 2008, pdf.
   (2nd promotor: B.W. Watson, co-promotor: C. Hemerik)
3. M.J. van Weerdenburg, Efficient Rewriting Techniques, Eindhoven University of Technology, 2009, pdf.
   (1st promotor: J.F. Groote, co-promotor: M.A. Reiniers)
4. B.J. Arnoldus, An Illumination of the Template Enigma, Eindhoven University of Technology, 2011, pdf.
   (co-promotor: J.J. Brunekreef, A. Serebrenik)
5. M. Atif, Formal Modeling and Verification of Distributed Failure Detectors, Eindhoven University of Technology, 2011, pdf.
   (1st promotor: J.F. Groote, co-promotor: M.R. Mousavi)
6. Z. Protic, Configuration management for models: Generic methods for model comparison and model co-evolution, Eindhoven University of Technology, 2011, pdf.
   (co-promotor: T. Verhoeff)