@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 = {http://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},
}

@inproceedings{Vermolen-GPCE-2011,
  title = {Generating Database Migration for Evolving Web Applications},
  author = {Sander Vermolen and Guido Wachsmuth and Eelco Visser},
  year = {2011},
  doi = {http://dx.doi.org/10.1145/2047862.2047876},
  tags = {transformation language, code generation, coupled evolution, model-to-model transformation, transformation, abstraction, relational database, meta-model, data-flow, database, data-flow language, web applications, domain-specific language, meta-objects, software evolution, WebDSL, model checking, coupled transformation, compiler, migration, modeling, language modeling, Meta-Environment, object-role modeling, modeling language, model transformation, source-to-source},
  researchr = {http://researchr.org/publication/Vermolen-GPCE-2011},
  cites = {0},
  citedby = {0},
  pages = {83-92},
  booktitle = {Proceedings of the 10th ACM international conference on Generative programming and component engineering (GPCE 2011)},
  editor = {Ewen  Denney and Ulrik Pagh Schultz},
  address = {New York, NY, USA},
  publisher = {ACM},
}

@inproceedings{VermolenWachsmuthVisser2011,
  title = {Reconstructing Complex Metamodel Evolution},
  author = {Sander Vermolen and Guido Wachsmuth and Eelco Visser},
  year = {2012},
  doi = {http://dx.doi.org/10.1007/978-3-642-28830-2_11},
  tags = {transformation language, software components, software engineering, systematic-approach, detection, coupled evolution, reconstruction, language engineering, modelware, model-to-model transformation, transformation, meta-model, software language engineering, software evolution, language evolution, transformation engineering, coupled transformation, migration, model refactoring, evolution, refactoring, complex, language modeling, software component, Meta-Environment, modeling language, model transformation, source-to-source, model-driven engineering},
  researchr = {http://researchr.org/publication/VermolenWachsmuthVisser2011},
  cites = {29},
  citedby = {0},
  pages = {201-221},
  booktitle = {Software Language Engineering, Fourth International Conference, SLE 2011, Braga, Portugal, July, 2011, Revised Selected Papers},
  editor = {Uwe  Aßmann and Anthony M. Sloane},
  publisher = {Springer},
}

@phdthesis{Vermolen2012,
  title = {Software Language Evolution},
  author = {Sander Vermolen},
  year = {2012},
  month = {October},
  tags = {software evolution},
  researchr = {http://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{Vermolen08,
  title = {Software Language Evolution},
  author = {Sander Vermolen},
  year = {2008},
  doi = {http://dx.doi.org/10.1109/WCRE.2008.42},
  tags = {software evolution},
  researchr = {http://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 = {http://dx.doi.org/10.1007/978-3-540-87875-9_44},
  tags = {transformation language, XML, systematic-approach, software languages, coupled, format evolution, coupled evolution, model-to-model transformation, transformation, abstraction, meta-model, data-flow, database, data-flow language, software architecture, domain-specific language, heterogeneous, meta-objects, software evolution, model, grammar, architecture, evolution, modeling, languages, language modeling, XML Schema, Meta-Environment, modeling language, model transformation, source-to-source},
  researchr = {http://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 = {http://dx.doi.org/10.1109/WCRE.2008.50},
  tags = {meta-objects, software evolution, systematic-approach, convertors, language, evolution, modeling, dsl-tools, DSL, language modeling, abstraction, case study, Meta-Environment, meta-model, modeling language, model-driven development, domain-specific language},
  researchr = {http://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 = {http://doi.acm.org/10.1145/1774088.1774608},
  tags = {consistency},
  researchr = {http://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 = {systematic-approach, Meta-Environment, meta-model, migration},
  researchr = {http://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 = {http://dx.doi.org/10.1007/978-3-642-19440-5_10},
  tags = {modeling, language modeling, systematic-approach, case study, Meta-Environment, coupled evolution, meta-model, survey, modeling language, migration, reuse},
  researchr = {http://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},
}