@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}, } @techreport{TUD-SERG-2015-001, title = {A Theory of Name Resolution with extended Coverage and Proofs}, author = {Pierre Neron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth}, year = {2015}, month = {January}, note = {Extended version of ESOP 2015 paper "A Theory of Name Resolution"}, researchr = {https://researchr.org/publication/TUD-SERG-2015-001}, cites = {0}, citedby = {0}, institution = {Software Engineering Research Group. Delft University of Technology}, type = {Technical Report}, number = {TUD-SERG-2015-001}, } @article{ErdwegSVTBCGH0L15, title = {Evaluating and comparing language workbenches: Existing results and benchmarks for the future}, author = {Sebastian Erdweg and Tijs van der Storm and Markus Völter and Laurence Tratt and Remi Bosman and William R. Cook and Albert Gerritsen and Angelo Hulshout and Steven Kelly and Alex Loh and Gabriël Konat and Pedro J. Molina and Martin Palatnik and Risto Pohjonen and Eugen Schindler and Klemens Schindler and Riccardo Solmi and Vlad A. Vergu and Eelco Visser and Kevin van der Vlist and Guido Wachsmuth and Jimi van der Woning}, year = {2015}, doi = {10.1016/j.cl.2015.08.007}, url = {http://dx.doi.org/10.1016/j.cl.2015.08.007}, researchr = {https://researchr.org/publication/ErdwegSVTBCGH0L15}, cites = {0}, citedby = {0}, journal = {Comp. Lang., Syst. \& Struct.}, volume = {44}, pages = {24-47}, } @inproceedings{KonatKWV12, title = {Declarative Name Binding and Scope Rules}, author = {Gabriël Konat and Lennart C. L. Kats and Guido Wachsmuth and Eelco Visser}, year = {2012}, doi = {10.1007/978-3-642-36089-3_18}, url = {http://dx.doi.org/10.1007/978-3-642-36089-3_18}, researchr = {https://researchr.org/publication/KonatKWV12}, cites = {0}, citedby = {0}, pages = {311-331}, booktitle = {SLE}, } @techreport{TUD-SERG-2013-018, title = {A Language Independent Task Engine for Incremental Name and Type Analysis}, author = {Guido Wachsmuth and Gabriël Konat and Vlad A. Vergu and Danny M. Groenewegen and Eelco Visser}, year = {2013}, month = {October}, researchr = {https://researchr.org/publication/TUD-SERG-2013-018}, cites = {0}, citedby = {0}, institution = {Delft University of Technology}, number = {TUD-SERG-2013-018}, address = {Delft, The Netherlands}, } @inproceedings{WachsmuthKVGV13, title = {A Language Independent Task Engine for Incremental Name and Type Analysis}, author = {Guido Wachsmuth and Gabriël Konat and Vlad A. Vergu and Danny M. Groenewegen and Eelco Visser}, year = {2013}, doi = {10.1007/978-3-319-02654-1_15}, url = {http://dx.doi.org/10.1007/978-3-319-02654-1_15}, researchr = {https://researchr.org/publication/WachsmuthKVGV13}, cites = {0}, citedby = {0}, pages = {260-280}, booktitle = {SLE}, } @inproceedings{TaoHHAW14, title = {Facilitating Twitter data analytics: Platform, language and functionality}, author = {Ke Tao and Claudia Hauff and Geert-Jan Houben and Fabian Abel and Guido Wachsmuth}, year = {2014}, doi = {10.1109/BigData.2014.7004259}, url = {http://dx.doi.org/10.1109/BigData.2014.7004259}, researchr = {https://researchr.org/publication/TaoHHAW14}, cites = {0}, citedby = {0}, pages = {421-430}, booktitle = {bigdataconf}, } @inproceedings{SadilekW08, title = {Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages}, author = {Daniel A. Sadilek and Guido Wachsmuth}, year = {2008}, doi = {10.1007/978-3-540-69100-6_5}, url = {http://dx.doi.org/10.1007/978-3-540-69100-6_5}, tags = {model-to-model transformation, semantics, rule-based, transformation engineering, GMF, Eclipse, software architecture, model editor, QVT Transformations, QVT, meta-model, interpreter, modeling language, language engineering, transformation language, software language engineering, architecture, language modeling, model execution, source-to-source, software engineering, model-driven engineering, prototyping, debugging, model transformation, operational semantics, Meta-Environment, QVT Relations, modelware, systematic-approach, transformation, domain-specific language}, researchr = {https://researchr.org/publication/SadilekW08}, cites = {21}, citedby = {1}, pages = {63-78}, booktitle = {ECMDA-FA}, } @article{WachsmuthKV14, title = {Language Design with the Spoofax Language Workbench}, author = {Guido Wachsmuth and Gabriël Konat and Eelco Visser}, year = {2014}, doi = {10.1109/MS.2014.100}, url = {http://dx.doi.org/10.1109/MS.2014.100}, researchr = {https://researchr.org/publication/WachsmuthKV14}, cites = {0}, citedby = {0}, journal = {IEEE Software}, volume = {31}, number = {5}, pages = {35-43}, } @inproceedings{KonatVKWV2012, title = {The {Spoofax} Name Binding Language}, author = {Gabriël Konat and Vlad A. Vergu and Lennart C. L. Kats and Guido Wachsmuth and Eelco Visser}, year = {2012}, doi = {10.1145/2384716.2384748}, url = {https://doi.org/10.1145/2384716.2384748}, tags = {C++, Spoofax}, researchr = {https://researchr.org/publication/KonatVKWV2012}, cites = {0}, citedby = {0}, booktitle = {Companion to the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2012, Tucson, AR, USA, October 19 - 26, 2012}, } @inproceedings{Wachsmuth07:0, title = {Modelling the Operational Semantics of Domain-Specific Modelling Languages}, author = {Guido Wachsmuth}, year = {2007}, doi = {10.1007/978-3-540-88643-3_16}, url = {http://dx.doi.org/10.1007/978-3-540-88643-3_16}, tags = {semantics, QVT, meta-model, interpreter, modeling language, modeling, structural operational semantics, language engineering, language modeling, model execution, model-driven engineering, object-role modeling, debugging, DSL, operational semantics, Meta-Environment, QVT Relations, modelware, systematic-approach, meta-objects, domain-specific language}, researchr = {https://researchr.org/publication/Wachsmuth07%3A0}, cites = {27}, citedby = {0}, pages = {506-520}, booktitle = {GTTSE}, } @inproceedings{RestWSSV13, title = {Robust Real-Time Synchronization between Textual and Graphical Editors}, author = {Oskar van Rest and Guido Wachsmuth and Jim R. H. Steel and Jörn Guy Süß and Eelco Visser}, year = {2013}, doi = {10.1007/978-3-642-38883-5_11}, url = {http://dx.doi.org/10.1007/978-3-642-38883-5_11}, researchr = {https://researchr.org/publication/RestWSSV13}, cites = {0}, citedby = {0}, pages = {92-107}, booktitle = {ICMT}, } @techreport{TUD-SERG-2015-009, title = {A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs}, author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth}, year = {2015}, month = {September}, url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-009.pdf}, note = {Available at \url{http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-009.pdf}}, researchr = {https://researchr.org/publication/TUD-SERG-2015-009}, cites = {0}, citedby = {0}, institution = {Software Engineering Research Group, Delft University of Technology}, number = {TUD-SERG-2015-009}, } @inproceedings{VisserOnward14, title = {A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs}, author = {Eelco Visser and Guido Wachsmuth and Andrew P. Tolmach and Pierre Néron and Vlad A. Vergu and Augusto Passalaqua and Gabriël Konat}, year = {2014}, doi = {10.1145/2661136.2661149}, url = {http://doi.acm.org/10.1145/2661136.2661149}, researchr = {https://researchr.org/publication/VisserOnward14}, cites = {0}, citedby = {0}, pages = {95-111}, booktitle = {OOPSLA}, } @inproceedings{HerrmannsdoerferRW09, title = {Language Evolution in Practice: The History of GMF}, author = {Markus Herrmannsdörfer and Daniel Ratiu and Guido Wachsmuth}, year = {2009}, doi = {10.1007/978-3-642-12107-4_3}, url = {http://dx.doi.org/10.1007/978-3-642-12107-4_3}, tags = {GMF, Eclipse, case study, graphical modeling framework, meta-model, modeling language, modeling, language engineering, coupled evolution, software language engineering, language modeling, requirements engineering, little language, software evolution, maintenance, software engineering, model-driven engineering, history, Meta-Environment, modelware, process modeling, language evolution}, researchr = {https://researchr.org/publication/HerrmannsdoerferRW09}, cites = {0}, citedby = {1}, pages = {3-22}, booktitle = {SLE}, } @article{lohmann:2008, title = {Aspect-oriented Prolog in a language processing context}, author = {Wolfgang Lohmann and Günter Riedewald and Guido Wachsmuth}, year = {2008}, doi = {10.1049/iet-sen:20070064}, url = {http://dx.doi.org/10.1049/iet-sen:20070064}, tags = {programming languages, object-oriented programming, Prolog, rule-based, program analysis, generic programming, transformation language, domain analysis, analysis, reuse, logic programming, aspect oriented programming, DSL, programming, subject-oriented programming, context-aware, logic, parsing, systematic-approach, feature-oriented programming, transformation, grammar, program transformation, domain-specific language}, researchr = {https://researchr.org/publication/lohmann%3A2008}, cites = {0}, citedby = {0}, journal = {iee}, volume = {2}, number = {3}, } @inproceedings{SadilekW09, title = {Using Grammarware Languages to Define Operational Semantics of Modelled Languages}, author = {Daniel A. Sadilek and Guido Wachsmuth}, year = {2009}, doi = {10.1007/978-3-642-02571-6_20}, url = {http://dx.doi.org/10.1007/978-3-642-02571-6_20}, tags = {semantics, Prolog, rule-based, Eclipse, case study, ASMs, meta-model, modeling language, modeling, language engineering, software language engineering, language modeling, model execution, software engineering, model-driven engineering, prototyping, operational semantics, Meta-Environment, state machines, grammarware, abstract machine, modelware, Scheme, extensible language, systematic-approach}, researchr = {https://researchr.org/publication/SadilekW09}, cites = {0}, citedby = {0}, booktitle = {TOOLS}, } @book{DslEngineering2013, title = {{DSL} Engineering - Designing, Implementing and Using Domain-Specific Languages}, author = {Markus Völter and Sebastian Benz and Christian Dietrich and Birgit Engelmann and Mats Helander and Lennart C. L. Kats and Eelco Visser and Guido Wachsmuth}, year = {2013}, url = {http://www.dslbook.org}, researchr = {https://researchr.org/publication/DslEngineering2013}, cites = {0}, citedby = {0}, publisher = {dslbook.org}, isbn = {978-1-4812-1858-0}, } @inproceedings{ErdwegSV13, title = {The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge}, author = {Sebastian Erdweg and Tijs van der Storm and Markus Völter and Meinte Boersma and Remi Bosman and William R. Cook and Albert Gerritsen and Angelo Hulshout and Steven Kelly and Alex Loh and Gabriël Konat and Pedro J. Molina and Martin Palatnik and Risto Pohjonen and Eugen Schindler and Klemens Schindler and Riccardo Solmi and Vlad A. Vergu and Eelco Visser and Kevin van der Vlist and Guido Wachsmuth and Jimi van der Woning}, year = {2013}, doi = {10.1007/978-3-319-02654-1_11}, url = {http://dx.doi.org/10.1007/978-3-319-02654-1_11}, researchr = {https://researchr.org/publication/ErdwegSV13}, cites = {0}, citedby = {0}, pages = {197-217}, booktitle = {SLE}, } @techreport{TUD-SERG-2015-012, title = {A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs}, author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth}, year = {2015}, month = {November}, url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-012.pdf}, note = {Available at \url{http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-012.pdf}}, researchr = {https://researchr.org/publication/TUD-SERG-2015-012}, cites = {0}, citedby = {0}, institution = {Software Engineering Research Group, Delft University of Technology}, number = {TUD-SERG-2015-012}, } @article{LammelW01, title = {Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment}, author = {Ralf Lämmel and Guido Wachsmuth}, year = {2001}, url = {http://www.elsevier.com/gej-ng/31/29/23/73/27/show/Products/notes/index.htt#004}, tags = {model-to-model transformation, rule-based, syntax definition, SDF, meta-model, transformation language, disambiguation, process algebra, software evolution, source-to-source, algebraic specification, model transformation, algebra, Meta-Environment, grammarware, ASF+SDF, language evolution, meta-objects, transformation, grammar}, researchr = {https://researchr.org/publication/LammelW01}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {44}, number = {2}, pages = {9-33}, } @article{SmitsWV20, title = {FlowSpec: A Declarative Specification Language for Intra-Procedural Flow-Sensitive Data-Flow Analysis}, author = {Jeff Smits and Guido Wachsmuth and Eelco Visser}, year = {2020}, doi = {10.1016/j.cola.2019.100924}, url = {https://doi.org/10.1016/j.cola.2019.100924}, researchr = {https://researchr.org/publication/SmitsWV20}, cites = {0}, citedby = {0}, journal = {JCL (JVLC)}, volume = {57}, pages = {100924}, } @inproceedings{AmorimEWV16, title = {Principled syntactic code completion using placeholders}, author = {Luis Eduardo de Souza Amorim and Sebastian Erdweg and Guido Wachsmuth and Eelco Visser}, year = {2016}, doi = {10.1145/2997364.2997374}, url = {http://dx.doi.org/10.1145/2997364.2997374}, researchr = {https://researchr.org/publication/AmorimEWV16}, cites = {0}, citedby = {0}, pages = {163-175}, booktitle = {SLE}, } @incollection{HerrmannsdorferW14, title = {Coupled Evolution of Software Metamodels and Models}, author = {Markus Herrmannsdörfer and Guido Wachsmuth}, year = {2014}, doi = {10.1007/978-3-642-45398-4_2}, url = {http://dx.doi.org/10.1007/978-3-642-45398-4_2}, researchr = {https://researchr.org/publication/HerrmannsdorferW14}, cites = {0}, citedby = {0}, pages = {33-63}, booktitle = {Evolving Software Systems}, editor = {Tom Mens and Alexander Serebrenik and Anthony Cleve}, publisher = {Springer}, isbn = {978-3-642-45397-7}, } @inproceedings{TarasowWLSB13, title = {Online estimation of time-varying torque characteristics of automotive clutches using a control oriented model}, author = {Alex Tarasow and Guido Wachsmuth and Joseph Lemieux and Roland Serway and Christian Bohn}, year = {2013}, url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6580900}, researchr = {https://researchr.org/publication/TarasowWLSB13}, cites = {0}, citedby = {0}, pages = {6752-6757}, booktitle = {amcc}, } @inproceedings{Wachsmuth09, title = {A Formal Way from Text to Code Templates}, author = {Guido Wachsmuth}, year = {2009}, doi = {10.1007/978-3-642-00593-0_8}, url = {http://dx.doi.org/10.1007/978-3-642-00593-0_8}, tags = {model-to-model transformation, semantics, transformation engineering, formal semantics, model-to-text transformation, language engineering, transformation language, composition, source-to-source, model-driven engineering, code generation, model transformation, natural semantics, language composition, grammarware, modelware, systematic-approach, open-source, transformation}, researchr = {https://researchr.org/publication/Wachsmuth09}, cites = {0}, citedby = {0}, pages = {109-123}, booktitle = {FASE}, } @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 = {SLE}, } @inproceedings{Wachsmuth07, title = {Metamodel Adaptation and Model Co-adaptation}, author = {Guido Wachsmuth}, year = {2007}, doi = {10.1007/978-3-540-73589-2_28}, url = {http://dx.doi.org/10.1007/978-3-540-73589-2_28}, tags = {model-to-model transformation, semantics, transformation engineering, QVT Transformations, QVT, meta-model, modeling language, refinement, model refactoring, refactoring, language engineering, transformation language, coupled evolution, software language engineering, language modeling, coupled transformation, language design, software evolution, source-to-source, maintenance, software engineering, model-driven engineering, model transformation, Meta-Environment, QVT Relations, modelware, design, systematic-approach, language evolution, transformation, grammar}, researchr = {https://researchr.org/publication/Wachsmuth07}, cites = {0}, citedby = {4}, pages = {600-624}, booktitle = {ECOOP}, } @inproceedings{NeronTVW15, title = {A Theory of Name Resolution}, author = {Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth}, year = {2015}, doi = {10.1007/978-3-662-46669-8_9}, url = {http://dx.doi.org/10.1007/978-3-662-46669-8_9}, researchr = {https://researchr.org/publication/NeronTVW15}, cites = {0}, citedby = {0}, pages = {205-231}, booktitle = {ESOP}, } @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 = {GPCE}, } @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 = {SLE}, } @inproceedings{Wachsmuth07a, title = {An Adaptation Browser for MOF}, author = {Guido Wachsmuth}, year = {2007}, url = {http://netfiles.uiuc.edu/dig/RefactoringWorkshop/}, researchr = {https://researchr.org/publication/Wachsmuth07a}, cites = {0}, citedby = {1}, pages = {64-65}, booktitle = {ECOOP}, } @inproceedings{KatsVW10, title = {Pure and declarative syntax definition: paradise lost and regained}, author = {Lennart C. L. Kats and Eelco Visser and Guido Wachsmuth}, year = {2010}, doi = {10.1145/1869459.1869535}, url = {http://doi.acm.org/10.1145/1869459.1869535}, tags = {parsing algorithm, syntax definition, composition, software evolution, C++, compiler, parsing}, researchr = {https://researchr.org/publication/KatsVW10}, cites = {0}, citedby = {1}, pages = {918-932}, booktitle = {OOPSLA}, } @techreport{TUD-SERG-2015-006, title = {Language-Independent Type-Dependent Name Resolution}, author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth}, year = {2015}, month = {July}, researchr = {https://researchr.org/publication/TUD-SERG-2015-006}, cites = {0}, citedby = {0}, institution = {Delft University of Technology, Software Engineering Research Group}, number = {TUD-SERG-2015-006}, address = {Delft, The Netherlands}, } @techreport{preprint-VanRestWSSV2013, title = {Robust Real-Time Synchronization between Textual and Graphical Editors}, author = {Oskar van Rest and Guido Wachsmuth and Jim Steel and Jörn Guy Süss and Eelco Visser}, year = {2013}, month = {June}, researchr = {https://researchr.org/publication/preprint-VanRestWSSV2013}, cites = {0}, citedby = {0}, type = {Preprint}, } @mastersthesis{wachsmuth:diplomathesis, title = {Ideen der Aspektorientierung in Prolog}, author = {Guido Wachsmuth}, year = {2006}, month = {April}, note = {Ideas of Aspect-Orientation in Prolog}, tags = {programming languages, object-oriented programming, reusable components, Prolog, rule-based, meta programming, generic programming, software components, meta-model, modeling language, language modeling, software component, reuse, object-role modeling, aspect oriented programming, programming, subject-oriented programming, Meta-Environment, reflection, process modeling, extensible language, systematic-approach, feature-oriented programming}, researchr = {https://researchr.org/publication/wachsmuth%3Adiplomathesis}, cites = {0}, citedby = {0}, school = {University of Rostock}, address = {Germany}, advisor = {Günter Riedewald and Wolfgang Lohmann}, } @inproceedings{AntwerpenNTVW16, title = {A constraint language for static semantic analysis based on scope graphs}, author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth}, year = {2016}, doi = {10.1145/2847538.2847543}, url = {http://doi.acm.org/10.1145/2847538.2847543}, researchr = {https://researchr.org/publication/AntwerpenNTVW16}, cites = {0}, citedby = {0}, pages = {49-60}, booktitle = {PEPM}, }