Marcel van Amstel

Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?

Mark van den Brand, Tom Verhoeff, Marcel van Amstel, 2008, ICMT@TOOLS.

Traceability Visualization in Model Transformations with TraceVis

Alexander Serebrenik, Mark van den Brand, Marcel van Amstel, 2012, ICMT@TOOLS.

Using Metrics for Assessing the Quality of ASF+SDF Model Transformations

Mark van den Brand, Christian Lange, Marcel van Amstel, 2009, ICMT@TOOLS.

The Right Tool for the Right Job: Assessing Model Transformation Quality

Marcel van Amstel, 2010, 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops.

Using Metrics for Assessing the Quality of ATL Model Transformations

Mark van den Brand, Marcel van Amstel, M. Brand, 2011, MtATL@TOOLS.

Performance in Model Transformations: Experiments with ATL and QVT

Luís Ferreira Pires, Ivan Kurtev, Steven Bosems, 2011, ICMT@TOOLS.

An exercise in iterative domain-specific language design

Mark van den Brand, Luc Engelen, Marcel van Amstel, 2010, IWPSE-EVOL '10.

Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification

Mark van den Brand, Luc Engelen, Marcel van Amstel, 2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion.

Model Transformation Analysis: Staying Ahead of the Maintenance Nightmare

Mark van den Brand, Marcel van Amstel, M. Brand, 2011, ICMT@TOOLS.

Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification -- Extended Abstract

Mark van den Brand, Luc Engelen, Marcel van Amstel, 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

Four Automated Approaches to Analyze the Quality of UML Sequence Diagrams

Michel R. V. Chaudron, Christian Lange, Marcel van Amstel, 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).