Profiles

Gabriele Taentzer

Philipps-Universität Marburg

Verified email at mathematik.uni-marburg.de

Cited by 11901

Computer Science Software Engineering Graph Transformation

Reiko Heckel

Professor of Software Engineering, Dept. of Computer Science, University of Leicester

Verified email at mcs.le.ac.uk

Cited by 9319

Graph Transformation Model-driven Software Engineering

Arend Rensink

Professor in Computer Science, University of Twente

Verified email at utwente.nl

Cited by 4916

Software Verification Model Transformation Model Checking Graph Transformation Model-Based Testing

Detlef Plump

Department of Computer Science, University of York

Verified email at york.ac.uk

Cited by 3449

Graph Transformation Graph-based Programming Models

Fernando Orejas

Universitat Politècnica de Catalunya

Verified email at lsi.upc.edu

Cited by 3300

Software specification and Modeling Graph Transformation Model Transformation Logic Programming Algebraic Methods in Software

Claudia Ermel

Technische Universität Berlin, Germany

Verified email at tu-berlin.de

Cited by 2974

graph transformation visual languages Petri nets model transformation

Frank Drewes

Department of Computing Science, Umeå University

Verified email at cs.umu.se

Cited by 2131

Theoretical Computer Science in particular Formal Language Theory Natural Language Processing Graph Transformation

Russ Harmer

CNRS, Lyon

Verified email at ens-lyon.fr

Cited by 2077

graph transformation rule-based modelling game semantics

Sabine Kuske

Lecturer at the department of Computer Science, University of Bremen

Verified email at uni-bremen.de

Cited by 1589

Graph Transformation Model Transformation Petri Nets

Christopher M. Poskitt

Singapore Management University (SMU)

Verified email at smu.edu.sg

Cited by 1202

software engineering software testing formal methods cybersecurity graph transformation

1 - 10