Dániel Varró

Vittorio Cortellessa, Dániel Varró (Eds.): Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Lecture Notes in Computer Science 7793, Springer 2013, isbn 978-3-642-37056-4

Ákos Horváth, Dániel Varró: Dynamic constraint satisfaction problems over models. Software and System Modeling 11(3): 385-408 (2012)

Gábor Bergmann, István Ráth, Gergely Varró, Dániel Varró: Change-driven model transformations - Change (in) the rule to rule the change. Software and System Modeling 11(3): 431-461 (2012)

Richard F. Paige, Dániel Varró: Lessons learned from building model-driven development tools. Software and System Modeling 11(4): 527-539 (2012)

Dániel Varró: Keynote 2: A Bridge Over Troubled Water - Synergies between Model Transformation and Software Maintenance Techniques. CSMR 2012: 5-6

István Ráth, Ábel Hegedüs, Dániel Varró: Derived Features for EMF by Integrating Advanced Model Queries. ECMFA 2012: 102-117

Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró: Incremental Pattern Matching for the Efficient Computation of Transitive Closure. ICGT 2012: 386-400

Zoltán Ujhelyi, Ákos Horváth, Dániel Varró: Dynamic Backward Slicing of Model Transformations. ICST 2012: 1-10

Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró: Ontology driven design of EMF metamodels and well-formedness constraints. OCL and Textual Modelling 2012: 37-42

Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró: Query-Driven Soft Interconnection of EMF Models. MoDELS 2012: 134-150

Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró: Integrating Efficient Model Queries in State-of-the-Art EMF Tools. TOOLS (50) 2012: 1-8

Andy Schürr, Dániel Varró, Gergely Varró (Eds.): Applications of Graph Transformations with Industrial Relevance - 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers. Lecture Notes in Computer Science 7233, Springer 2012, isbn 978-3-642-34175-5

Zoltán Ujhelyi, Ákos Horváth, Dániel Varró: Static Type Checking of Model Transformation Programs. ECEASST 38 (2011)

Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró: Non-functional properties in the model-driven development of service-oriented systems. Software and System Modeling 10(3): 287-311 (2011)

Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró: UML Extensions for Service-Oriented Systems. Results of the SENSORIA Project 2011: 35-60

László Gönczy, Ábel Hegedüs, Dániel Varró: Methodologies for Model-Driven Development and Deployment: An Overview. Results of the SENSORIA Project 2011: 541-560

Gábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró: Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis. Results of the SENSORIA Project 2011: 561-584

Gábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, Yijun Yu: A Tool for Managing Evolving Security Requirements. CAiSE Forum 2011: 49-56

Gábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, Yijun Yu: A Tool for Managing Evolving Security Requirements. CAiSE Forum (Selected Papers) 2011: 110-125

Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró: Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery. ECMFA 2011: 389-390

Gábor Bergmann, Zoltán Ujhelyi, István Ráth, Dániel Varró: A Graph Query Language for EMF Models. ICMT 2011: 167-182

Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró: A model-driven framework for guided design space exploration. ASE 2011: 173-182

Zoltán Ujhelyi, Ákos Horváth, Dániel Varró: Towards dynamic backward slicing of model transformations. ASE 2011: 404-407

Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró: Implementing efficient model validation in EMF tools. ASE 2011: 580-583

Gábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, Yijun Yu: SeCMER: A Tool to Gain Control of Security Requirements Evolution. ServiceWave 2011: 321-322

Ábel Hegedüs, Ákos Horváth, István Ráth, Moisés Castelo Branco, Dániel Varró: Quick fix generation for DSMLs. VL/HCC 2011: 17-24

Juan de Lara, Dániel Varró: Preface of the Fourth International Workshop on Graph-Based Tools, GraBaTs 2010. ECEASST 32 (2010)

Ábel Hegedüs, Ákos Horváth, Dániel Varró: Towards Guided Trajectory Exploration of Graph Transformation Systems. ECEASST 40 (2010)

István Ráth, András Ökrös, Dániel Varró: Synchronization of abstract and concrete syntax in domain-specific modeling languages - By mapping models and live transformations. Software and System Modeling 9(4): 453-471 (2010)

