@inproceedings{27418,
  author       = {{Weidmann, Nils and Anjorin, Anthony}},
  booktitle    = {{{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International workshop on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on {OCL} and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences {(STAF} 2021), Virtual Event / Bergen, Norway, June 21-25, 2021}},
  editor       = {{Iovino, Ludovico and Michael Kristensen, Lars}},
  pages        = {{54--64}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{eMoflon: : Neo - Consistency and Model Management with Graph Databases}}},
  volume       = {{2999}},
  year         = {{2021}},
}

@article{23525,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>In the field of Model-Driven Engineering, Triple Graph Grammars
(TGGs) play an important role as a rule-based means of implementing
consistency management. From a declarative specification of a
consistency relation, several operations including forward and
backward transformations, (concurrent) synchronisation, and
consistency checks can be automatically derived. For TGGs to be
applicable in realistic application scenarios, expressiveness in
terms of supported language features is very important. A TGG tool
is schema compliant if it can take domain constraints, such as
multiplicity constraints in a meta-model, into account when
performing consistency management tasks. To guarantee schema
compliance, most TGG tools allow application conditions to be
attached as necessary to relevant rules. This strategy is
problematic for at least two reasons: First, ensuring compliance to
a sufficiently expressive schema for all previously mentioned
derived operations is still an open challenge; to the best of our
knowledge, all existing TGG tools only support a very restricted
subset of application conditions. Second, it is conceptually
demanding for the user to indirectly specify domain constraints as
application conditions, especially because this has to be completely
revisited every time the TGG or domain constraint is changed. While
domain constraints can in theory be automatically transformed to
obtain the required set of application conditions, this has only
been successfully transferred to TGGs for a very limited subset of
domain constraints. To address these limitations, this paper
proposes a search-based strategy for achieving schema compliance. We
show that all correctness and completeness properties, previously
proven in a setting without domain constraints, still hold when
schema compliance is to be additionally guaranteed. An
implementation and experimental evaluation are provided to support
our claim of practical applicability.</jats:p>}},
  author       = {{Weidmann, Nils and Anjorin, Anthony}},
  issn         = {{0934-5043}},
  journal      = {{Formal Aspects of Computing}},
  publisher    = {{Springer}},
  title        = {{{Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming}}},
  doi          = {{10.1007/s00165-021-00557-0}},
  year         = {{2021}},
}

@inproceedings{22959,
  author       = {{Weidmann, Nils and Engels, Gregor}},
  booktitle    = {{Proceedings of the Genetic and Evolutionary Computation Conference}},
  location     = {{Lille, France}},
  title        = {{{Concurrent model synchronisation with multiple objectives}}},
  doi          = {{10.1145/3449639.3459283}},
  year         = {{2021}},
}

@inproceedings{21480,
  author       = {{Anjorin, Anthony and Weidmann, Nils and Oppermann, Robin and Fritsche, Lars and Schürr, Andy}},
  booktitle    = {{Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020}},
  editor       = {{Syriani, Eugene and Sahraoui, Houari and de Lara, Juan and Abrahao, Silvia}},
  isbn         = {{9781450370196}},
  location     = {{Virtual Event, Canada}},
  publisher    = {{ACM}},
  title        = {{{Automating test schedule generation with domain-specific languages}}},
  doi          = {{10.1145/3365438.3410991}},
  year         = {{2020}},
}

@inproceedings{21481,
  author       = {{Weidmann, Nils and Fritsche, Lars and Anjorin, Anthony}},
  booktitle    = {{Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020}},
  editor       = {{Lämmel, Ralf and Tratt, Laurcence and de Lara, Juan}},
  isbn         = {{9781450381765}},
  location     = {{Virtual Event, USA}},
  publisher    = {{ACM}},
  title        = {{{A search-based and fault-tolerant approach to concurrent model synchronisation}}},
  doi          = {{10.1145/3426425.3426932}},
  year         = {{2020}},
}

@inproceedings{21482,
  author       = {{Weidmann, Nils and Anjorin, Anthony and Cheney, James}},
  booktitle    = {{Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020}},
  editor       = {{Hoffmann, Berthold and Minas, Mark}},
  issn         = {{2075-2180}},
  location     = {{Online-Workshop}},
  pages        = {{1--12}},
  publisher    = {{EPTCS}},
  title        = {{{VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems}}},
  doi          = {{10.4204/eptcs.330.1}},
  year         = {{2020}},
}

