Search the dblp DataBase
Dániel Varró :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Hartmut Ehrig , Karsten Ehrig , Gabriele Taentzer , Juan de Lara , Dániel Varró , Szilvia Varró-Gyapay Termination Criteria for Model Transformation. [Citation Graph (0, 0)][DBLP ] Transformation Techniques in Software Engineering, 2005, pp:- [Conf ] Hartmut Ehrig , Karsten Ehrig , Juan de Lara , Gabriele Taentzer , Dániel Varró , Szilvia Varró-Gyapay Termination Criteria for Model Transformation. [Citation Graph (0, 0)][DBLP ] FASE, 2005, pp:49-63 [Conf ] Szilvia Gyapay , Reiko Heckel , Dániel Varró Graph Transformation with Time: Causality and Logical Clocks. [Citation Graph (0, 0)][DBLP ] ICGT, 2002, pp:120-134 [Conf ] Arend Rensink , Ákos Schmidt , Dániel Varró Model Checking Graph Transformations: A Comparison of Two Approaches. [Citation Graph (0, 0)][DBLP ] ICGT, 2004, pp:226-241 [Conf ] Dániel Varró A Formal Semantics of UML Statecharts by Model Transition Systems. [Citation Graph (0, 0)][DBLP ] ICGT, 2002, pp:378-392 [Conf ] Dániel Varró , Szilvia Varró-Gyapay , Hartmut Ehrig , Ulrike Prange , Gabriele Taentzer Termination Analysis of Model Transformations by Petri Nets. [Citation Graph (0, 0)][DBLP ] ICGT, 2006, pp:260-274 [Conf ] Albert Zündorf , Dániel Varró Workshop on Graph-Based Tools. [Citation Graph (0, 0)][DBLP ] ICGT, 2006, pp:465-466 [Conf ] Zsigmond Pap , Dániel Varró Static Safety Analysis of UML Action Semantics for Critical Systems Development. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung (1), 2004, pp:57-61 [Conf ] András Balogh , Dániel Varró , András Pataricza Model-Based Optimization of Enterprise Application and Service Deployment. [Citation Graph (0, 0)][DBLP ] ISAS, 2005, pp:84-98 [Conf ] András Kövi , Dániel Varró , Zoltán Németh Making Legacy Services Highly Available with OpenAIS: An Experience Report. [Citation Graph (0, 0)][DBLP ] ISAS, 2006, pp:206-216 [Conf ] András Kövi , Dániel Varró An Eclipse-Based Framework for AIS Service Configurations. [Citation Graph (0, 0)][DBLP ] ISAS, 2007, pp:110-126 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ASE, 2002, pp:267-270 [Conf ] Dániel Varró Model Transformation by Example. [Citation Graph (0, 0)][DBLP ] MoDELS, 2006, pp:410-424 [Conf ] András Balogh , Dániel Varró Advanced model transformation language constructs in the VIATRA2 framework. [Citation Graph (0, 0)][DBLP ] SAC, 2006, pp:1280-1287 [Conf ] András Balogh , Gergely Varró , Dániel Varró , András Pataricza Compiling model transformations to EJB3-specific transformer plugins. [Citation Graph (0, 0)][DBLP ] SAC, 2006, pp:1288-1295 [Conf ] Dániel Varró , Zoltan Balogh Automating model transformation by example using inductive logic programming. [Citation Graph (0, 0)][DBLP ] SAC, 2007, pp:978-984 [Conf ] Luciano Baresi , Reiko Heckel , Sebastian Thöne , Dániel Varró Modeling and validation of service-oriented architectures: application vs. style. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2003, pp:68-77 [Conf ] Ákos Schmidt , Dániel Varró CheckVML: A Tool for Model Checking Visual Modeling Languages. [Citation Graph (0, 0)][DBLP ] UML, 2003, pp:92-95 [Conf ] Dániel Varró , András Pataricza Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models. [Citation Graph (0, 0)][DBLP ] UML, 2002, pp:18-33 [Conf ] Dániel Varró , András Pataricza Generic and Meta-transformations for Model Transformation Engineering. [Citation Graph (0, 0)][DBLP ] UML, 2004, pp:290-304 [Conf ] Gergely Varró , Andy Schürr , Dániel Varró Benchmarking for Graph Transformation. [Citation Graph (0, 0)][DBLP ] VL/HCC, 2005, pp:79-88 [Conf ] Luciano Baresi , Reiko Heckel , Sebastian Thöne , Dániel Varró Style-Based Refinement of Dynamic Software Architectures. [Citation Graph (0, 0)][DBLP ] WICSA, 2004, pp:155-166 [Conf ] Péter Domokos , Dániel Varró An Open Visualization Framework for Metamodel-Based Modeling Languages. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:72, n:2, pp:- [Journal ] Szilvia Gyapay , Ákos Schmidt , Dániel Varró Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:109, n:, pp:137-147 [Journal ] Tom Mens , Pieter Van Gorp , Dániel Varró , Gabor Karsai Applying a Model Transformation Taxonomy to Graph Transformation Technology. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:152, n:, pp:143-159 [Journal ] Dániel Varró Towards Symbolic Analysis of Visual Modeling Languages. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal ] Gergely Varró , Katalin Friedl , Dániel Varró Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:152, n:, pp:191-205 [Journal ] Gergely Varró , Dániel Varró Graph Transformation with Incremental Updates. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:109, n:, pp:71-83 [Journal ] Szilvia Gyapay , Dániel Varró , Reiko Heckel Graph Transformation with Time. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2003, v:58, n:1, pp:1-22 [Journal ] Dániel Varró , Gergely Varró , András Pataricza Designing the automatic transformation of visual languages. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2002, v:44, n:2, pp:205-227 [Journal ] Dániel Varró Automated formal verification of visual modeling languages by model checking. [Citation Graph (0, 0)][DBLP ] Software and System Modeling, 2004, v:3, n:2, pp:85-113 [Journal ] 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). [Citation Graph (0, 0)][DBLP ] Software and System Modeling, 2003, v:2, n:3, pp:187-210 [Journal ] László Gönczy , Reiko Heckel , Dániel Varró Model-Based Testing of Service Infrastructure Components. [Citation Graph (0, 0)][DBLP ] TestCom/FATES, 2007, pp:155-170 [Conf ] László Gönczy , Máté Kovács , Dániel Varró Modeling and Verification of Reliable Messaging by Graph Transformation Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:37-50 [Journal ] Dániel Varró , András Balogh The model transformation language of the VIATRA2 framework. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2007, v:68, n:3, pp:214-234 [Journal ] Recursive Graph Pattern Matching. [Citation Graph (, )][DBLP ] Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. [Citation Graph (, )][DBLP ] A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. [Citation Graph (, )][DBLP ] SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. [Citation Graph (, )][DBLP ] Model Transformations for Performability Analysis of Service Configurations. [Citation Graph (, )][DBLP ] Change-Driven Model Transformations. [Citation Graph (, )][DBLP ] CSP(M): Constraint Satisfaction Problem over Models. [Citation Graph (, )][DBLP ] Incremental Evaluation of Model Queries over EMF Models. [Citation Graph (, )][DBLP ] Teaching Modeling: Why, When, What? [Citation Graph (, )][DBLP ] Formal modeling of BPEL workflows including fault and compensation handling. [Citation Graph (, )][DBLP ] Design-time simulation of domain-specific models by incremental pattern matching. [Citation Graph (, )][DBLP ] Live Model Transformations Driven by Incremental Pattern Matching. [Citation Graph (, )][DBLP ] Efficient Model Transformations by Combining Pattern Matching Strategies. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Towards Testing the Implementation of Graph Transformations. [Citation Graph (, )][DBLP ] Tool Support for Engineering Certifiable Software. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.007secs