Supervised Master theses at the Eindhoven University of Technology
- Z. Li,
A systematic approach and tool support for assessing GSN-based safety case, 2016, pdf. (co-supervisor: Y. Luo)
- J. Zhang,
Patterns Specification and Application in meta-models in Ecore, 2016, pdf. (co-supervisor: M. Hamilton (Altran) and A. Sutii)
- E. Dudojevic,
Integration of Xtext and GMF editors in Eclipse, 2014,
pdf. (co-supervisor: A. Mooij (ESI-TNO))
- B.C.M. Cappers,
Exploring and visualizing GLL parsing, 2014,
- J.G.M. Mengerink,
On-parse disambiguation in generalized LL parsing using attributes, 2014,
- L.J. van der Sanden,
Parse forest disambiguation, 2014,
- A.-M. Farcasi,
Improving modularity in GLL, 2013,
- A.P. ten Brink,
Disambiguation mechanisms and disambiguation strategies, 2013,
- A. Afroozeh,
Gtext : a language workbench based on GLL and term rewriting, 2012, pdf.
- M.C.G. Leijten,
Strategic Model Transformation Language, 2011 pdf.
- R.G.J. Bouten,
Quantitative analysis of model transformations by means of metrics : a generic approach,
(co-supervisor: M.F. van Amstel (TU/e))
- S. Shetty and V. Menezes,
Verification of architectural rules and design patterns,
(co-supervisors: Kasper van Wouw and Albert Faber (Philips HealthCare))
- J.D. van Houten,
Improving dynamic language performance using just in time compilation,
- M.W. Manders,
mIBNF : a syntax formalism for domain specific languages,
(co-supervisor: Adrian Johnstone (RHUL))
- T. Delissen,
Design and validation of a model-driven engineering environment for the specification and transformation of T-ReCS models,
(co-supervisors: Istvan Nagy (ASML/TU/e) and Sven Weber (ASML))
- P.H. Nguyen,
Quantitative analysis of model transformations,
(co-supervisor: Marcel van Amstel (TU/e))
- H. Pujar and S. Halyal,
A recommendation report on Spare Time Product Development,
(co-supervisors: Marijn Ruster and Raymond Honnings (CapGemini))
- T. Kudchadker and N. Angadi,
Assessment of software architecture and design for offshore projects,
- M.F. Wessels,
High level performance analysis and dependency management,
(co-supervisor: Tom Franssen (Philips HealthCare))
- G.J.W.M. Smeets,
A domain specific language for web information systems : what about evolving data models?,
(co-supervisor: B.J. Arnoldus (HvA))
- M.B. van der Vlist,
Quality assessment of embedded language modules : targeting the spotlight on heterogeneous systems
(co-supervisor: S. Roubtsov (TU/e))
- A.J. Peeters,
Introducing static semantic analysis to templates using JastAdd,
(co-supervisor: B.J. Arnoldus (HvA))
- D.H.A. van Zeeland,
Reverse-engineering state machine diagrams from legacy C-code,
(co-supervisor: Peter v.d. Weijden (VI))
- V. Sinha,
Implementing a DSL for Modeling Hardware and the Design of Models, 2009, (confidential).
(co-supervisor: Liviu Raulea (ASML))
- P. Kumar,
Design and Implementation of a Software Constructor, 2009, (confidential).
(co-supervisors: Michael Franssen (TU/e) and Istvan Nagy (ASML))
- P. Lem,
Testing the ATerm library, 2008, pdf.
- A.P. van der Meer,
A relational approach to static semantic checking, 2008, pdf.
(co-supervisors: B.J. Arnoldus (HvA), H.P.J. van Geldrop-van Eijk (TU/e))
- L.A.J. Verstraeten,
Code generation through model transformation, 2008, pdf.
(co-supervisors: Luc Engelen (TU/e) and Marc Hamilton (ASML))
- W. Bruggeman,
Transformations of a SIP Service Model,
Eindhoven University of Technology, 2008, pdf.
(co-supervisors: Tom Verhoeff (TU/e) and W. Huijsmann (Ericsson))
- J.M.A.M. Gabriels,
Model checking the ATerm library, 2007, pdf.
(co-supervisor: J.C. van de Pol (UT))
- D. Hendriks,
The ToolBus : introducing hierarchy, abstraction, namespaces and relays, 2007, pdf.
(co-supervisor: Merijn de Jonge (Philips Research)
- R.C.A. Verdaasdonk,
Automatic checking of dynamic architectural rules, 2007, pdf.
(co-supervisors: Aleksandra Tesanovic (Philips Research) and
Tim Trew (Philips Research))
- B. Seghers,
Defining metrics for STL-code, 2006, pdf.
(co-supervisor: Frank van der Berk (VI))