Daniel Varro

Cited by

	All	Since 2016
Citations	7786	2465
h-index	47	26
i10-index	132	74

560

280

140

420

2002200320042005200620072008200920102011201220132014201520162017201820192020202147 105 156 230 367 339 494 445 522 489 510 453 508 544 537 415 494 477 431 99

Public access

View all

35 articles

2 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
András PatariczaBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Ákos HorváthResearch Associate at the Fault Tolerant Research Group, Budapest University of Technology andVerified email at mit.bme.hu
Gábor BergmannBudapesti Műszaki és Gazdaságtudományi EgyetemVerified email at mit.bme.hu
Ábel HegedüsIncQuery LabsVerified email at incquerylabs.com
Zoltán UjhelyiResearch Expert, IncQuery Labs LtdVerified email at incquerylabs.com
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk
Oszkár SemeráthBudapest University of Technology and Economics, Department of Measurement and Information SystemsVerified email at mit.bme.hu
Laszlo GonczyResearch Associate, Department of Measurement and Information Systems, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
András Baloghthyssenkrupp Presta Hungary Kft.Verified email at baboprint.hu
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
Gábor SzárnyasCWI Amsterdam, Linked Data Benchmark CouncilVerified email at ldbcouncil.org
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
Andy SchürrTU DarmstadtVerified email at es.tu-darmstadt.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
Pieter Van GorpEindhoven University of TechnologyVerified email at pietervangorp.com

Daniel Varro

Professor

Verified email at mcgill.ca - Homepage

Software Engineering Cyber-Physical Systems Model-Based Systems Engineering Model Transformations


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	302	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	290	2002
Designing the Automatic Transformation of Visual Language D Varró, A Varró, Gergely Pataricza Science of Computer Programming 44 (2), 205-227, 2002	243	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	225	2003
Model transformation by example D Varró International Conference on Model Driven Engineering Languages and Systems …, 2006	198	2006
Generic and meta-transformations for model transformation engineering D Varró, A Pataricza International Conference on the Unified Modeling Language, 290-304, 2004	190	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), 187-210, 2003	189	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	177	2006
Termination criteria for model transformation H Ehrig, K Ehrig, J De Lara, G Taentzer, D Varró, S Varró-Gyapay International Conference on Fundamental Approaches to Software Engineering …, 2005	174	2005
Automated formal verification of visual modeling languages by model checking D Varró Software & Systems Modeling 3 (2), 85-113, 2004	165	2004
Model transformation by graph transformation: A comparative study G Taentzer, K Ehrig, E Guerra, J Lara, L Lengyel, T Levendovszky, ...	161	2005
A formal semantics of UML statecharts by model transition systems D Varró International Conference on Graph Transformation, 378-392, 2002	160	2002
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	159	2013
Model checking graph transformations: A comparison of two approaches A Rensink, Á Schmidt, D Varró International Conference on Graph Transformation, 226-241, 2004	153	2004
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	152	2015
Benchmarking for graph transformation G Varró, A Schurr, D Varró 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2005	125	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 International Conference on Model Driven Engineering Languages and Systems …, 2010	123	2010
CheckVML: A tool for model checking visual modeling languages A Schmidt, D Varró International Conference on the Unified Modeling Language, 92-95, 2003	116	2003
Automated formal verification of model transformations D Varró, A Pataricza TUM, 63, 2003	115	2003
Applying a model transformation taxonomy to graph transformation technology T Mens, P Van Gorp, D Varró, G Karsai Electronic Notes in Theoretical Computer Science 152, 143-159, 2006	111	2006

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

Upload PDF

Follow this author

Cited by

Co-authors