The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dániel Varró: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Dániel Varró
    A Formal Semantics of UML Statecharts by Model Transition Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:378-392 [Conf]
  6. 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]
  7. Albert Zündorf, Dániel Varró
    Workshop on Graph-Based Tools. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:465-466 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. Dániel Varró
    Model Transformation by Example. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:410-424 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. Á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]
  19. 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]
  20. 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]
  21. Gergely Varró, Andy Schürr, Dániel Varró
    Benchmarking for Graph Transformation. [Citation Graph (0, 0)][DBLP]
    VL/HCC, 2005, pp:79-88 [Conf]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]

  36. Recursive Graph Pattern Matching. [Citation Graph (, )][DBLP]


  37. Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. [Citation Graph (, )][DBLP]


  38. A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. [Citation Graph (, )][DBLP]


  39. SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. [Citation Graph (, )][DBLP]


  40. Model Transformations for Performability Analysis of Service Configurations. [Citation Graph (, )][DBLP]


  41. Change-Driven Model Transformations. [Citation Graph (, )][DBLP]


  42. CSP(M): Constraint Satisfaction Problem over Models. [Citation Graph (, )][DBLP]


  43. Incremental Evaluation of Model Queries over EMF Models. [Citation Graph (, )][DBLP]


  44. Teaching Modeling: Why, When, What? [Citation Graph (, )][DBLP]


  45. Formal modeling of BPEL workflows including fault and compensation handling. [Citation Graph (, )][DBLP]


  46. Design-time simulation of domain-specific models by incremental pattern matching. [Citation Graph (, )][DBLP]


  47. Live Model Transformations Driven by Incremental Pattern Matching. [Citation Graph (, )][DBLP]


  48. Efficient Model Transformations by Combining Pattern Matching Strategies. [Citation Graph (, )][DBLP]


  49. Preface. [Citation Graph (, )][DBLP]


  50. Towards Testing the Implementation of Graph Transformations. [Citation Graph (, )][DBLP]


  51. Tool Support for Engineering Certifiable Software. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002