dblp.uni-trier.dewww.uni-trier.de

Dániel Varró

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Lucia Acciai [49]
2Márk Asztalos [43]
3András Balogh [21] [30] [31] [36]
4Zoltan Balogh [40]
5Federico Banti [49]
6Luciano Baresi [11] [15] [24]
7Gábor Bergmann [50] [51]
8Dénes Bisztray [43]
9Artur Boronat [43]
10Roberto Bruni [46]
11Allan Clark [49]
12György Csertán [6]
13Duc-Hanh Dang [43]
14Andrea Darabos [45]
15Zsolt Déri [48]
16Péter Domokos [2]
17Hartmut Ehrig [20] [22] [35]
18Karsten Ehrig [20] [22]
19Alessandro Fantechi [49]
20Katalin Friedl [23] [25]
21Rubino Geiß [43]
22Stephen Gilmore (Stephen T. Gilmore) [49]
23Stefania Gnesi [49]
24László Gönczy [37] [39] [42] [48] [49]
25Pieter Van Gorp [26] [43]
26Joel Greenyer [43]
27Reiko Heckel [5] [8] [11] [15] [24] [39]
28Matthias M. Hölzl [49]
29Ákos Horváth [38] [44] [51]
30Gábor Huszerl [6]
31Gabor Karsai [26]
32Ole Kniemeyer [43]
33Nora Koch [49]
34Máté Kovács [37] [42]
35András Kövi [33] [41]
36Alessandro Lapadula [49]
37Juan de Lara (Juan de Lara Jaramillo) [20] [22]
38István Majzik [6]
39Philip Mayer [49]
40Franco Mazzanti [49]
41Tom Mens [26]
42Anantha Narayanan [43]
43Zoltán Németh [33]
44András Ökrös [50]
45Zsigmond Pap [6] [18]
46András Pataricza [1] [3] [6] [7] [16] [21] [30] [45]
47Ulrike Prange [35]
48Rosario Pugliese [49]
49István Ráth [47] [50] [51]
50Edgars Rencis [43]
51Arend Rensink [17]
52Ákos Schmidt [10] [14] [17]
53Andreas Schroeder [49]
54Andy Schürr [19] [27]
55Gabriele Taentzer [20] [22] [35]
56Sebastian Thöne [11] [15] [24]
57Francesco Tiezzi [49]
58Mirco Tribastone [49]
59David Vago [47]
60Gergely Varró [1] [13] [19] [23] [25] [27] [30] [38] [44]
61Szilvia Varró-Gyapay (Szilvia Gyapay) [5] [8] [14] [20] [22] [28] [35]
62Erhard Weinell [43]
63Martin Wirsing [49]
64Albert Zündorf [29] [34]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)