Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings /
This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during June 11-12, 2025. The 10 full papers and 1 short paper included in this book were carefully reviewed and selected from 19 submissions. The topics o...
Saved in:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , |
| Format: | Electronisk eBog |
| Sprog: | engelsk |
| Udgivet: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Udgivelse: | 1st ed. 2025. |
| Serier: | Lecture Notes in Computer Science,
15720 |
| Fag: | |
| Online adgang: | https://doi.org/10.1007/978-3-031-94706-3 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Indholdsfortegnelse:
- Graph Transformation Theory: Semantics and Static Analysis: Termination of Injective DPO Graph Rewriting Systems using Subgraph Counting
- Rewriting for Traced Monoidal Closed Categories
- Parallel Rule Application with Doubling Avoidance
- Granular Conflict Analysis for Transformation Rules with Application Conditions. Specifying Graph Properties via Automata and Logic: Specifying and Checking Graph Properties with Alternating Graph Automata
- Graph Formulas and their Translation to Alternating Graph Automata. Applications of Graph Transformation for Program Verification and Testing: Fuzzing Graph Database Applications with Graph Transformations
- Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems
- Test Case Generation from Graph Transformation Systems using Deep Reinforcement Learning. Applications of Graph Transformation for Modeling: Graph-transformational Threat Modeling
- Graph Rewriting for User State-Based Dialogue Adaption in Real-Time: An Application in Personalized Interview Training.