Supervised dissertations at the Eindhoven University of Technology

  1. A. Zawedde, Modeling the Dynamics of Requirements Process Improvement Eindhoven University of Technology, 2016, pdf.
    (co-promotors: D. Williams, B. Walrave)
  2. Y. Luo, From conceptual models to safety assurance : applying model-based techniques to support safety assurance Eindhoven University of Technology, 2016, pdf.
    (co-promotors: A. Serebrenik, L.J.P. Engelen)
  3. Y. Dajsuren, On the design of an architecture framework and quality evaluation for automotive software systems Eindhoven University of Technology, 2015, pdf.
    (co-promotor: A. Serebrenik)
  4. A.P. van der Meer, Domain specific languages and their type systems Eindhoven University of Technology, 2014, pdf.
    (2nd promotor: J.F. Groote, co-promotor: A. Serebrenik)
  5. B. Vasilescu, Social Aspects of Collaboration in Online Software Communities Eindhoven University of Technology, 2014, pdf.
    (co-promotor: A. Serebrenik)
  6. J. Businge, Co-evolution of the Eclipse framework and its third-party plug-ins Eindhoven University of Technology, 2013, pdf.
    (2nd promotor: T.P. van der Weide, co-promotor: A. Serebrenik)
  7. L.J.P. Engelen, From Napkin sketches to reliable software, Eindhoven University of Technology, 2012, pdf.
    (co-promotor: S. Andova)
  8. F.P.M. Stappers, Bridging formal models: an engineering perspecitve, Eindhoven University of Technology, 2012, pdf.
    (1st promotor: J.F. Groote, co-promotor: M.A. Reniers)
  9. M.F. van Amstel, Assessing and improving the quality of model transformations, Eindhoven University of Technology, 2012, pdf.
    (co-promotor: A. Serebrenik)
  10. 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)
  11. R. Middelkoop, Capturing and exploiting abstract views of states in OO verification Eindhoven University of Technology, 2011, pdf.
    (co-promotors: C. Huizing, R. Kuiper)
  12. 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)
  13. B.J. Arnoldus, An Illumination of the Template Enigma, Eindhoven University of Technology, 2011, pdf.
    (co-promotor: J.J. Brunekreef, A. Serebrenik)
  14. M.J. van Weerdenburg, Efficient Rewriting Techniques, Eindhoven University of Technology, 2009, pdf.
    (1st promotor: J.F. Groote, co-promotor: M.A. Reiniers)
  15. 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)
  16. 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)