GROOVE

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