Ausgabe 3/2021
FASE 2019
Inhalt (8 Artikel)
Open Access
General
Automated model analysis tools and techniques presented at FASE 2019
Reiner Hähnle, Wil van der Aalst
Open Access
General
Cooperative verifier-based testing with CoVeriTest
Dirk Beyer, Marie-Christine Jakobs
Open Access
General
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars
Lars Fritsche, Jens Kosiol, Andy Schürr, Gabriele Taentzer
Open Access
GENERAL
A logic-based incremental approach to graph repair featuring delta preservation
Sven Schneider, Leen Lambers, Fernando Orejas
Open Access
General
Formal testing of timed graph transformation systems using metric temporal graph logic
Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese
General
PolyGraph: a data flow model with frequency arithmetic
Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre
Correction
Correction to: PolyGraph: a data flow model with frequency arithmetic
Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre