Supervised dissertations at the Eindhoven University of Technology

  1. D. Zhang, From concurrent state machines to reliable multi-threaded Java code Eindhoven University of Technology, 2018, pdf.
    (co-promotor: R. Kuiper, D. Bosnacki)
  2. U. Tikhonova, Engineering the dynamic semantics of domain specific languages Eindhoven University of Technology, 2017, pdf.
    (co-promotor: T. Willemse, R. Schiffelers)
  3. A. Sutii, Modularity and reuse of domain-specific languages : an exploration with MetaMod Eindhoven University of Technology, 2017, pdf.
    (co-promotor: T. Verhoeff)
  4. A. Zawedde, Modeling the Dynamics of Requirements Process Improvement Eindhoven University of Technology, 2016, pdf.
    (co-promotors: D. Williams, B. Walrave)
  5. 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)
  6. 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)
  7. 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)
  8. B. Vasilescu, Social Aspects of Collaboration in Online Software Communities Eindhoven University of Technology, 2014, pdf.
    (co-promotor: A. Serebrenik)
  9. 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)
  10. L.J.P. Engelen, From Napkin sketches to reliable software, Eindhoven University of Technology, 2012, pdf.
    (co-promotor: S. Andova)
  11. 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)
  12. M.F. van Amstel, Assessing and improving the quality of model transformations, Eindhoven University of Technology, 2012, pdf.
    (co-promotor: A. Serebrenik)
  13. 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)
  14. R. Middelkoop, Capturing and exploiting abstract views of states in OO verification Eindhoven University of Technology, 2011, pdf.
    (co-promotors: C. Huizing, R. Kuiper)
  15. 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)
  16. B.J. Arnoldus, An Illumination of the Template Enigma, Eindhoven University of Technology, 2011, pdf.
    (co-promotor: J.J. Brunekreef, A. Serebrenik)
  17. M.J. van Weerdenburg, Efficient Rewriting Techniques, Eindhoven University of Technology, 2009, pdf.
    (1st promotor: J.F. Groote, co-promotor: M.A. Reiniers)
  18. 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)
  19. 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)