GROOVE
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Towards automated software model checking using graph transformation systems and bogor
- GrGen
- AToMPM
- Modula
- PROGRES
- CC4J
- VIATRA2
- Graph transformation benchmarks
- Fujaba
- Petruchio
- AGG
- On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
- The Verigraph system for graph transformation
- General Purpose Hash Function Library
- Bogor
- PORGY
- LMNtal
- Tulip
- Unfolding-based diagnosis of systems with an evolving topology
- PROMELA
- Augur 2
- Monadic second-order incorrectness logic for GP 2
- Incorrectness logic for graph programs
- vUML
- CheckVML
- OOZE
- Tom
- Jerboa
- Henshin
- Quantomatic
- PSMaude
- DiaGen
- Labelled port graph -- a formal structure for models and computations
- Theorem proving graph grammars with attributes and negative application conditions
- visone
- Multilevel coupled model transformations for precise and reusable definition of model behaviour
- GXL
- Towards attributed graphs in Groove (work in progress)
- Modeling and verification of reliable messaging by graph transformation systems
- Formal verification of object-oriented graph grammars specifications
- NAT2TEST
- Probabilistic graph transformation systems
- Rewriting strategies and strategic rewrite programs
- VDMTools
- Overture Tool
- The Edge of Graph Transformation — Graphs for Behavioural Specification
- Sound and complete abstract graph transformation
- Quantomatic: a proof assistant for diagrammatic reasoning
- Explicit State Model Checking for Graph Grammars
- Abstracting Complex Data Structures by Hyperedge Replacement
- Development of Correct Graph Transformation Systems
- Dynamic Partial Order Reduction Using Probe Sets
- On the Use of Alloy to Analyze Graph Transformation Systems
- Heuristic Search for the Analysis of Graph Transition Systems
- Verigraph
- eMoflon
- AGREE
- EMorF
- Application of Graph Transformation in Verification of Dynamic Systems
- A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows
- Detection and Resolution of Weaving Interactions
- DeltaJ
- JOANA
- SCCharts
- SCEst
- DarwinSPL
- DeltaEcore
- contractLarva
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
- Correct transformation: from object-based graph grammars to PROMELA
- Verification of graph grammars using a logical approach
- 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
- Interactive and automated proofs for graph transformations
- MOSBIE
- Strategic port graph rewriting: an interactive modelling framework
- RuleBender
- A strategy language for graph rewriting
- scientific article; zbMATH DE number 7456049 (Why is no real title available?)
- Preserving consistency in geometric modeling with graph transformations
- A flexible and easy-to-use library for the rapid development of graph tools in Java
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
- GP 2
- Graph Transformations
- Graph transformation semantics for a QVT language
- Analysis of UML Activities Using Dynamic Meta Modeling
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
- Comparison of modeling frameworks for software engineering
- ASM Workbench
- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
- Model Checking Quantified Computation Tree Logic
- DrAGoM
- VxToolbox
- SiTra
- GraJ
- VisiGraphJS
- Grez
- bpmn-js
- SEET
- ENFORCe
- Podmineny
This page was built for software: GROOVE
