| |
| 2004 | ||
|---|---|---|
| 3 | EE | Arend Rensink, Ákos Schmidt, Dániel Varró: Model Checking Graph Transformations: A Comparison of Two Approaches. ICGT 2004: 226-241 |
| 2 | EE | Szilvia Gyapay, Ákos Schmidt, Dániel Varró: Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. Electr. Notes Theor. Comput. Sci. 109: 137-147 (2004) |
| 2003 | ||
| 1 | EE | Ákos Schmidt, Dániel Varró: CheckVML: A Tool for Model Checking Visual Modeling Languages. UML 2003: 92-95 |
| 1 | Arend Rensink | [3] |
| 2 | Dániel Varró | [1] [2] [3] |
| 3 | Szilvia Varró-Gyapay (Szilvia Gyapay) | [2] |