Custom cover image
Custom cover image

Graph Transformation : 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings / edited by Russ Harmer, Jens Kosiol

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science ; 14774Publisher: Cham : Springer Nature Switzerland, 2024Publisher: Cham : Imprint: Springer, 2024Edition: 1st ed. 2024Description: 1 Online-Ressource(XII, 239 p. 82 illus., 36 illus. in color.)ISBN:
  • 9783031642852
Subject(s): Additional physical formats: 9783031642845 | 9783031642869 | Erscheint auch als: 9783031642845 Druck-Ausgabe | Erscheint auch als: 9783031642869 Druck-AusgabeDDC classification:
  • 004.0151 23
DOI: DOI: 10.1007/978-3-031-64285-2Online resources: Summary: -- 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.Summary: 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.PPN: PPN: 1894777301Package identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-LNC
No physical items for this record
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT