Follow
Daniel Varro
Daniel Varro
Professor of Software Engineering at Linköping University / Adjunct Professor at McGill
Verified email at liu.se
Title
Cited by
Cited by
Year
The model transformation language of the VIATRA2 framework
D Varró, A Balogh
Science of computer programming 68 (3), 214-234, 2007
3152007
VIATRA-visual automated transformations for formal verification and validation of UML models
G Csertán, G Huszerl, I Majzik, Z Pap, A Pataricza, D Varró
Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE …, 2002
3112002
Designing the Automatic Transformation of Visual Language
D Varró, A Varró, Gergely Pataricza
Science of Computer Programming 44 (2), 205-227, 2002
2542002
Modeling and validation of service-oriented architectures: Application vs. style
L Baresi, R Heckel, S Thöne, D Varró
ACM SIGSOFT Software Engineering Notes 28 (5), 68-77, 2003
2292003
Model transformation by example
D Varró
Model Driven Engineering Languages and Systems: 9th International Conference …, 2006
2112006
Generic and meta-transformations for model transformation engineering
D Varró, A Pataricza
«UML» 2004—The Unified Modeling Language. Modeling Languages and …, 2004
2012004
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics).
D Varró, A Pataricza
Software & Systems Modeling 2 (3), 2003
1902003
Advanced model transformation language constructs in the VIATRA2 framework
A Balogh, D Varró
Proceedings of the 2006 ACM symposium on Applied computing, 1280-1287, 2006
1842006
A research roadmap towards achieving scalability in model driven engineering
DS Kolovos, LM Rose, N Matragkas, RF Paige, E Guerra, JS Cuadrado, ...
Proceedings of the Workshop on Scalability in Model Driven Engineering, 1-10, 2013
1822013
Model transformation by graph transformation: A comparative study
G Taentzer, K Ehrig, E Guerra, J Lara, L Lengyel, T Levendovszky, ...
1762005
Termination criteria for model transformation
H Ehrig, K Ehrig, J De Lara, G Taentzer, D Varró, S Varró-Gyapay
Fundamental Approaches to Software Engineering: 8th International Conference …, 2005
1762005
Automated formal verification of visual modeling languages by model checking
D Varró
Software & Systems Modeling 3, 85-113, 2004
1752004
EMF-IncQuery: An integrated development environment for live model queries
Z Ujhelyi, G Bergmann, Á Hegedüs, Á Horváth, B Izsó, I Ráth, Z Szatmári, ...
Science of Computer Programming 98, 80-99, 2015
1712015
A formal semantics of UML statecharts by model transition systems
D Varró
Graph Transformation: First International Conference, ICGT 2002 Barcelona …, 2002
1682002
Model checking graph transformations: A comparison of two approaches
A Rensink, Á Schmidt, D Varró
Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004
1572004
Benchmarking for graph transformation
G Varró, A Schurr, D Varró
2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2005
1352005
Incremental evaluation of model queries over EMF models
G Bergmann, Á Horváth, I Ráth, D Varró, A Balogh, Z Balogh, A Ökrös
Model Driven Engineering Languages and Systems: 13th International …, 2010
1312010
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
D Varró, G Bergmann, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi
Software & Systems Modeling 15, 609-629, 2016
1262016
A model-driven framework for guided design space exploration
Á Hegedüs, Á Horváth, D Varró
Automated Software Engineering 22, 399-436, 2015
1232015
A Model-driven Framework for Guided Design Space Exploration
A Hegedüs, A Horváth, I Ráth, D Varró
ASE 2011: 26th IEEE Int. Conf on Automated Software Engineering, 2011
123*2011
The system can't perform the operation now. Try again later.
Articles 1–20