GROOVE

swMATH9480MaRDI QIDQ21462FDOQ21462

Author name not available (Why is that?)

Cited In (46)

• Unfolding-based diagnosis of systems with an evolving topology
• The Edge of Graph Transformation — Graphs for Behavioural Specification
• Sound and Complete Abstract Graph Transformation
• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java
• Model checking dynamic memory allocation in operating systems
• Preserving consistency in geometric modeling with graph transformations
• Probabilistic Graph Transformation Systems
• Model Checking Quantified Computation Tree Logic
• Graph Transformations
• Modeling dynamic reconfigurations in Reo using high-level replacement systems
• Correct transformation: from object-based graph grammars to PROMELA
• Verification of graph grammars using a logical approach
• Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
• Theorem proving graph grammars with attributes and negative application conditions
• Abstracting Complex Data Structures by Hyperedge Replacement
• Application of Graph Transformation in Verification of Dynamic Systems
• Interactive and automated proofs for graph transformations
• Graph Transformation Semantics for a QVT Language
• Rewriting Strategies and Strategic Rewrite Programs
• A Strategy Language for Graph Rewriting
• Development of Correct Graph Transformation Systems
• Title not available (Why is that?)
• Analysis of UML Activities Using Dynamic Meta Modeling
• Dynamic Partial Order Reduction Using Probe Sets
• Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
• Title not available (Why is that?)
• Explicit State Model Checking for Graph Grammars
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Strategic port graph rewriting: an interactive modelling framework
• Towards automated software model checking using graph transformation systems and bogor
• Formal verification of object-oriented graph grammars specifications
• Heuristic Search for the Analysis of Graph Transition Systems
• Principled Software Development
• Detection and Resolution of Weaving Interactions
• Towards attributed graphs in Groove (work in progress)
• Modeling and verification of reliable messaging by graph transformation systems
• A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows
• The Verigraph system for graph transformation
• Quantomatic: A Proof Assistant for Diagrammatic Reasoning
• Labelled port graph -- a formal structure for models and computations
• On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• On the Use of Alloy to Analyze Graph Transformation Systems
• Monadic second-order incorrectness logic for GP 2
• Incorrectness logic for graph programs

This page was built for software: GROOVE