Five Most Important Publications

• D. Varró, G. Varró, A. Pataricza:
  Designing the Automatic Transformation of Visual Languages.
  Science of Computer Programming 44 (2002) 205-227,
  Preprint available in pdf BibTex
• D. Varró and A. Pataricza.
  VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML.
  Journal of Software and Systems Modelling (2003) 1: 1-24. In press. Springer-Verlag.
  Preprint available in pdf BibTex
• D. Varró.
  Automated formal verification of visual modeling languages by model checking.
  Journal of Software and Systems Modelling, 2003.
  Conditionally accepted to the Special Issue on Graph Transformation and Visual Modelling Techniques. Springer-Verlag.
  Preprint available in pdf BibTex
• Sz. Gyapay, R. Heckel, and D. Varró.
  Graph transformation with time.
  Fundamenta Informaticae, 2003. IOS Press. In press.
  Preprint available in pdf BibTex
• D. Varró and A. Pataricza.
  UML Action Semantics for model transformation systems.
  Periodica Polytechnica, 2003. In press.
  Preprint available in pdf BibTex