×

GROOVE

swMATH ID: 9480
Software Authors: Kastenberg, H., Rensink, A.
Description: 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.
Homepage: http://groove.sourceforge.net/groove-index.html
Related Software: AGG; SPIN; CheckVML; GrGen; Bogor; PROGRES; Henshin; PORGY; VIATRA2; Bandera; Augur 2; Haskell; Stratego; Maude; GXL; vUML; BLAST; MOSBIE; GP 2; RuleBender
Cited in: 42 Publications
Further Publications: http://groove.sourceforge.net/groove-index.html#Project_publications
all top 5

Cited by 79 Authors

6 Rensink, Arend
6 Ribeiro, Leila
4 Kirchner, Hélène
3 Fernández, Maribel
3 Foss, Luciana
3 Rafe, Vahid
3 Rahmani, Adel T.
2 Azzi, Guilherme Grochau
2 Bezerra, Jonas Santos
2 Costa, Andrei
2 Kastenberg, Harmen
2 Krause, Christian
2 Machado, Rodrigo
2 Pinaud, Bruno
2 Rodrigues, Leonardo Marques
2 Varró, Dániel
2 Wehrheim, Heike
1 Alanen, Marcus
1 Arbab, Farhad
1 Baldan, Paolo
1 Baresi, Luciano
1 Bhattacharyya, Anirban
1 Chatain, Thomas
1 Corradini, Andrea
1 da Costa Cavalheiro, Simone André
1 Da Costa, Simone André
1 del Mar Gallardo, María
1 dos Santos, Osmar Marchi
1 Dotti, Fernando Luís
1 Durán, Francisco
1 Duval, Dominique
1 Edelkamp, Stefan
1 Ehrig, Hartmut
1 Engels, Gregor
1 Giese, Holger
1 Golas, Ulrike
1 Gönczy, László
1 Haar, Stefan
1 Jabbar, Shahid
1 Jonsson, Bengt
1 Kissinger, Aleks
1 Kniesel, Günter
1 König, Barbara
1 Kovács, Máté
1 Lambers, Leen
1 Langari, Zarrin
1 Lazovik, Alexander
1 Lluch Lafuente, Alberto
1 Lowe, Michael J. S.
1 Lüdtke Ferreira, Ana Paula
1 Lundkvist, Torbjörn
1 Macías, Fernando
1 Maraikar, Ziyan
1 Merino, Pedro
1 Mokhov, Andrey
1 Namet, Olivier
1 Nederpel, Ronald
1 Noll, Thomas
1 Orejas, Fernando
1 Özkan, Okan
1 Pennemann, Karl-Heinz
1 Pierce, Ken G.
1 Porres, Ivan
1 Rieger, Stefan
1 Rodriguez-Echeverria, Roberto
1 Rutle, Adrian
1 Saksena, Mayank
1 Sanán, David
1 Schaefer, Ina
1 Schmidt, Ákos
1 Soltenborn, Christian
1 Spoletini, Paola
1 Steenken, Dominik
1 Strecker, Martin
1 Trefler, Richard J.
1 Wibling, Oskar
1 Wolter, Uwe E.
1 Wonisch, Daniel
1 Zamdzhiev, Vladimir

Citations by Year