sign in · help · news · about ·

BibSonomy :: author :: Varró ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(80)

<< < 1 | 2 | 3 > >>

Implementing efficient model validation in EMF tools.
Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, and Dániel Varró ASE, page 580-583. IEEE, (2011)
to dblp by dblp on Dec 14, 2011, 12:00 AM
URL | BibTeX
Towards dynamic backward slicing of model transformations.
Zoltán Ujhelyi, Ákos Horváth, and Dániel Varró ASE, page 404-407. IEEE, (2011)
to dblp by dblp on Dec 14, 2011, 12:00 AM
URL | BibTeX
A model-driven framework for guided design space exploration.
Ábel Hegedüs, Ákos Horváth, István Ráth, and Dániel Varró ASE, page 173-182. IEEE, (2011)
to dblp by dblp on Dec 14, 2011, 12:00 AM
URL | BibTeX
UML Extensions for Service-Oriented Systems.
Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, and Dániel Varró Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)
to dblp by dblp on Nov 16, 2011, 12:00 AM
URL | BibTeX
Methodologies for Model-Driven Development and Deployment: An Overview.
László Gönczy, Ábel Hegedüs, and Dániel Varró Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)
to dblp by dblp on Nov 16, 2011, 12:00 AM
URL | BibTeX
Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis.
Gábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, and Dániel Varró Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)
to dblp by dblp on Nov 16, 2011, 12:00 AM
URL | BibTeX
Quick fix generation for DSMLs.
Ábel Hegedüs, Ákos Horváth, István Ráth, Moisés Castelo Branco, and Dániel Varró VL/HCC, page 17-24. IEEE, (2011)
to dblp by dblp on Nov 16, 2011, 12:00 AM
URL | BibTeX
Static Type Checking of Model Transformation Programs.
Zoltán Ujhelyi, Ákos Horváth, and Dániel Varró ECEASST (2011)
to dblp by dblp on Oct 17, 2011, 12:00 AM
URL | BibTeX
SeCMER: A Tool to Gain Control of Security Requirements Evolution.
Gábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, and Yijun Yu ServiceWave, volume 6994 of Lecture Notes in Computer Science, page 321-322. Springer, (2011)
to dblp by dblp on Sep 30, 2011, 12:00 AM
URL | BibTeX
A Tool for Managing Evolving Security Requirements.
Gábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, and Yijun Yu CAiSE Forum, volume 734 of CEUR Workshop Proceedings, page 49-56. CEUR-WS.org, (2011)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
Graph Transformation with Time.
Szilvia Gyapay, Dániel Varró, and Reiko Heckel Fundam. Inform. 58(1):1-22 (2003)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Towards Guided Trajectory Exploration of Graph Transformation Systems.
Ábel Hegedüs, Ákos Horváth, and Dániel Varró ECEASST (2010)
to dblp by dblp on Aug 23, 2011, 12:00 AM
URL | BibTeX
Model Checking Graph Transformations: A Comparison of Two Approaches.
Arend Rensink, Ákos Schmidt, and Dániel Varró ICGT, volume 3256 of Lecture Notes in Computer Science, page 226-241. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Generic and Meta-transformations for Model Transformation Engineering.
Dániel Varró, and András Pataricza UML, volume 3273 of Lecture Notes in Computer Science, page 290-304. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Workflow-Driven Tool Integration Using Model Transformations.
András Balogh, Gábor Bergmann, György Csertán, László Gönczy, Ákos Horváth, István Majzik, András Pataricza, Balázs Polgár, István Ráth, Dániel Varró, and Gergely Varró Graph Transformations and Model-Driven Engineering, volume 5765 of Lecture Notes in Computer Science, page 224-248. Springer, (2010)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
Termination Criteria for Model Transformation.
Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, and Szilvia Varró-Gyapay FASE, volume 3442 of Lecture Notes in Computer Science, page 49-63. Springer, (2005)
to dblp by dblp and 1 other user on Aug 8, 2011, 12:00 AM
URL | BibTeX
A Graph Query Language for EMF Models.
Gábor Bergmann, Zoltán Ujhelyi, István Ráth, and Dániel Varró ICMT, volume 6707 of Lecture Notes in Computer Science, page 167-182. Springer, (2011)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
CheckVML: A Tool for Model Checking Visual Modeling Languages.
Ákos Schmidt, and Dániel Varró UML, volume 2863 of Lecture Notes in Computer Science, page 92-95. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Non-functional properties in the model-driven development of service-oriented systems.
Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, and Dániel Varró Software and System Modeling 10(3):287-311 (2011)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
A Formal Semantics of UML Statecharts by Model Transition Systems.
Dániel Varró ICGT, volume 2505 of Lecture Notes in Computer Science, page 378-392. Springer, (2002)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper