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. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno: Strategic port graph rewriting: an interactive modelling framework (2019)
  2. Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo: The Verigraph system for graph transformation (2018)
  3. 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)
  4. Müller, Peter (ed.); Schaefer, Ina (ed.): 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 (2018)
  5. Strecker, Martin: Interactive and automated proofs for graph transformations (2018)
  6. Bhattacharyya, Anirban; Mokhov, Andrey; Pierce, Ken: An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (2017)
  7. da Costa Cavalheiro, Simone André; Foss, Luciana; Ribeiro, Leila: Theorem proving graph grammars with attributes and negative application conditions (2017)
  8. Kirchner, Hélene: Rewriting strategies and strategic rewrite programs (2015)
  9. Kissinger, Aleks; Zamdzhiev, Vladimir: Quantomatic: a proof assistant for diagrammatic reasoning (2015)
  10. da Costa, Simone André; Ribeiro, Leila: Verification of graph grammars using a logical approach (2012)
  11. Fernández, Maribel; Kirchner, Hélène; Namet, Olivier: A strategy language for graph rewriting (2012)
  12. 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)
  13. Krause, Christian; Giese, Holger: Probabilistic graph transformation systems (2012)
  14. Ribeiro, Leila; Dos Santos, Osmar Marchi; Dotti, Fernando Luís; Foss, Luciana: Correct transformation: from object-based graph grammars to PROMELA (2012)
  15. Krause, Christian; Maraikar, Ziyan; Lazovik, Alexander; Arbab, Farhad: Modeling dynamic reconfigurations in Reo using high-level replacement systems (2011)
  16. Steenken, Dominik; Wehrheim, Heike; Wonisch, Daniel: Sound and complete abstract graph transformation (2011)
  17. Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara: Unfolding-based diagnosis of systems with an evolving topology (2010)
  18. 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
  19. 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
  20. Rensink, Arend: The edge of graph transformation -- graphs for behavioural specification (2010)

1 2 3 next