István Ráth

Change-driven model transformations

Dániel Varró, István Ráth, Gergely Varró, 2009, Software & Systems Modeling.

MONDO: Scalable Modelling and Model Management on the Cloud

Dániel Varró, Juan de Lara, Esther Guerra, 2015, STAF Doctoral Symposium / Showcase.

Incremental pattern matching in the viatra model transformation system

István Ráth, Gergely Varró, Dániel Varró, 2008, GRaMoT '08.

Model checking as a service: towards pragmatic hidden formal methods

István Ráth, Zoltán Micskei, Ákos Hajdu, 2020, MoDELS.