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
• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• Model checking dynamic memory allocation in operating systems
• Preserving consistency in geometric modeling with graph transformations
• Rewriting strategies and strategic rewrite programs
• Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
• 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
• Development of Correct Graph Transformation Systems
• Title not available (Why is that?)
• A flexible and easy-to-use library for the rapid development of graph tools in Java
• Quantomatic: a proof assistant for diagrammatic reasoning
• 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
• 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
• Detection and Resolution of Weaving Interactions
• Sound and complete abstract graph transformation
• Graph transformation semantics for a QVT language
• Towards attributed graphs in Groove (work in progress)
• A strategy language for graph rewriting
• Probabilistic graph transformation systems
• 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
• 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
• Comparison of modeling frameworks for software engineering
• 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