The Edge of Graph Transformation — Graphs for Behavioural Specification
From MaRDI portal
Publication:3059705
DOI10.1007/978-3-642-17322-6_2zbMath1309.68112OpenAlexW2117825935MaRDI QIDQ3059705
Publication date: 26 November 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-17322-6_2
Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Uses Software
Cites Work
- Algebraic hierarchical graph transformation
- A framework for the verification of infinite-state graph transformation systems
- Efficient SAT-based bounded model checking for software verification
- Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7--13, 2008. Proceedings
- Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17--23, 2006. Proceedings
- Symbolic model checking: \(10^{20}\) states and beyond
- Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA '95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995
- Parallel high-level replacement systems
- Hierarchical graph transformation
- Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 -- October 2, 2004. Proceedings.
- Efficient graph rewriting and its implementation
- Distributed graphs and graph transformation
- Pure bigraphs: structure and dynamics
- Fundamentals of algebraic graph transformation
- GXL: a graph-based standard exchange format for reengineering
- A Modal-Logic Based Graph Abstraction
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
- 15 Years of Triple Graph Grammars
- Graph-Based Tools: The Contest
- Development of Correct Graph Transformation Systems
- Composition and Decomposition of DPO Transformations with Borrowed Context
- Graph Transformation in Constant Time
- GrGen: A Fast SPO-Based Graph Rewriting Tool
- Compositionality in Graph Transformation
- Static Analysis of Dynamic Communication Systems by Partner Abstraction
- Handbook of Graph Grammars and Computing by Graph Transformation
- Towards Common Exchange Formats for Graphs and Graph Transformation Systems
- Handbook of Graph Grammars and Computing by Graph Transformation
- Graph Transformations
- Fundamental Approaches to Software Engineering
- Fundamental Approaches to Software Engineering
- Analysis of UML Activities Using Dynamic Meta Modeling
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
- Tools and Algorithms for the Construction and Analysis of Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item