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

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

1 2 3 next

  1. Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo: The Verigraph system for graph transformation (2018)
  2. Corradini, Andrea; Duval, Dominique; Löwe, Michael; Ribeiro, Leila; Machado, Rodrigo; Costa, Andrei; Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Rodrigues, Leonardo Marques: On the essence of parallel independence for the double-pushout and sesqui-pushout approaches (2018)
  3. Bhattacharyya, Anirban; Mokhov, Andrey; Pierce, Ken: An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (2017)
  4. da Costa Cavalheiro, Simone André; Foss, Luciana; Ribeiro, Leila: Theorem proving graph grammars with attributes and negative application conditions (2017)
  5. Kirchner, Hélene: Rewriting strategies and strategic rewrite programs (2015)
  6. Kissinger, Aleks; Zamdzhiev, Vladimir: Quantomatic: a proof assistant for diagrammatic reasoning (2015)
  7. da Costa, Simone André; Ribeiro, Leila: Verification of graph grammars using a logical approach (2012)
  8. Fernández, Maribel; Kirchner, Hélène; Namet, Olivier: A strategy language for graph rewriting (2012)
  9. 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)
  10. Krause, Christian; Giese, Holger: Probabilistic graph transformation systems (2012)
  11. Ribeiro, Leila; Dos Santos, Osmar Marchi; Dotti, Fernando Luís; Foss, Luciana: Correct transformation: from object-based graph grammars to PROMELA (2012)
  12. Krause, Christian; Maraikar, Ziyan; Lazovik, Alexander; Arbab, Farhad: Modeling dynamic reconfigurations in Reo using high-level replacement systems (2011)
  13. Steenken, Dominik; Wehrheim, Heike; Wonisch, Daniel: Sound and complete abstract graph transformation (2011)
  14. Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara: Unfolding-based diagnosis of systems with an evolving topology (2010)
  15. 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
  16. 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
  17. Rensink, Arend: The edge of graph transformation -- graphs for behavioural specification (2010)
  18. Zambon, Eduardo: Using graph transformations and graph abstractions for software verification (2010) ioport
  19. del Mar Gallardo, María; Merino, Pedro; Sanán, David: Model checking dynamic memory allocation in operating systems (2009)
  20. Kniesel, Günter: Detection and resolution of weaving interactions (2009)

1 2 3 next