Dániel Varró

Dániel Varró, András Pataricza: Generic and Meta-Transformations for Model Transformation Engineering, Seventh International Conference on the Unified Modeling Language - the Language and its applications, 2004, (BibTeX entry).
Ákos Schmidt, Dániel Varró: CheckVML: A Tool for Model Checking Visual Modeling Languages, Sixth International Conference on the Unified Modeling Language - the Language and its applications, 2003, (BibTeX entry).
Dániel Varró, András Pataricza: Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models, Fifth International Conference on the Unified Modeling Language - the Language and its applications, 2002, (BibTeX entry).
Dániel Varró: A Formal Semantics of UML Statecharts by Model Transition Systems, Springer, 2002, (BibTeX entry).

dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)