@inproceedings{VermolenWV11sle,
  title = {Reconstructing Complex Metamodel Evolution},
  author = {Sander Vermolen and Guido Wachsmuth and Eelco Visser},
  year = {2011},
  doi = {10.1007/978-3-642-28830-2_11},
  url = {http://dx.doi.org/10.1007/978-3-642-28830-2_11},
  researchr = {https://researchr.org/publication/VermolenWV11sle},
  cites = {0},
  citedby = {0},
  pages = {201-221},
  booktitle = {Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers},
  editor = {Anthony M. Sloane and Uwe Aßmann},
  volume = {6940},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-28829-6},
}

@inproceedings{BDKNV06,
  title = {A Formal Model of the Bluetooth Inquiry Protocol},
  author = {Hugo Brakman and Vincent Driessen and Joseph Kavuma and Laura Nij Bijvank and Sander Vermolen},
  year = {2006},
  month = {August},
  tags = {protocol},
  researchr = {https://researchr.org/publication/BDKNV06},
  cites = {0},
  citedby = {0},
  booktitle = {Formal Methods in the Teaching Lab -- A Workshop at the Formal Methods 2006 Symposium},
  address = {McMaster University, Hamilton, Ontario, Canada},
  organization = {Formal Methods Europe Subgroup on Education},
}

@phdthesis{Vermolen2012,
  title = {Software Language Evolution},
  author = {Sander Vermolen},
  year = {2012},
  month = {October},
  tags = {software evolution},
  researchr = {https://researchr.org/publication/Vermolen2012},
  cites = {0},
  citedby = {0},
  school = {Delft University of Technology},
  address = {Delft, The Netherlands},
  advisor = {Eelco Visser and Arie  van Deursen},
}

@inproceedings{VermolenWV11,
  title = {Generating database migrations for evolving web applications},
  author = {Sander Vermolen and Guido Wachsmuth and Eelco Visser},
  year = {2011},
  doi = {10.1145/2047862.2047876},
  url = {http://doi.acm.org/10.1145/2047862.2047876},
  researchr = {https://researchr.org/publication/VermolenWV11},
  cites = {0},
  citedby = {0},
  pages = {83-92},
  booktitle = {Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011},
  editor = {Ewen Denney and Ulrik Pagh Schultz},
  publisher = {ACM},
  isbn = {978-1-4503-0689-8},
}

@inproceedings{Vermolen08,
  title = {Software Language Evolution},
  author = {Sander Vermolen},
  year = {2008},
  doi = {10.1109/WCRE.2008.42},
  url = {http://dx.doi.org/10.1109/WCRE.2008.42},
  tags = {software evolution},
  researchr = {https://researchr.org/publication/Vermolen08},
  cites = {0},
  citedby = {0},
  pages = {323-326},
  booktitle = {WCRE 2008, Proceedings of the 15th Working Conference on Reverse Engineering, Antwerp, Belgium, October 15-18, 2008},
  publisher = {IEEE},
}

@inproceedings{VermolenV08,
  title = {Heterogeneous Coupled Evolution of Software Languages},
  author = {Sander Vermolen and Eelco Visser},
  year = {2008},
  doi = {10.1007/978-3-540-87875-9_44},
  url = {http://dx.doi.org/10.1007/978-3-540-87875-9_44},
  tags = {model-to-model transformation, software architecture, coupled, data-flow language, meta-model, XML, evolution, modeling language, heterogeneous, XML Schema, languages, modeling, transformation language, coupled evolution, architecture, language modeling, model, data-flow, software evolution, format evolution, source-to-source, model transformation, database, abstraction, software languages, Meta-Environment, systematic-approach, meta-objects, transformation, grammar, domain-specific language},
  researchr = {https://researchr.org/publication/VermolenV08},
  cites = {0},
  citedby = {3},
  pages = {630-644},
  booktitle = {Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings},
  editor = {Krzysztof Czarnecki and Ileana Ober and Jean-Michel Bruel and Axel Uhl and Markus Völter},
  volume = {5301},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87874-2},
}

@inproceedings{GeestVDV08,
  title = {Generating Version Convertors for Domain-Specific Languages},
  author = {Gerardo de Geest and Sander Vermolen and Arie  van Deursen and Eelco Visser},
  year = {2008},
  doi = {10.1109/WCRE.2008.50},
  url = {http://dx.doi.org/10.1109/WCRE.2008.50},
  tags = {case study, meta-model, evolution, modeling language, modeling, dsl-tools, language modeling, model-driven development, software evolution, DSL, abstraction, Meta-Environment, convertors, systematic-approach, language, meta-objects, domain-specific language},
  researchr = {https://researchr.org/publication/GeestVDV08},
  cites = {0},
  citedby = {0},
  pages = {197-201},
  booktitle = {WCRE 2008, Proceedings of the 15th Working Conference on Reverse Engineering, Antwerp, Belgium, October 15-18, 2008},
  publisher = {IEEE},
}

@inproceedings{VermolenHL10-0,
  title = {Proving consistency of VDM models using HOL},
  author = {Sander Vermolen and Jozef Hooman and Peter Gorm Larsen},
  year = {2010},
  doi = {10.1145/1774088.1774608},
  url = {http://doi.acm.org/10.1145/1774088.1774608},
  tags = {consistency},
  researchr = {https://researchr.org/publication/VermolenHL10-0},
  cites = {0},
  citedby = {0},
  pages = {2503-2510},
  booktitle = {Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010},
  editor = {Sung Y. Shin and Sascha Ossowski and Michael Schumacher and Mathew J. Palakal and Chih-Cheng Hung},
  publisher = {ACM},
  isbn = {978-1-60558-639-7},
}

@techreport{VermolenWachsmuthVisser-TUD-SERG-2011-026,
  title = {Reconstructing Complex Metamodel Evolution},
  author = {Sander Vermolen and Guido Wachsmuth and Eelco Visser},
  year = {2011},
  month = {August},
  tags = {meta-model, migration, Meta-Environment, systematic-approach},
  researchr = {https://researchr.org/publication/VermolenWachsmuthVisser-TUD-SERG-2011-026},
  cites = {0},
  citedby = {0},
  institution = {Delft University of Technology},
  number = {TUD-SERG-2011-026},
  address = {Delft, The Netherlands},
}

@inproceedings{HerrmannsdoerferVW10,
  title = {An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models},
  author = {Markus Herrmannsdörfer and Sander Vermolen and Guido Wachsmuth},
  year = {2010},
  doi = {10.1007/978-3-642-19440-5_10},
  url = {http://dx.doi.org/10.1007/978-3-642-19440-5_10},
  tags = {case study, meta-model, modeling language, modeling, coupled evolution, language modeling, reuse, survey, migration, Meta-Environment, systematic-approach},
  researchr = {https://researchr.org/publication/HerrmannsdoerferVW10},
  cites = {0},
  citedby = {0},
  pages = {163-182},
  booktitle = {Software Language Engineering - Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers},
  editor = {Brian A. Malloy and Steffen Staab and Mark van den Brand},
  volume = {6563},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-19439-9},
}