@inproceedings(Barriga-etal19a,
 author       = {Angela Barriga and Adrian Rutle and Rogardt Heldal},
 year         = {2019},
 title        = {Personalized and Automatic Model Repairing using Reinforcement Learning},
 booktitle    = {22nd {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems Companion, {MODELS} Companion},
 publisher    = {{IEEE}},
 pages        = {175--181},
 doi          = {10.1109/MODELS-C.2019.00030},
)
@article(Biermann-Ermel-Taetzer12a,
 author       = {Enrico Biermann and Claudia Ermel and Gabriele Taentzer},
 year         = {2012},
 title        = {Formal foundation of consistent EMF model transformations by algebraic graph transformation},
 journal      = {Software and System Modeling},
 volume       = {11},
 number       = {2},
 pages        = {227--250},
 doi          = {10.1007/s10270-011-0199-7},
)
@book(Ehrig-Ehrig-Prange-Taentzer06b,
 author       = {Hartmut Ehrig and Karsten Ehrig and Ulrike Prange and Gabriele Taentzer},
 year         = {2006},
 title        = {Fundamentals of Algebraic Graph Transformation},
 series       = {EATCS Monographs of Theoretical Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/3-540-31188-2},
)
@article(Ehrig-Golas-Habel-Lambers-Orejas14a,
 author       = {Hartmut Ehrig and Ulrike Golas and Annegret Habel and Leen Lambers and Fernando Orejas},
 year         = {2014},
 title        = {$\mathcal{M}$-Adhesive Transformation Systems with Nested Application Conditions. {P}art~1: Parallelism, Concurrency and Amalgamation},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {24},
 doi          = {10.1017/S0960129512000357},
)
@article(Ehrig-Golas-Hermann10a,
 author       = {Hartmut Ehrig and Ulrike Golas and Frank Hermann},
 year         = {2010},
 title        = {Categorical Frameworks for Graph Transformation and {HLR} Systems based on the {DPO} Approach},
 journal      = {Bulletin of the {EATCS}},
 volume       = {112},
 pages        = {111--121},
 url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/158},
)
@article(Habel-Pennemann09a,
 author       = {Annegret Habel and Karl-Heinz Pennemann},
 year         = {2009},
 title        = {Correctness of High-Level Transformation Systems Relative to Nested Conditions},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {19},
 pages        = {245--296},
 doi          = {10.1017/S0960129508007202},
)
@inproceedings(Habel-Sandmann18a,
 author       = {Annegret Habel and Christian Sandmann},
 year         = {2018},
 title        = {Graph Repair by Graph Programs},
 booktitle    = {Graph Computation Models ({GCM} 2018)},
 series       = {Lecture Notes in Computer Science},
 volume       = {11176},
 pages        = {431--446},
 doi          = {10.1007/978-3-030-04771-9\_31},
)
@book(Heckel-Taentzer20a,
 author       = {Reiko Heckel and Gabriele Taentzer},
 year         = {2020},
 title        = {Graph Transformation for Software Engineers - With Applications to Model-Based Development and Domain-Specific Language Engineering},
 publisher    = {Springer},
 doi          = {10.1007/978-3-030-43916-3},
)
@inproceedings(Kosiol-etal20a,
 author       = {Jens Kosiol and Daniel Str{\"{u}}ber and Gabriele Taentzer and Steffen Zschaler},
 year         = {2020},
 title        = {Graph Consistency as a Graduated Property - Consistency-Sustaining and -Improving Graph Transformations},
 editor       = {Fabio Gadducci and Timo Kehrer},
 booktitle    = {Graph Transformation - 13th International Conference, {ICGT}},
 series       = {Lecture Notes in Computer Science},
 volume       = {12150},
 publisher    = {Springer},
 pages        = {239--256},
 doi          = {10.1007/978-3-030-51372-6\_14},
)
@article(Loewe93a,
 author       = {Michael L{\"o}we},
 year         = {1993},
 title        = {Algebraic Approach to Single-Pushout Graph Transformation},
 journal      = {Theoretical Computer Science},
 volume       = {109},
 pages        = {181--224},
 doi          = {10.1016/0304-3975(93)90068-5},
)
@article(Macedo-etal17a,
 author       = {Nuno Macedo and Jorge Tiago and Alcino Cunha},
 year         = {2017},
 title        = {A Feature-Based Classification of Model Repair Approaches},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {43},
 number       = {7},
 pages        = {615--640},
 doi          = {10.1109/TSE.2016.2620145},
)
@article(Nassar-etal20a,
 author       = {Nebras Nassar and Jens Kosiol and Thorsten Arendt and Gabriele Taentzer},
 year         = {2020},
 title        = {Constructing optimized constraint-preserving application conditions for model transformation rules},
 journal      = {J. Log. Algebraic Methods Program.},
 volume       = {114},
 pages        = {100564},
 doi          = {10.1016/j.jlamp.2020.100564},
)
@inproceedings(Nebras-etal17a,
 author       = {Nebras Nassar and Hendrik Radke and Thorsten Arendt},
 year         = {2017},
 title        = {Rule-Based Repair of {EMF} Models: An Automated Interactive Approach},
 booktitle    = {Theory and Practice of Model Transformation ({ICMT} 2017)},
 series       = {Lecture Notes in Computer Science},
 volume       = {10374},
 pages        = {171--181},
 doi          = {10.1007/978-3-319-61473-1\_12},
)
@inproceedings(Nentwich-etal03a,
 author       = {Christian Nentwich and Wolfgang Emmerich and Anthony Finkelstein},
 year         = {2003},
 title        = {Consistency Management with Repair Actions},
 booktitle    = {Software Engineering},
 publisher    = {{IEEE} Computer Society},
 pages        = {455--464},
 doi          = {10.1109/ICSE.2003.1201223},
)
@misc(OCL,
 author       = {{Object Management Group}},
 year         = {2014},
 title        = {Object Constraint Language, Version 2.4, {OCL} (February 2014)},
 url          = {https://www.omg.org/spec/OCL/2.4/},
)
@article(Orejas-Lambers10a,
 author       = {Fernando Orejas and Leen Lambers},
 year         = {2010},
 title        = {Symbolic Attributed Graphs for Attributed Graph Transformation},
 journal      = {Electronic Communications of the EASST},
 volume       = {30},
 doi          = {10.14279/tuj.eceasst.30.405},
)
@phdthesis(Pennemann09a,
 author       = {Karl-Heinz Pennemann},
 year         = {2009},
 title        = {Development of Correct Graph Transformation Systems},
 school       = {Universit\"at Oldenburg},
)
@article(Poskitt-Plump13a,
 author       = {Christopher M. Poskitt and Detlef Plump},
 year         = {2013},
 title        = {Verifying Total Correctness of Graph Programs},
 journal      = {Electronic Communications of the EASST},
 volume       = {61},
 doi          = {10.14279/tuj.eceasst.61.827},
)
@inproceedings(Rabbi-etal15a,
 author       = {Fazle Rabbi and Yngve Lamo and Ingrid Chieh Yu and Lars Michael Kristensen},
 year         = {2015},
 title        = {A Diagrammatic Approach to Model Completion},
 booktitle    = {Proceedings of the 4th Workshop on the Analysis of Model Transformations},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {1500},
 publisher    = {CEUR-WS.org},
 pages        = {56--65},
 url          = {http://ceur-ws.org/Vol-1500/paper7.pdf},
)
@article(Radke+18a,
 author       = {Hendrik Radke and Thorsten Arendt and Jan Steffen Becker and Annegret Habel and Grabriele Taentzer},
 year         = {2018},
 title        = {Translating Essential {OCL} Invariants to Nested Graph Constraints for Generating Instances of Meta-models},
 journal      = {Science of Computer Programming},
 volume       = {152},
 pages        = {38--62},
 doi          = {10.1016/j.scico.2017.08.006},
)
@inproceedings(Sandmann-Habel19a,
 author       = {Christian Sandmann and Annegret Habel},
 year         = {2019},
 title        = {Rule-based Graph Repair},
 booktitle    = {Proceedings Tenth International Workshop on Graph Computation Models, GCM@STAF 2019},
 series       = {{EPTCS}},
 volume       = {309},
 pages        = {87--104},
 doi          = {10.4204/EPTCS.309.5},
)
@inproceedings(Schneider-etal19a,
 author       = {Sven Schneider and Leen Lambers and Fernando Orejas},
 year         = {2019},
 title        = {A Logic-Based Incremental Approach to Graph Repair},
 booktitle    = {Fundamental Approaches to Software Engineering - ({FASE} 2019)},
 series       = {Lecture Notes in Computer Science},
 volume       = {11424},
 pages        = {151--167},
 doi          = {10.1007/978-3-030-16722-6\_9},
)
@article(Sendall-etal03a,
 author       = {Shane Sendall and Wojtek Kozaczynski},
 year         = {2003},
 title        = {Model Transformation: The Heart and Soul of Model-Driven Software Development},
 journal      = {{IEEE} Software},
 volume       = {20},
 number       = {5},
 pages        = {42--45},
 doi          = {10.1109/MS.2003.1231150},
)
@book(Steinmann-etal08a,
 author       = {David Steinberg and Frank Budinsky and Ed Merks and Marcelo Paternostro},
 year         = {2008},
 title        = {Eclipse Modeling Framework (The Eclipse Series)},
 publisher    = {Addison-Wesley Professional},
)
@article(Taentzer12a,
 author       = {Gabriele Taentzer},
 year         = {2012},
 title        = {Instance Generation from Type Graphs with Arbitrary Multiplicities},
 journal      = {Electronic Communications of the EASST},
 volume       = {47},
 doi          = {10.14279/tuj.eceasst.47.727},
)
@inproceedings(Taentzer-etal17a,
 author       = {Gabriele Taentzer and Manuel Ohrndorf and Yngve Lamo and Adrian Rutle},
 year         = {2017},
 title        = {Change-Preserving Model Repair},
 booktitle    = {Fundamental Approaches to Software Engineering ({ETAPS} 2017)},
 series       = {Lecture Notes in Computer Science},
 volume       = {10202},
 pages        = {283--299},
 doi          = {10.1007/978-3-662-54494-5\_16},
)
@inproceedings(Wachsmuth07a,
 author       = {Guido Wachsmuth},
 year         = {2007},
 title        = {Metamodel Adaptation and Model Co-adaptation},
 editor       = {Erik Ernst},
 booktitle    = {{ECOOP} 2007 - Object-Oriented Programming, 21st European Conference},
 series       = {LNCS},
 volume       = {4609},
 publisher    = {Springer},
 pages        = {600--624},
 doi          = {10.1007/978-3-540-73589-2\_28},
)
@phdthesis(Wang16a,
 author       = {Xiaoliang Wang},
 year         = {2016},
 title        = {Towards Correct Modelling and Model Transformation in {DPF}},
 school       = {University of Bergen},
)