Daniel Varro

Cited by

	All	Since 2018
Citations	8667	2283
h-index	48	25
i10-index	140	66

580

290

145

435

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202346 106 149 232 367 325 539 464 529 493 526 452 499 560 571 402 498 481 428 456 357 58

Public access

View all

37 articles

4 articles

available

not available

Based on funding mandates

Co-authors

István RáthResearch associate, Budapest University of Technology and Economics; CEO, IncQuery Labs LtdVerified email at mit.bme.hu
Gábor BergmannBudapesti Műszaki és Gazdaságtudományi EgyetemVerified email at mit.bme.hu
Ákos HorváthCTO @IncQuery Labs, Honorary Associate Professor at the Fault Tolerant Research Group, BudapestVerified email at incquerylabs.com
András PatariczaBudapest University of Technology and EconomicsVerified email at vik.bme.hu
Ábel HegedüsIncQuery LabsVerified email at incquerylabs.com
Zoltán UjhelyiResearch Expert, IncQuery Labs cPlcVerified email at incquerylabs.com
Oszkár SemeráthBudapest University of Technology and Economics, Department of Measurement and Information SystemsVerified email at mit.bme.hu
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk
László GönczyAssociate Professor, Dept. of Measurement and Information Systems, BMEVerified email at mit.bme.hu
András Baloghthyssenkrupp Presta Hungary Kft.Verified email at baboprint.hu
Gábor SzárnyasCWI Amsterdam, Linked Data Benchmark CouncilVerified email at ldbcouncil.org
Csaba DebreceniBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Juan de LaraProfessor, Computer Science Department, Universidad Autónoma de MadridVerified email at uam.es
Luciano BaresiDEIB - Politecnico di MilanoVerified email at polimi.it
Gabriele TaentzerPhilipps-Universität MarburgVerified email at mathematik.uni-marburg.de
Márton BúrMcGill UniversityVerified email at mail.mcgill.ca
András VörösFault Tolerant Systems Research Group, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Andy SchürrTU DarmstadtVerified email at es.tu-darmstadt.de
Esther GuerraAssociate Professor of Computer Science, Universidad Autónoma de MadridVerified email at uam.es

Daniel Varro

Professor of Software Engineering at Linköping University / Adjunct Professor at McGill

Verified email at liu.se

Software Engineering Cyber-Physical Systems Model-Based Systems Engineering Model Transformations Certification of Machine L


Title Sort by citations Sort by year Sort by 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	318	2007
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	313	2002
Designing the Automatic Transformation of Visual Language D Varró, A Varró, Gergely Pataricza Science of Computer Programming 44 (2), 205-227, 2002	255	2002
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	229	2003
Model transformation by example D Varró Model Driven Engineering Languages and Systems: 9th International Conference …, 2006	211	2006
Generic and meta-transformations for model transformation engineering D Varró, A Pataricza «UML» 2004—The Unified Modeling Language. Modeling Languages and …, 2004	201	2004
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	191	2003
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	184	2006
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	183	2013
Automated formal verification of visual modeling languages by model checking D Varró Software & Systems Modeling 3, 85-113, 2004	178	2004
Model transformation by graph transformation: A comparative study G Taentzer, K Ehrig, E Guerra, J Lara, L Lengyel, T Levendovszky, ...	176	2005
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	176	2005
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	172	2015
A formal semantics of UML statecharts by model transition systems D Varró Graph Transformation: First International Conference, ICGT 2002 Barcelona …, 2002	168	2002
Model checking graph transformations: A comparison of two approaches A Rensink, Á Schmidt, D Varró Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004	157	2004
Benchmarking for graph transformation G Varró, A Schurr, D Varró 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2005	135	2005
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	132	2010
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	126	2016
A model-driven framework for guided design space exploration Á Hegedüs, Á Horváth, D Varró Automated Software Engineering 22, 399-436, 2015	124	2015
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	124*	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors