1. Automated model analysis tools and techniques presented at FASE 2019

   • Reiner Hähnle
   • Wil van der Aalst

   General Open access 07 September 2020 Pages: 285 - 287

2. Incremental execution of rule-based model transformation

   • Artur Boronat

   General Open access 05 September 2020 Pages: 289 - 311

   

3. Cooperative verifier-based testing with CoVeriTest

   • Dirk Beyer
   • Marie-Christine Jakobs

   General Open access 25 April 2021 Pages: 313 - 333

   

4. Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars

   • Lars Fritsche
   • Jens Kosiol
   • Gabriele Taentzer

   General Open access 08 September 2020 Pages: 335 - 368

   

5. A logic-based incremental approach to graph repair featuring delta preservation

   • Sven Schneider
   • Leen Lambers
   • Fernando Orejas

   GENERAL Open access 07 July 2021 Pages: 369 - 410

   

6. Formal testing of timed graph transformation systems using metric temporal graph logic

   • Sven Schneider
   • Maria Maximova
   • Holger Giese

   General Open access 17 July 2021 Pages: 411 - 488

   

7. PolyGraph: a data flow model with frequency arithmetic

   • Paul Dubrulle
   • Nikolai Kosmatov
   • Arnault Lapitre

   General 02 September 2020 Pages: 489 - 517

   

8. Correction to: PolyGraph: a data flow model with frequency arithmetic

   • Paul Dubrulle
   • Nikolai Kosmatov
   • Arnault Lapitre

   Correction 22 December 2020 Pages: 519 - 519