Volume 23, issue 3, June 2021

FASE 2019

8 articles in this issue

Automated model analysis tools and techniques presented at FASE 2019

Authors
- Reiner Hähnle
- Wil van der Aalst
- Content type: General
- Open Access
- Published: 07 September 2020
- Pages: 285 - 287
Incremental execution of rule-based model transformation

Authors
- Artur Boronat
- Content type: General
- Open Access
- Published: 05 September 2020
- Pages: 289 - 311
Cooperative verifier-based testing with CoVeriTest

Authors
- Dirk Beyer
- Marie-Christine Jakobs
- Content type: General
- Open Access
- Published: 25 April 2021
- Pages: 313 - 333
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars

Authors (first, second and last of 4)
- Lars Fritsche
- Jens Kosiol
- Gabriele Taentzer
- Content type: General
- Open Access
- Published: 08 September 2020
- Pages: 335 - 368
A logic-based incremental approach to graph repair featuring delta preservation

Authors
- Sven Schneider
- Leen Lambers
- Fernando Orejas
- Content type: GENERAL
- Open Access
- Published: 07 July 2021
- Pages: 369 - 410
Formal testing of timed graph transformation systems using metric temporal graph logic

Authors (first, second and last of 4)
- Sven Schneider
- Maria Maximova
- Holger Giese
- Content type: General
- Open Access
- Published: 17 July 2021
- Pages: 411 - 488
PolyGraph: a data flow model with frequency arithmetic

Authors (first, second and last of 4)
- Paul Dubrulle
- Nikolai Kosmatov
- Arnault Lapitre
- Content type: General
- Published: 02 September 2020
- Pages: 489 - 517
Correction to: PolyGraph: a data flow model with frequency arithmetic

Authors (first, second and last of 4)
- Paul Dubrulle
- Nikolai Kosmatov
- Arnault Lapitre
- Content type: Correction
- Published: 22 December 2020
- Pages: 519 - 519

Volume 23, issue 3, June 2021

FASE 2019

Automated model analysis tools and techniques presented at FASE 2019

Incremental execution of rule-based model transformation

Cooperative verifier-based testing with CoVeriTest

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

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

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

PolyGraph: a data flow model with frequency arithmetic

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

For authors

Working on a manuscript?

Explore

Navigation

Volume 23, issue 3, June 2021

FASE 2019

Authors

Authors

Authors

Authors (first, second and last of 4)

Authors

Authors (first, second and last of 4)

Authors (first, second and last of 4)

Authors (first, second and last of 4)

For authors

Working on a manuscript?

Explore

search

Navigation