2008
- István Ráth, Gábor Bergmann, András Ökrös, Dániel Varró. Live Model Transformations Driven by Incremental Pattern Matching. ICMT 2008: 107-121 [doi]
- Andrea Darabos, András Pataricza, Dániel Varró. Towards Testing the Implementation of Graph Transformations. ENTCS, 211:75-85, 2008. [doi]
- Roberto Bruni, Dániel Varró. Preface. ENTCS, 211:1-3, 2008. [doi]
- Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró. SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. isola 2008: 170-190 [doi]
- Dániel Varró, Mark Asztalos, Denes Bisztray, Artur Boronat, Rubino Geiss, Martin Gogolla, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell. Graph Transformation Tools Contest on the Transformation of UML Models to CSP. In 3rd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTiVE). 2008:
- László Gönczy, Zsolt Déri, Dániel Varró. Model Transformations for Performability Analysis of Service Configurations. MoDELS 2009: 153-166 [doi]
- István Ráth, David Vago, Dániel Varró. Design-time simulation of domain-specific models by incremental pattern matching. vl 2008: 219-222 [doi]
- Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró. A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. gg 2008: 396-410 [doi]
2007
- Gergely Varró, Ákos Horváth, Dániel Varró. Recursive Graph Pattern Matching. agtive 2008: 456-470 [doi]
- Máté Kovács, Dániel Varró, László Gönczy. Formal modeling of BPEL workflows including fault and compensation handling. ESEC/FSE 2007: 1 [doi]
- Dániel Varró, András Balogh. The model transformation language of the VIATRA2 framework. SCP, 68(3):214-234, 2007. [doi]
- Dániel Varró, Zoltan Balogh. Automating model transformation by example using inductive logic programming. sac 2007: 978-984 [doi]
- Ákos Horváth, Gergely Varró, Dániel Varró. Generic Search Plans for Matching Advanced Graph Patterns. eceasst, 6, 2007. [doi]
- András Kövi, Dániel Varró. An Eclipse-Based Framework for AIS Service Configurations. isas 2007: 110-126 [doi]
- László Gönczy, Reiko Heckel, Dániel Varró. Model-Based Testing of Service Infrastructure Components. pts 2007: 155-170 [doi]
- László Gönczy, Máté Kovács, Dániel Varró. Modeling and Verification of Reliable Messaging by Graph Transformation Systems. ENTCS, 175(4):37-50, 2007. [doi]
- Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell. Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. agtive 2008: 540-565 [doi]
2006
- Dániel Varró. Model Transformation by Example. MoDELS 2006: 410-424 [doi]
- Albert Zündorf, Dániel Varró. Preface. eceasst, 1, 2006. [doi]
- András Balogh, Gergely Varró, Dániel Varró, András Pataricza. Compiling model transformations to EJB3-specific transformer plugins. sac 2006: 1288-1295 [doi]
- Gergely Varró, Dániel Varró, Andy Schürr. Incremental Graph Pattern Matching: Data Structures and Initial Experiments. eceasst, 4, 2006. [doi]
- Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer. Termination Analysis of Model Transformations by Petri Nets. gg 2006: 260-274 [doi]
- Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró. Style-based modeling and refinement of service-oriented architectures. SoSyM, 5(2):187-207, 2006. [doi]
- András Balogh, Dániel Varró. Advanced model transformation language constructs in the VIATRA2 framework. sac 2006: 1280-1287 [doi]
- Albert Zündorf, Dániel Varró. Workshop on Graph-Based Tools. gg 2006: 465-466 [doi]
- Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai. Applying a Model Transformation Taxonomy to Graph Transformation Technology. ENTCS, 152:143-159, 2006. [doi]
- András Kövi, Dániel Varró, Zoltán Németh. Making Legacy Services Highly Available with OpenAIS: An Experience Report. isas 2006: 206-216 [doi]
- Gergely Varró, Katalin Friedl, Dániel Varró. Implementing a Graph Transformation Engine in Relational Databases. SoSyM, 5(3):313-341, 2006. [doi]
- Gergely Varró, Katalin Friedl, Dániel Varró. Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans. ENTCS, 152:191-205, 2006. [doi]
- Szilvia Varró-Gyapay, Dániel Varró. Optimization in Graph Transformation Systems Using Petri Net Based Techniques. eceasst, 2, 2006. [doi]
2005
- András Balogh, Dániel Varró, András Pataricza. Model-Based Optimization of Enterprise Application and Service Deployment. isas 2005: 84-98 [doi]
- Lars Grunske, Leif Geiger, Albert Zündorf, Niels Van Eetvelde, Pieter Van Gorp, Dániel Varró. Using Graph Transformation for Practical Model Driven Software Engineering. In Model-driven Software Development - Volume II of Research and Practice in Software Engineering. Springer-Verlag, 2005.
- Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay. Termination Criteria for Model Transformation. FASE 2005: 49-63 [doi]
- Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay. Termination Criteria for Model Transformation. dagstuhl 2006: [doi]
- Gergely Varró, Andy Schürr, Dániel Varró. Benchmarking for Graph Transformation. vl 2005: 79-88 [doi]
2004
- Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró. Style-Based Refinement of Dynamic Software Architectures. wicsa 2004: 155-166 [doi]
- Gergely Varró, Dániel Varró. Graph Transformation with Incremental Updates. ENTCS, 109:71-83, 2004. [doi]
- Dániel Varró, András Pataricza. Generic and Meta-transformations for Model Transformation Engineering. uml 2004: 290-304 [doi]
- Zsigmond Pap, Dániel Varró. Static Safety Analysis of UML Action Semantics for Critical Systems Development. gi 2004: 57-61
- Dániel Varró. Automated formal verification of visual modeling languages by model checking. SoSyM, 3(2):85-113, 2004. [doi]
- Szilvia Gyapay, Ákos Schmidt, Dániel Varró. Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. ENTCS, 109:137-147, 2004. [doi]
- Arend Rensink, Ákos Schmidt, Dániel Varró. Model Checking Graph Transformations: A Comparison of Two Approaches. gg 2004: 226-241 [doi]
2003
- Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró. Modeling and validation of service-oriented architectures: application vs. style. ESEC/FSE 2003: 68-77 [doi]
- Dániel Varró, András Pataricza. VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics). SoSyM, 2(3):187-210, 2003. [doi]
- Szilvia Gyapay, Dániel Varró, Reiko Heckel. Graph Transformation with Time. FUIN, 58(1):1-22, 2003. [doi]
- Ákos Schmidt, Dániel Varró. CheckVML: A Tool for Model Checking Visual Modeling Languages. uml 2003: 92-95 [doi]
- Dániel Varró. Towards Symbolic Analysis of Visual Modeling Languages. ENTCS, 72(3), 2003. [doi]
2002
- Dániel Varró. A Formal Semantics of UML Statecharts by Model Transition Systems. gg 2002: 378-392 [doi]
- Dániel Varró, Gergely Varró, András Pataricza. Designing the automatic transformation of visual languages. SCP, 44(2):205-227, 2002. [doi]
- Szilvia Gyapay, Reiko Heckel, Dániel Varró. Graph Transformation with Time: Causality and Logical Clocks. gg 2002: 120-134 [doi]
- Péter Domokos, Dániel Varró. An Open Visualization Framework for Metamodel-Based Modeling Languages. ENTCS, 72(2), 2002. [doi]
- György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró. VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. ASE 2002: 267-270 [doi]
- Dániel Varró, András Pataricza. Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models. uml 2002: 18-33 [doi]