Publications

Conference/Workshop publications

Visualizing Traceability in Model Transformation Compositions.
M. F. van Amstel, M. G. J. van den Brand, and A. Serebrenik.
In pre-proceedings of the First Workshop on Composition and Evolution of Model Transformations (CEMT 2011) (by invitation only), London, UK, September 2011.

Using Metrics for Assessing the Quality of ATL Model Transformations. Electronic Edition
M.F. van Amstel and M.G.J. van den Brand.
In Proceedings of the Third International Workshop on Model Transformation with ATL (MtATL 2011), volume 742 of CEUR Workshop proceedings, pages 20--34, Zurich, Switzerland, July 2011.

Model Transformation Analysis: Staying Ahead of the Maintenance Nightmare. Electronic Edition
M.F. van Amstel, M.G.J. van den Brand.
In Theory and Practice of Model Transformations, Proceedings of the Fourth International Conference on Model Transformation (ICMT 2011), volume 6707 of Lecture Notes in Computer Science, pages 108-122, Zurich, Switzerland, June 2011.

Performance in Model Transformations: A Comparison Between ATL and QVT. Electronic Edition
M.F. van Amstel, Steven Bosems, Ivan Kurtev, Luís Ferreira Pires.
In Theory and Practice of Model Transformations, Proceedings of the Fourth International Conference on Model Transformation (ICMT 2011), volume 6707 of Lecture Notes in Computer Science, pages 198-212, Zurich, Switzerland, June 2011.

Using a DSL and Fine-grained Model Transformations to Explore the Boundaries of Model Verification. Electronic Edition
M.F. van Amstel, M.G.J. van den Brand, L.J.P. Engelen.
In Proceedings of the Third Workshop on Model-Based Verification and Validation (MVV 2011), pages 120-127, Jeju Island, South Korea, June 2011.

Using a DSL and Fine-grained Model Transformations to Explore the Boundaries of Model Verification -- Extended Abstract. Electronic Edition
M.F. van Amstel, M.G.J. van den Brand, L.J.P. Engelen.
In Proceedings of the Seventh Workshop on Advances in Model Based Testing (A-MOST 2011), pages 63-66, Berlin, Germany, March 2011.

Metrics for Model Transformations. PDF
M.F. van Amstel, M.G.J. van den Brand, P.H. Nguyen.
In Proceedings of the Ninth Belgian-Netherlands Software Evolution Workshop (BENEVOL 2010), Lille, France, December 2010.

An Exercise in Iterative Domain-Specific Language Design. Electronic Edition
Marcel van Amstel, Mark van den Brand, Luc Engelen.
In Proceedings of the Joint ERCIM Workshop on Software Evolution and International Workshop on Principles of Software Evolution (IWPSE-EVOL 2010), pages 48-57, Antwerp, Belgium, September 2010.

The Right Tool for the Right Job: Assessing Model Transformation Quality. Electronic Edition
M.F. van Amstel.
In Proceedings of the Fourth IEEE International Workshop on Quality Oriented Reuse of Software (QUORS'10) (co-located with COMPSAC 2010), pages 69-74, Seoul, South Korea, July 2010.

Quality Assessment of ATL Model Transformations using Metrics. Electronic Edition
M.F. van Amstel and M.G.J. van den Brand.
In Proceedings of the Second International Workshop on Model Transformation with ATL (MtATL 2010), volume 711 of CEUR Workshop proceedings, pages 19--33, Málaga, Spain, June 2010.

Using Metrics for Assessing the Quality of ASF+SDF Model Transformations. Electronic Edition
M.F. van Amstel, C.F.J. Lange, M.G.J. van den Brand.
In Theory and Practice of Model Transformations, Proceedings of the Second International Conference on Model Transformation (ICMT 2009), volume 5563 of Lecture Notes in Computer Science, pages 239-248, Zurich, Switzerland, June 2009.

Version control of graphs. PDF
M.F. van Amstel, M.G.J. van den Brand, Z. Protic.
In Informal Pre-proceedings of the Seventh Belgian-Netherlands Software Evolution Workshop (BENEVOL 2008), pages 11-12, Eindhoven, The Netherlands, December 2008.

Metrics for Analyzing the Quality of Model Transformations -- Extended Abstract. PDF
M.F. van Amstel, C.F.J. Lange, M.G.J. van den Brand.
In Informal Pre-proceedings of the Seventh Belgian-Netherlands Software Evolution Workshop (BENEVOL 2008), pages 36-37, Eindhoven, The Netherlands, December 2008.

Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? Electronic Edition
M.F. van Amstel, M.G.J. van den Brand, Z. Protic, T. Verhoeff.
In Theory and Practice of Model Transformations, Proceedings of the First International Conference on Model Transformation (ICMT 2008), volume 5063 of Lecture Notes in Computer Science, pages 61-75, Zurich, Switzerland, July 2008.

Metrics for Analyzing the Quality of Model Transformations. PDF
M.F. van Amstel, C.F.J. Lange, M.G.J. van den Brand.
In Proceedings of the Twelfth ECOOP Workshop on Quantitative Approaches on Object Oriented Software Engineering (QAOOSE 2008) (co-located with ECOOP 2008), pages 41-51, Paphos, Cyprus, July 2008.

Four Automated Approaches to Analyze the Quality of UML Sequence Diagrams. Electronic Edition
Marcel F. van Amstel, Christian F.J. Lange, Michel R.V. Chaudron.
In Proceedings of the First IEEE International Workshop on Quality Oriented Reuse of Software (QUORS 2007) (co-located with COMPSAC 2007), pages 415-421, Beijing, China, July 2007.

Book chapters

Model-driven software engineering. Electronic Edition
M.F. van Amstel, M.G.J. van den Brand, Z. Protic, T. Verhoeff.
In Automation in warehouse development., Chapter 4, pages 45-58, Springer, December 2011.

Technical reports

Visualizing Traceability on Model Transformation Compositions. Electronic Edition
M.F. van Amstel, M.G.J. van den Brand, A. Serebrenik.
CS Report 11-17, December 2011.

Performance Analysis of a Palletizing System. Electronic Edition
M.F. van Amstel, E. van de Plassche, R. Hamberg, M.G.J. van den Brand, J.E. Rooda.
SE Report 2007-09, Eindhoven University of Technology, Systems Engineering Group, Department of Mechanical Engineering, Eindhoven, The Netherlands. June 2007.

Theses

Assessing and Improving the Quality of Model Transformations. PDF
M.F. van Amstel.
PhD. thesis. November 2011.

Design and Assessment of Analysis Techniques for UML Sequence Diagrams. PDF
M.F. van Amstel.
Master's thesis. July 2006.