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; PROGRES; GrGen; Bogor; Henshin; GXL; PORGY; VIATRA2; Bandera; Augur 2; Haskell; Stratego; Maude; vUML; BLAST; SEET; GP 2; MOSBIE Cited in: 45 Documents Further Publications: http://groove.sourceforge.net/groove-index.html#Project_publications all top 5 Cited by 85 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 König, Barbara 2 Krause, Christian 2 Machado, Rodrigo 2 Pinaud, Bruno 2 Poskitt, Christopher M. 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 Bruggink, H. J. Sander 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 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 Matjeka, Marleen 1 Merino, Pedro 1 Mokhov, Andrey 1 Namet, Olivier 1 Nederpel, Ronald 1 Noll, Thomas 1 Nolte, Dennis 1 Orejas, Fernando 1 Özkan, Okan 1 Pennemann, Karl-Heinz 1 Pierce, Ken G. 1 Plump, Detlef 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 Stoltenow, Lars 1 Strecker, Martin 1 Trefler, Richard J. 1 Wibling, Oskar 1 Wolter, Uwe E. 1 Wonisch, Daniel 1 Zamdzhiev, Vladimir all top 5 Cited in 9 Serials 3 Science of Computer Programming 2 Theoretical Computer Science 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Information and Computation 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Nordic Journal of Computing 1 Journal of Zhejiang University. Science A Cited in 4 Fields 45 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 3 Category theory; homological algebra (18-XX) 1 General and overarching topics; collections (00-XX) Citations by Year