GROOVE

GRaphs for Object-Oriented VErification (GROOVE). GROOVE is a project centered around the use of simple graphs for modelling the design-time, compile-time, and run-time structure of object-oriented systems, and graph transformations as a basis for model transformation and operational semantics. This entails a formal foundation for model transformation and dynamic semantics, and the ability to verify model transformation and dynamic semantics through an (automatic) analysis of the resulting graph transformation systems, for instance using model checking.


References in zbMATH (referenced in 48 articles )

Showing results 1 to 20 of 48.
Sorted by year (citations)

1 2 3 next

  1. Kissinger, Aleks; Zamdzhiev, Vladimir: Quantomatic: a proof assistant for diagrammatic reasoning (2015)
  2. da Costa, Simone André; Ribeiro, Leila: Verification of graph grammars using a logical approach (2012)
  3. Fernández, Maribel; Kirchner, Hélène; Namet, Olivier: A strategy language for graph rewriting (2012)
  4. Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando: Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (2012)
  5. Krause, Christian; Giese, Holger: Probabilistic graph transformation systems (2012)
  6. Ribeiro, Leila; Dos Santos, Osmar Marchi; Dotti, Fernando Luís; Foss, Luciana: Correct transformation: from object-based graph grammars to PROMELA (2012)
  7. Krause, Christian; Maraikar, Ziyan; Lazovik, Alexander; Arbab, Farhad: Modeling dynamic reconfigurations in Reo using high-level replacement systems (2011)
  8. Steenken, Dominik; Wehrheim, Heike; Wonisch, Daniel: Sound and complete abstract graph transformation (2011)
  9. Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara: Unfolding-based diagnosis of systems with an evolving topology (2010)
  10. Biermann, Enrico; Ermel, Claudia; Lambers, Leen; Prange, Ulrike; Runge, Olga; Taentzer, Gabriele: Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System (2010)
  11. Ciraci, Selim; Havinga, Wilke; Aksit, Mehmet; Bockisch, Christoph; van den Broek, Pim: A graph-based aspect interference detection approach for UML-based aspect-oriented models (2010)
  12. Hammer, Moritz; Knapp, Alexander: Correct execution of reconfiguration for stateful components (2010)
  13. Zambon, Eduardo: Using graph transformations and graph abstractions for software verification (2010)
  14. del Mar Gallardo, María; Merino, Pedro; Sanán, David: Model checking dynamic memory allocation in operating systems (2009)
  15. Kniesel, Günter: Detection and resolution of weaving interactions (2009)
  16. Kuske, Sabine; Gogolla, Martin; Kreowski, Hans-Jörg; Ziemann, Paul: Towards an integrated graph-based semantics for UML (2009)
  17. Baresi, Luciano; Rafe, Vahid; Rahmani, Adel Torkaman; Spoletini, Paola: An efficient solution for model checking graph transformation systems. (2008)
  18. Baresi, Luciano; Rafe, Vahid; Rahmani, Adel T.; Spoletini, Paola: An efficient solution for model checking graph transformation systems (2008)
  19. Darabos, Andrea; Pataricza, András; Varró, Dániel: Towards testing the implementation of graph transformations (2008)
  20. Darabos, Andrea; Pataricza, András; Varró, Dániel: Towards testing the implementation of graph transformations. (2008)

1 2 3 next