Four Automated Approaches to Analyze the Quality of UML Sequence Diagrams. - Marcel van Amstel; Christian F. J. Lange; Michel R. V. Chaudron (COMPSAC (2), 2007)

Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?. - Marcel van Amstel; Mark G. J. van den Brand; Zvezdan Protic; Tom Verhoeff (ICMT@TOOLS, 2008)

Using Metrics for Assessing the Quality of ASF+SDF Model Transformations. - Marcel van Amstel; Christian F. J. Lange; Mark van den Brand (ICMT@TOOLS, 2009)

The Right Tool for the Right Job: Assessing Model Transformation Quality. - M. F. van Amstel (COMPSAC Workshops, 2010)

An exercise in iterative domain-specific language design. - Marcel van Amstel; Mark van den Brand; Luc Engelen (EVOL/IWPSE, 2010)

Model Transformation Analysis: Staying Ahead of the Maintenance Nightmare. - Marcel van Amstel; Mark G. J. van den Brand (ICMT@TOOLS, 2011)

Performance in Model Transformations: Experiments with ATL and QVT. - Marcel van Amstel; Steven Bosems; Ivan Kurtev; Luís Ferreira Pires (ICMT@TOOLS, 2011)

Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification - Extended Abstract. - M. F. van Amstel; M. G. J. van den Brand; Luc J. P. Engelen (ICST Workshops, 2011)

Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification. - M. F. van Amstel; M. G. J. van den Brand; Luc J. P. Engelen (SSIRI (Companion), 2011)

Using Metrics for Assessing the Quality of ATL Model Transformations. - M. F. van Amstel; M. G. J. van den Brand (MtATL@TOOLS, 2011)

Traceability Visualization in Model Transformations with TraceVis. - Marcel van Amstel; Mark G. J. van den Brand; Alexander Serebrenik (ICMT@TOOLS, 2012)