Ákos Horváth, Gábor Bergmann, István Ráth, Dániel Varró: Experimental assessment of combining pattern matching strategies with VIATRA2. STTT 12(3-4): 211-230 (2010)

András Balogh, Gábor Bergmann, György Csertán, László Gönczy, Ákos Horváth, István Majzik, András Pataricza, Balázs Polgár, István Ráth, Dániel Varró, Gergely Varró: Workflow-Driven Tool Integration Using Model Transformations. Graph Transformations and Model-Driven Engineering 2010: 224-248

Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró, András Balogh, Zoltan Balogh, András Ökrös: Incremental Evaluation of Model Queries over EMF Models. MoDELS (1) 2010: 76-90

Ábel Hegedüs, Gábor Bergmann, István Ráth, Dániel Varró: Back-annotation of Simulation Traces with Change-Driven Model Transformations. SEFM 2010: 145-155

Gábor Bergmann, István Ráth, Dániel Varró: Parallelization of Graph Transformation Based on Incremental Pattern Matching. ECEASST 18 (2009)

László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza: Tool Support for Engineering Certifiable Software. Electr. Notes Theor. Comput. Sci. 238(4): 79-85 (2009)

Zoltan Balogh, Dániel Varró: Model transformation by example using inductive logic programming. Software and System Modeling 8(3): 347-364 (2009)

Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró: Efficient Model Transformations by Combining Pattern Matching Strategies. ICMT 2009: 20-34

Jean Bézivin, Robert B. France, Martin Gogolla, Øystein Haugen, Gabriele Taentzer, Dániel Varró: Teaching Modeling: Why, When, What? MoDELS Workshops 2009: 55-62

Ákos Horváth, Dániel Varró: CSP(M): Constraint Satisfaction Problem over Models. MoDELS 2009: 107-121

István Ráth, Gergely Varró, Dániel Varró: Change-Driven Model Transformations. MoDELS 2009: 342-356

Máté Kovács, Dániel Varró, László Gönczy: Formal analysis of BPEL. workflows with compensation by model checking. Comput. Syst. Sci. Eng. 23(5) (2008)

Roberto Bruni, Dániel Varró: Preface. Electr. Notes Theor. Comput. Sci. 211: 1-3 (2008)

Andrea Darabos, András Pataricza, Dániel Varró: Towards Testing the Implementation of Graph Transformations. Electr. Notes Theor. Comput. Sci. 211: 75-85 (2008)

Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró: A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. ICGT 2008: 396-410

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

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

László Gönczy, Zsolt Déri, Dániel Varró: Model Transformations for Performability Analysis of Service Configurations. MoDELS Workshops 2008: 153-166

István Ráth, David Vago, Dániel Varró: Design-time simulation of domain-specific models by incremental pattern matching. VL/HCC 2008: 219-222

Ákos Horváth, Gergely Varró, Dániel Varró: Generic Search Plans for Matching Advanced Graph Patterns. ECEASST 6 (2007)

László Gönczy, Máté Kovács, Dániel Varró: Modeling and Verification of Reliable Messaging by Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 175(4): 37-50 (2007)

Dániel Varró, András Balogh: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3): 214-234 (2007)

Gergely Varró, Ákos Horváth, Dániel Varró: Recursive Graph Pattern Matching. AGTIVE 2007: 456-470

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 2007: 540-565

András Kövi, Dániel Varró: An Eclipse-Based Framework for AIS Service Configurations. ISAS 2007: 110-126

László Gönczy, Reiko Heckel, Dániel Varró: Model-Based Testing of Service Infrastructure Components. TestCom/FATES 2007: 155-170

Dániel Varró, Zoltan Balogh: Automating model transformation by example using inductive logic programming. SAC 2007: 978-984

Máté Kovács, Dániel Varró, László Gönczy: Formal modeling of BPEL workflows including fault and compensation handling. EFTS 2007: 1

Albert Zündorf, Dániel Varró: Preface. ECEASST 1 (2006)

Szilvia Varró-Gyapay, Dániel Varró: Optimization in Graph Transformation Systems Using Petri Net Based Techniques. ECEASST 2 (2006)

