Automated model analysis tools and techniques presented at FASE 2019 Reiner HähnleWil van der Aalst General Open access 07 September 2020 Pages: 285 - 287
Incremental execution of rule-based model transformation Artur Boronat General Open access 05 September 2020 Pages: 289 - 311
Cooperative verifier-based testing with CoVeriTest Dirk BeyerMarie-Christine Jakobs General Open access 25 April 2021 Pages: 313 - 333
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars Lars FritscheJens KosiolGabriele Taentzer General Open access 08 September 2020 Pages: 335 - 368
A logic-based incremental approach to graph repair featuring delta preservation Sven SchneiderLeen LambersFernando Orejas GENERAL Open access 07 July 2021 Pages: 369 - 410
Formal testing of timed graph transformation systems using metric temporal graph logic Sven SchneiderMaria MaximovaHolger Giese General Open access 17 July 2021 Pages: 411 - 488
PolyGraph: a data flow model with frequency arithmetic Paul DubrulleNikolai KosmatovArnault Lapitre General 02 September 2020 Pages: 489 - 517
Correction to: PolyGraph: a data flow model with frequency arithmetic Paul DubrulleNikolai KosmatovArnault Lapitre Correction 22 December 2020 Pages: 519 - 519