swMATH9480MaRDI QIDQ21462FDOQ21462
Author name not available (Why is that?)
Official website: http://groove.sourceforge.net/groove-index.html
Cited In (only showing first 100 items - show all)
- bpmn-js
- The Edge of Graph Transformation — Graphs for Behavioural Specification
- Preserving consistency in geometric modeling with graph transformations
- 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
- CatLib
- DPOdactic
- GraJ
- Podmineny
- SiTra
- VxToolbox
- VisiGraphJS
- 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
- Dynamic Partial Order Reduction Using Probe Sets
- DrAGoM
- Heuristic Search for the Analysis of Graph Transition Systems
- Graph transformation semantics for a QVT language
- Modeling and verification of reliable messaging by graph transformation systems
- A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows
- Grez
- Unfolding-based diagnosis of systems with an evolving topology
- Multilevel coupled model transformations for precise and reusable definition of model behaviour
- Model checking dynamic memory allocation in operating systems
- Rewriting strategies and strategic rewrite programs
- 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
- Melanee
- GrGen
- Modula
- PROGRES
- CC4J
- Fujaba
- Graph transformation benchmarks
- VIATRA2
- AGG
- Petruchio
- General Purpose Hash Function Library
- Bogor
- PORGY
- LMNtal
- Tulip
- PROMELA
- Augur 2
- CheckVML
- OOZE
- vUML
- Jerboa
- Henshin
- Quantomatic
- PSMaude
- DiaGen
- Tom
- visone
- GXL
- NAT2TEST
- Quantomatic: a proof assistant for diagrammatic reasoning
- Analysis of UML Activities Using Dynamic Meta Modeling
- Overture Tool
- VDMTools
- AGREE
- eMoflon
- EMorF
- Verigraph
- DeltaJ
- contractLarva
- DarwinSPL
- DeltaEcore
- JOANA
- SCCharts
- SCEst
- MOSBIE
- RuleBender
- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
- Explicit State Model Checking for Graph Grammars
- GP 2
- ASM Workbench
- AToMPM
- SEET
- ENFORCe
- 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
- Detection and Resolution of Weaving Interactions
- Sound and complete abstract graph transformation
- Towards attributed graphs in Groove (work in progress)
- A strategy language for graph rewriting
- Probabilistic graph transformation systems
- 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
This page was built for software: GROOVE
