Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings /
This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Netherlands, during July 10–11, 2024. The 10 full papers and 3 short papers included in this book were carefully reviewed and selected from 21 submissions. Th...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| Edition: | 1st ed. 2024. |
| Series: | Lecture Notes in Computer Science,
14774 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-031-64285-2 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- -- Graphs, logics and transformations for effective risk analysis.
- Theoretical Advances.
- Linear-Time Graph Programs for Unbounded-Degree Graphs.
- A Bigraph Paper of Sorts.
- Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.
- Extension and Restriction of Derivations in Adhesive Categories.
- Causal Graph Dynamics and Kan Extensions.
- Application Domains.
- The ‘Causality’ Quagmire for Formalised Bond Graphs.
- Localized RETE for Incremental Graph Queries.
- Using application conditions to rank graph transformations for graph repair.
- Deriving Delay-Robust Timed Graph Transformation System Models.
- Taint Analysis for Graph APIs Focusing on Broken Access Control.
- Tool and Blue Skies Presentations.
- Checking Transaction Isolation Violations with Graph Queries.
- Can I teach graph rewriting to my chatbot?.
- A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models.