| 2008 |
|---|
| 51 | EE | 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 |
| 50 | EE | 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 |
| 49 | EE | 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 |
| 48 | EE | László Gönczy,
Zsolt Déri,
Dániel Varró:
Model Transformations for Performability Analysis of Service Configurations.
MoDELS Workshops 2008: 153-166 |
| 47 | EE | 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 |
| 46 | EE | Roberto Bruni,
Dániel Varró:
Preface.
Electr. Notes Theor. Comput. Sci. 211: 1-3 (2008) |
| 45 | EE | Andrea Darabos,
András Pataricza,
Dániel Varró:
Towards Testing the Implementation of Graph Transformations.
Electr. Notes Theor. Comput. Sci. 211: 75-85 (2008) |
| 2007 |
|---|
| 44 | EE | Gergely Varró,
Ákos Horváth,
Dániel Varró:
Recursive Graph Pattern Matching.
AGTIVE 2007: 456-470 |
| 43 | EE | 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 |
| 42 | EE | Máté Kovács,
Dániel Varró,
László Gönczy:
Formal modeling of BPEL workflows including fault and compensation handling.
EFTS 2007: 1 |
| 41 | EE | András Kövi,
Dániel Varró:
An Eclipse-Based Framework for AIS Service Configurations.
ISAS 2007: 110-126 |
| 40 | EE | Dániel Varró,
Zoltan Balogh:
Automating model transformation by example using inductive logic programming.
SAC 2007: 978-984 |
| 39 | EE | László Gönczy,
Reiko Heckel,
Dániel Varró:
Model-Based Testing of Service Infrastructure Components.
TestCom/FATES 2007: 155-170 |
| 38 | EE | Ákos Horváth,
Gergely Varró,
Dániel Varró:
Generic Search Plans for Matching Advanced Graph Patterns.
ECEASST 6: (2007) |
| 37 | EE | 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) |
| 36 | EE | Dániel Varró,
András Balogh:
The model transformation language of the VIATRA2 framework.
Sci. Comput. Program. 68(3): 214-234 (2007) |
| 2006 |
|---|
| 35 | EE | Dániel Varró,
Szilvia Varró-Gyapay,
Hartmut Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Termination Analysis of Model Transformations by Petri Nets.
ICGT 2006: 260-274 |
| 34 | EE | Albert Zündorf,
Dániel Varró:
Workshop on Graph-Based Tools.
ICGT 2006: 465-466 |
| 33 | EE | 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 |
| 32 | EE | Dániel Varró:
Model Transformation by Example.
MoDELS 2006: 410-424 |
| 31 | EE | András Balogh,
Dániel Varró:
Advanced model transformation language constructs in the VIATRA2 framework.
SAC 2006: 1280-1287 |
| 30 | EE | András Balogh,
Gergely Varró,
Dániel Varró,
András Pataricza:
Compiling model transformations to EJB3-specific transformer plugins.
SAC 2006: 1288-1295 |
| 29 | EE | Albert Zündorf,
Dániel Varró:
Preface.
ECEASST 1: (2006) |
| 28 | EE | Szilvia Varró-Gyapay,
Dániel Varró:
Optimization in Graph Transformation Systems Using Petri Net Based Techniques.
ECEASST 2: (2006) |
| 27 | EE | Gergely Varró,
Dániel Varró,
Andy Schürr:
Incremental Graph Pattern Matching: Data Structures and Initial Experiments.
ECEASST 4: (2006) |
| 26 | EE | 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) |
| 25 | EE | 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) |
| 24 | EE | 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) |
| 23 | EE | Gergely Varró,
Katalin Friedl,
Dániel Varró:
Implementing a Graph Transformation Engine in Relational Databases.
Software and System Modeling 5(3): 313-341 (2006) |
| 2005 |
|---|
| 22 | EE | Hartmut Ehrig,
Karsten Ehrig,
Juan de Lara,
Gabriele Taentzer,
Dániel Varró,
Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation.
FASE 2005: 49-63 |
| 21 | EE | András Balogh,
Dániel Varró,
András Pataricza:
Model-Based Optimization of Enterprise Application and Service Deployment.
ISAS 2005: 84-98 |
| 20 | EE | 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 |
| 19 | EE | Gergely Varró,
Andy Schürr,
Dániel Varró:
Benchmarking for Graph Transformation.
VL/HCC 2005: 79-88 |
| 2004 |
|---|
| 18 | | Zsigmond Pap,
Dániel Varró:
Static Safety Analysis of UML Action Semantics for Critical Systems Development.
GI Jahrestagung (1) 2004: 57-61 |
| 17 | EE | Arend Rensink,
Ákos Schmidt,
Dániel Varró:
Model Checking Graph Transformations: A Comparison of Two Approaches.
ICGT 2004: 226-241 |
| 16 | EE | Dániel Varró,
András Pataricza:
Generic and Meta-transformations for Model Transformation Engineering.
UML 2004: 290-304 |
| 15 | EE | Luciano Baresi,
Reiko Heckel,
Sebastian Thöne,
Dániel Varró:
Style-Based Refinement of Dynamic Software Architectures.
WICSA 2004: 155-166 |
| 14 | 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) |
| 13 | EE | Gergely Varró,
Dániel Varró:
Graph Transformation with Incremental Updates.
Electr. Notes Theor. Comput. Sci. 109: 71-83 (2004) |
| 12 | EE | Dániel Varró:
Automated formal verification of visual modeling languages by model checking.
Software and System Modeling 3(2): 85-113 (2004) |
| 2003 |
|---|
| 11 | EE | 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 |
| 10 | EE | Ákos Schmidt,
Dániel Varró:
CheckVML: A Tool for Model Checking Visual Modeling Languages.
UML 2003: 92-95 |
| 9 | EE | Dániel Varró:
Towards Symbolic Analysis of Visual Modeling Languages.
Electr. Notes Theor. Comput. Sci. 72(3): (2003) |
| 8 | EE | Szilvia Gyapay,
Dániel Varró,
Reiko Heckel:
Graph Transformation with Time.
Fundam. Inform. 58(1): 1-22 (2003) |
| 7 | EE | 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) |
| 2002 |
|---|
| 6 | EE | 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 |
| 5 | EE | Szilvia Gyapay,
Reiko Heckel,
Dániel Varró:
Graph Transformation with Time: Causality and Logical Clocks.
ICGT 2002: 120-134 |
| 4 | EE | Dániel Varró:
A Formal Semantics of UML Statecharts by Model Transition Systems.
ICGT 2002: 378-392 |
| 3 | EE | Dániel Varró,
András Pataricza:
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models.
UML 2002: 18-33 |
| 2 | EE | Péter Domokos,
Dániel Varró:
An Open Visualization Framework for Metamodel-Based Modeling Languages.
Electr. Notes Theor. Comput. Sci. 72(2): (2002) |
| 1 | EE | Dániel Varró,
Gergely Varró,
András Pataricza:
Designing the automatic transformation of visual languages.
Sci. Comput. Program. 44(2): 205-227 (2002) |