@inproceedings{21483,
  author       = {{Jovanovikj, Ivan and Weidmann, Nils and Yigitbas, Enes and Anjorin, Anthony and Sauer, Stefan and Engels, Gregor}},
  booktitle    = {{Proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020 }},
  editor       = {{Babur, Önder and Denil, Joachim and Vogel-Heuser, Birgit}},
  isbn         = {{9783030581664}},
  issn         = {{1865-0929}},
  location     = {{Bergen, Norway}},
  publisher    = {{Springer}},
  title        = {{{A Model-Driven Mutation Framework for Validation of Test Case Migration}}},
  doi          = {{10.1007/978-3-030-58167-1_2}},
  year         = {{2020}},
}

@inproceedings{17084,
  author       = {{Weidmann, Nils and Anjorin, Anthony}},
  booktitle    = {{Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020}},
  editor       = {{Wehrheim, Heike and Cabot, Jordi}},
  isbn         = {{9783030452339}},
  issn         = {{0302-9743}},
  location     = {{Dublin, Ireland}},
  publisher    = {{Springer}},
  title        = {{{Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming}}},
  doi          = {{10.1007/978-3-030-45234-6_16}},
  year         = {{2020}},
}

@inproceedings{14025,
  author       = {{Weidmann, Nils and Oppermann, Robin and Robrecht, Patrick}},
  booktitle    = {{Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019}},
  editor       = {{Nierstrasz, Oscar and Gray, Jeff and Oliveira, Bruno}},
  isbn         = {{9781450369817}},
  location     = {{Athens, Greece}},
  publisher    = {{ACM}},
  title        = {{{A feature-based classification of triple graph grammar variants}}},
  doi          = {{10.1145/3357766.3359529}},
  year         = {{2019}},
}

@inproceedings{14026,
  author       = {{Weidmann, Nils and Anjorin, Anthony and Leblebici, Erhan and Schürr, Andy}},
  booktitle    = {{Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019}},
  editor       = {{Nierstrasz, Oscar and Gray, Jeff and Oliveira, Bruno }},
  isbn         = {{9781450369817}},
  location     = {{Athens, Greece}},
  publisher    = {{ACM}},
  title        = {{{Consistency management via a combination of triple graph grammars and linear programming}}},
  doi          = {{10.1145/3357766.3359544}},
  year         = {{2019}},
}

@inproceedings{13140,
  author       = {{Weidmann, Nils and Anjorin, Anthony and Stolte, Florian and Kraus, Florian}},
  booktitle    = {{Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019}},
  editor       = {{Guerra, Esther and Orejas, Fernando}},
  location     = {{Eindhoven, The Netherlands}},
  pages        = {{195--211}},
  publisher    = {{Springer}},
  title        = {{{From Pattern Invocation Networks to Rule Preconditions}}},
  doi          = {{10.1007/978-3-030-23611-3\_12}},
  year         = {{2019}},
}

@inproceedings{13141,
  author       = {{Weidmann, Nils and Anjorin, Anthony and Robrecht, Patrick and Varró, Gergely}},
  booktitle    = {{Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019}},
  editor       = {{Guerra, Esther and Orejas, Fernando}},
  location     = {{Eindhoven, The Netherlands}},
  pages        = {{131--140}},
  publisher    = {{Springer}},
  title        = {{{Incremental (Unidirectional) Model Transformation with eMoflon::IBeX}}},
  doi          = {{10.1007/978-3-030-23611-3\_8}},
  year         = {{2019}},
}

@inproceedings{13142,
  author       = {{Weidmann, Nils and Anjorin, Anthony and Fritsche, Lars and Varró, Gergely and Schürr, Andy and Leblebici, Erhan}},
  booktitle    = {{Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019}},
  editor       = {{Cheney, James and Ko, Hsiang-Shang}},
  location     = {{Philadelphia, PA, USA}},
  pages        = {{45--55}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Incremental Bidirectional Model Transformation with eMoflon::IBeX}}},
  year         = {{2019}},
}

@inproceedings{5816,
  author       = {{Weidmann, Nils}},
  booktitle    = {{Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS '18}},
  editor       = {{Babur, Önder and Strüber, Daniel and Abrahao, Silvia and Burgueno, Loli and Gogolla, Martin and Greenyer, Joel and Kokaly, Sahar and Kolovos, Dimitris and Mayerhofer, Tanja and Zahedi, Mansooreh}},
  isbn         = {{9781450359658}},
  location     = {{Copenhagen, Denmark}},
  publisher    = {{ACM Press}},
  title        = {{{Tolerant consistency management in model-driven engineering}}},
  doi          = {{10.1145/3270112.3275339}},
  year         = {{2018}},
}

@article{34577,
  author       = {{Müller, Wolfgang and Sturm, Jörgen}},
  journal      = {{it - Information Technology}},
  pages        = {{32--36}},
  publisher    = {{Oldenbourg Verlag}},
  title        = {{{Visuelle Spezifikations- und Modellierungstechniken}}},
  doi          = {{10.1524/itit.1998.40.3.32}},
  year         = {{1998}},
}