BibTeX entries

Here

Publications

• 2010

  • Ábel Hegedüs, Zoltán Ujhelyi, Ráth István, and Ákos Horváth
    "Visualization of Traceability Models with Domain-specific Layouting"
    in Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs), 2010, Accepted. PDF
  • Ábel Hegedüs, Ráth István, and Dániel Varró
    "From BPEL to SAL And Back: a Tool Demo on Back-Annotation with VIATRA2"
    SEFM'2010 "Posters and Tool Demo Session" Track, 2010, PDF
  • Ábel Hegedüs, Zoltán Ujhelyi, Gábor Bergmann, and Ákos Horváth
    "Ecore to Genmodel case study solution using the VIATRA2 framework"
    Transformation Tool Contest (TTC), 2010. PDF
  • Ábel Hegedüs, Gábor Bergmann, István Ráth and Dániel Varró
    "Back-annotation of Simulation Traces with Change-Driven Model Transformations"
    in Proceedings of the Eighth International Conference on Software Engineering and Formal Method (SEFM), 2010, To appear. PDF
  • László Gönczy, Ábel Hegedüs, and Dániel Varró
    "Methodologies for Model-Driven Development and Deployment: an Overview"
    in Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, M. Wirsing, Ed. Springer-Verlag, 2010, To appear. PDF
  • Ábel Hegedüs
    "BPEL Verification: The Back-annotation Problem"
    Proceedings of the 17th PhD Mini-Symposium. Budapest, Hungary, 2010.02.01-2010.02.01. Budapest: pp. 30-31. Paper 7. (ISBN:978-963-420-994-2) PDF

• 2009

  • Ábel Hegedüs
    "A model transformation-based approach for the Dependability analysis of UML-based system designs with maintenance"
    Technical Report, 2009, University of Firenze PDF

Thesis

• Ábel Hegedüs
  "A framework for the Dependability analysis of UML-based system designs with maintenance"
  BME, 2009. PDF

Other documents

• Ábel Hegedüs, Ráth István, and Dániel Varró
  "Back-annotation framework for Simulation Traces of Discrete Event-based Languages"
  BME, Tech. Rep., April 2010. PDF (Draft)

Publikációk (Publications in Hungarian)

• Hegedüs Ábel
  "BPEL2.0 munkafolyamatok formális verifikációja"
  Tavaszi Szél Konferencia. Szeged, Magyarország, 2009.05.21-2009.05.24. Szeged: pp. 20-26. Paper 2. PDF
• Bende Tibor és Hegedüs Ábel
  "BPEL 2.0 alapú munkafolyamatok kooperációjának forális verifikációja"
  BME-VIK TDK Konferencia, Budapest, 2008. november PDF