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 all top 5 Cited in 9 Serials 3 Science of Computer Programming 2 Theoretical Computer Science 2 MSCS. Mathematical Structures in Computer Science 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 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 42 Computer science (68-XX) 3 Category theory; homological algebra (18-XX) 2 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) Citations by Year