Graph Transformation

17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10¿11, 2024, Proceedings
Herausgegeben:Harmer, Russ; Kosiol, Jens

• Broschiertes Buch

Produktbeschreibung

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. They were organized in topical sections as follows: Theoretical Advances; Application Domains; and Tool and Blue Skies Presentations.

Produktdetails

• Lecture Notes in Computer Science 14774
• Verlag: Springer / Springer Nature Switzerland / Springer, Berlin
• Artikelnr. des Verlages: 978-3-031-64284-5
• 2024
• Seitenzahl: 252
• Erscheinungstermin: 11. Juli 2024
• Englisch
• Abmessung: 235mm x 155mm x 14mm
• Gewicht: 388g
• ISBN-13: 9783031642845
• ISBN-10: 3031642848
• Artikelnr.: 70747347

Inhaltsangabe

.- 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.