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 35 articles )

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

1 2 next

  1. Bhattacharyya, Anirban; Mokhov, Andrey; Pierce, Ken: An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (2017)
  2. Kissinger, Aleks; Zamdzhiev, Vladimir: Quantomatic: a proof assistant for diagrammatic reasoning (2015)
  3. da Costa, Simone André; Ribeiro, Leila: Verification of graph grammars using a logical approach (2012)
  4. Fernández, Maribel; Kirchner, Hélène; Namet, Olivier: A strategy language for graph rewriting (2012)
  5. 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)
  6. Krause, Christian; Giese, Holger: Probabilistic graph transformation systems (2012)
  7. Ribeiro, Leila; Dos Santos, Osmar Marchi; Dotti, Fernando Luís; Foss, Luciana: Correct transformation: from object-based graph grammars to PROMELA (2012)
  8. Krause, Christian; Maraikar, Ziyan; Lazovik, Alexander; Arbab, Farhad: Modeling dynamic reconfigurations in Reo using high-level replacement systems (2011)
  9. Steenken, Dominik; Wehrheim, Heike; Wonisch, Daniel: Sound and complete abstract graph transformation (2011)
  10. Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara: Unfolding-based diagnosis of systems with an evolving topology (2010)
  11. 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) ioport
  12. 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) ioport
  13. Zambon, Eduardo: Using graph transformations and graph abstractions for software verification (2010) ioport
  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) ioport
  17. Baresi, Luciano; Rafe, Vahid; Rahmani, Adel T.; Spoletini, Paola: An efficient solution for model checking graph transformation systems (2008) ioport
  18. Darabos, Andrea; Pataricza, András; Varró, Dániel: Towards testing the implementation of graph transformations (2008) ioport
  19. Kastenberg, Harmen; Rensink, Arend: Dynamic partial order reduction using probe sets (2008)
  20. Pennemann, Karl-Heinz: Development of correct graph transformation systems (2008)

1 2 next