Gergely Varró, Dániel Varró, Andy Schürr: Incremental Graph Pattern Matching: Data Structures and Initial Experiments. ECEASST 4 (2006)

Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai: Applying a Model Transformation Taxonomy to Graph Transformation Technology. Electr. Notes Theor. Comput. Sci. 152: 143-159 (2006)

Gergely Varró, Katalin Friedl, Dániel Varró: Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans. Electr. Notes Theor. Comput. Sci. 152: 191-205 (2006)

Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró: Style-based modeling and refinement of service-oriented architectures. Software and System Modeling 5(2): 187-207 (2006)

Gergely Varró, Katalin Friedl, Dániel Varró: Implementing a Graph Transformation Engine in Relational Databases. Software and System Modeling 5(3): 313-341 (2006)

Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer: Termination Analysis of Model Transformations by Petri Nets. ICGT 2006: 260-274

Albert Zündorf, Dániel Varró: Workshop on Graph-Based Tools. ICGT 2006: 465-466

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

Dániel Varró: Model Transformation by Example. MoDELS 2006: 410-424

András Balogh, Dániel Varró: Advanced model transformation language constructs in the VIATRA2 framework. SAC 2006: 1280-1287

András Balogh, Gergely Varró, Dániel Varró, András Pataricza: Compiling model transformations to EJB3-specific transformer plugins. SAC 2006: 1288-1295

Gergely Varró, Katalin Friedl, Dániel Varró: Graph Transformation in Relational Databases. Electr. Notes Theor. Comput. Sci. 127(1): 167-180 (2005)

Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay: Termination Criteria for Model Transformation. Transformation Techniques in Software Engineering 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

András Balogh, Dániel Varró, András Pataricza: Model-Based Optimization of Enterprise Application and Service Deployment. ISAS 2005: 84-98

Gergely Varró, Andy Schürr, Dániel Varró: Benchmarking for Graph Transformation. VL/HCC 2005: 79-88

Gergely Varró, Dániel Varró: Graph Transformation with Incremental Updates. Electr. Notes Theor. Comput. Sci. 109: 71-83 (2004)

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)

Dániel Varró: Automated formal verification of visual modeling languages by model checking. Software and System Modeling 3(2): 85-113 (2004)

Arend Rensink, Ákos Schmidt, Dániel Varró: Model Checking Graph Transformations: A Comparison of Two Approaches. ICGT 2004: 226-241

Zsigmond Pap, Dániel Varró: Static Safety Analysis of UML Action Semantics for Critical Systems Development. GI Jahrestagung (1) 2004: 57-61

Dániel Varró, András Pataricza: Generic and Meta-transformations for Model Transformation Engineering. UML 2004: 290-304

Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró: Style-Based Refinement of Dynamic Software Architectures. WICSA 2004: 155-166

Dániel Varró: Towards Symbolic Analysis of Visual Modeling Languages. Electr. Notes Theor. Comput. Sci. 72(3): 51-64 (2003)

Szilvia Gyapay, Dániel Varró, Reiko Heckel: Graph Transformation with Time. Fundam. Inform. 58(1): 1-22 (2003)

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). Software and System Modeling 2(3): 187-210 (2003)

Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró: Modeling and validation of service-oriented architectures: application vs. style. ESEC / SIGSOFT FSE 2003: 68-77

Ákos Schmidt, Dániel Varró: CheckVML: A Tool for Model Checking Visual Modeling Languages. UML 2003: 92-95

Péter Domokos, Dániel Varró: An Open Visualization Framework for Metamodel-Based Modeling Languages. Electr. Notes Theor. Comput. Sci. 72(2): 69-78 (2002)

Dániel Varró, Gergely Varró, András Pataricza: Designing the automatic transformation of visual languages. Sci. Comput. Program. 44(2): 205-227 (2002)

Szilvia Gyapay, Reiko Heckel, Dániel Varró: Graph Transformation with Time: Causality and Logical Clocks. ICGT 2002: 120-134

Dániel Varró: A Formal Semantics of UML Statecharts by Model Transition Systems. ICGT 2002: 378-392

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

Dániel Varró, András Pataricza: Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models. UML 2002: 18-33