ICGT B

12 papers

YearTitle / Authors
2025Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems.
Barbara König, Arend Rensink, Lara Stoltenow, Fabian Urrigshardt
2025Fuzzing Graph Database Applications with Graph Transformations.
Stefania Dumbrava, Melchior W. M. Oudemans, Burcu Kulahcioglu Ozkan
2025Granular Conflict Analysis for Transformation Rules with Application Conditions.
Alexander Lauer, Jens Kosiol, Gabriele Taentzer
2025Graph Formulas and Their Translation to Alternating Graph Automata.
Frank Drewes, Berthold Hoffmann, Mark Minas
2025Graph Rewriting for User State-Based Dialogue Adaptation in Real-Time: An Application in Personalized Interview Training.
Deeksha Adiani, Timothy J. Vogus, Nilanjan Sarkar, Medha Shukla Sarkar
2025Graph Transformation - 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
Jörg Endrullis, Matthias Tichy
2025Graph-Transformational Threat Modeling.
Lars Friederichs, Aaron Lye
2025Parallel Rule Application with Doubling Avoidance.
Hans-Jörg Kreowski, Aaron Lye
2025Rewriting for Traced Monoidal Closed Categories.
Alessandro Di Giorgio, Dan R. Ghica, Fabio Zanasi
2025Specifying and Checking Graph Properties with Alternating Graph Automata.
Frank Drewes, Berthold Hoffmann, Mark Minas
2025Termination of Injective DPO Graph Rewriting Systems Using Subgraph Counting.
Qi Qiu
2025Test Case Generation from Graph Transformation Systems Using Deep Reinforcement Learning.
Simin Ghasemi, Vahid Rafe, Mohammad Mehrabi, Reiko Heckel, Issam Al-Azzoni