Sander Vermolen

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Sander Vermolen, Guido Wachsmuth, Eelco Visser
Reconstructing Complex Metamodel Evolution. SLE (2011)
Markus Herrmannsdoerfer, Sander Vermolen, Guido Wachsmuth
An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models. SLE (2010)
Sander Vermolen, Jozef Hooman, Peter Gorm Larsen
Proving consistency of VDM models using HOL. SAC (2010)
Sander Vermolen
Software Language Evolution. WCRE (2008)
Sander Vermolen, Eelco Visser
Heterogeneous Coupled Evolution of Software Languages. MoDELS (2008)
Gerardo de Geest, Sander Vermolen, Arie van Deursen, Eelco Visser
Generating Version Convertors for Domain-Specific Languages. WCRE (2008)