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
3322007
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
3222002
Designing the Automatic Transformation of Visual Language
D Varró, A Varró, Gergely Pataricza
Science of Computer Programming 44 (2), 205-227, 2002
2512002
Model transformation by example
D Varró
Model Driven Engineering Languages and Systems: 9th International Conference …, 2006
2262006
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
2252003
Generic and meta-transformations for model transformation engineering
D Varró, A Pataricza
International Conference on the Unified Modeling Language, 290-304, 2004
2112004
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
1962013
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, 187-210, 2003
1962003
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
1872006
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
1852005
Automated formal verification of visual modeling languages by model checking
D Varró
Software & Systems Modeling 3, 85-113, 2004
1812004
Model transformation by graph transformation: A comparative study
G Taentzer, K Ehrig, E Guerra, J De Lara, L Lengyel, T Levendovszky, ...
Proc. Workshop Model Transformation in Practice, Montego Bay, Jamaica, 17, 2005
1772005
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
1762015
A formal semantics of UML statecharts by model transition systems
D Varró
International Conference on Graph Transformation, 378-392, 2002
1692002
Model checking graph transformations: A comparison of two approaches
A Rensink, Á Schmidt, D Varró
Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004
1642004
Survey and classification of model transformation tools
N Kahani, M Bagherzadeh, JR Cordy, J Dingel, D Varró
Software & Systems Modeling 18, 2361-2397, 2019
1552019
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
1432016
Benchmarking for graph transformation
G Varró, A Schurr, D Varró
2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2005
1372005
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
1362010
A model-driven framework for guided design space exploration
Á Hegedüs, Á Horváth, D Varró
Automated Software Engineering 22, 399-436, 2015
1352015
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
135*2011
Termination analysis of model transformations by Petri nets
D Varró, S Varró–Gyapay, H Ehrig, U Prange, G Taentzer
Graph Transformations, 260-274, 2006
1242006
Automated formal verification of model transformations
D Varró, A Pataricza
TUM, 63, 2003
1232003
CheckVML: A tool for model checking visual modeling languages
A Schmidt, D Varró
«UML» 2003-The Unified Modeling Language. Modeling Languages and …, 2003
1202003
Incremental pattern matching in the VIATRA model transformation system
G Bergmann, A Ökrös, I Ráth, D Varró, G Varró
Proceedings of the third international workshop on Graph and model …, 2008
1172008
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
1172006
Model transformation by example using inductive logic programming
Z Balogh, D Varró
Software & Systems Modeling 8 (3), 347-364, 2009
1102009
Adaptive graph pattern matching for model transformations using model-sensitive search plans
G Varró, K Friedl, D Varró
Electronic Notes in Theoretical Computer Science 152, 191-205, 2006
1062006
A graph query language for EMF models
G Bergmann, Z Ujhelyi, I Ráth, D Varró
Theory and Practice of Model Transformations: 4th International Conference …, 2011
1042011
Change-driven model transformations: Change (in) the rule to rule the change
G Bergmann, I Ráth, G Varró, D Varró
Software & Systems Modeling 11, 431-461, 2012
992012
Viatra 3: A Reactive Model Transformation Platform
G Bergmann, I Dávid, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró
Theory and Practice of Model Transformations: 8th International Conference …, 2015
952015
Multi-objective optimization in rule-based design space exploration
H Abdeen, D Varró, H Sahraoui, AS Nagy, C Debreceni, Á Hegedüs, ...
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
952014
Style-based refinement of dynamic software architectures
L Baresi, R Heckel, S Thone, D Varró
Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture …, 2004
912004
Using graph transformation for practical model-driven software engineering
L Grunske, L Geiger, A Zündorf, N Van Eetvelde, P Van Gorp, D Varro
Model-driven Software Development, 91-117, 2005
832005
Live model transformations driven by incremental pattern matching
I Ráth, G Bergmann, A Ökrös, D Varró
Theory and Practice of Model Transformations: First International Conference …, 2008
822008
Quick fix generation for DSMLs
Á Hegedüs, Á Horváth, I Ráth, MC Branco, D Varró
2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2011
792011
A benchmark evaluation of incremental pattern matching in graph transformation
G Bergmann, Á Horváth, I Ráth, D Varró
International Conference on Graph Transformation, 396-410, 2008
782008
Model transformation by graph transformation: A comparative study
K Ehrig, E Guerra, J De Lara, L Lengyel, T Levendovszky, U Prange, ...
MTiP, 2005
782005
The Train Benchmark: cross-technology performance evaluation of continuous model queries
G Szárnyas, B Izsó, I Ráth, D Varró
Software & Systems Modeling 17, 1365-1393, 2018
772018
Automating model transformation by example using inductive logic programming
D Varró, Z Balogh
Proceedings of the 2007 ACM symposium on Applied computing, 978-984, 2007
712007
IncQuery-D: A distributed incremental model query framework in the cloud
G Szárnyas, B Izsó, I Ráth, D Harmath, G Bergmann, D Varró
Model-Driven Engineering Languages and Systems: 17th International …, 2014
672014
Graph transformation with time: Causality and logical clocks
S Gyapay, R Heckel, D Varró
Graph Transformation: First International Conference, ICGT 2002 Barcelona …, 2002
67*2002
Non-functional properties in the model-driven development of service-oriented systems
S Gilmore, L Gönczy, N Koch, P Mayer, M Tribastone, D Varró
Software & Systems Modeling 10, 287-311, 2011
662011
Towards symbolic analysis of visual modeling languages
D Varró
Electronic Notes in Theoretical Computer Science 72 (3), 51-64, 2003
642003
A graph solver for the automated generation of consistent domain-specific models
O Semeráth, AS Nagy, D Varró
Proceedings of the 40th international conference on software engineering …, 2018
632018
Opportunities in intelligent modeling assistance
G Mussbacher, B Combemale, J Kienzle, S Abrahăo, H Ali, N Bencomo, ...
Software and Systems Modeling 19, 1045-1053, 2020
602020
Back-annotation of simulation traces with change-driven model transformations
Á Hegedüs, G Bergmann, I Ráth, D Varró
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
582010
Foundations for streaming model transformations by complex event processing
I Dávid, I Ráth, D Varró
Software & Systems Modeling 17, 135-162, 2018
552018
Automated model transformations for the analysis of IT systems
D Varró
Budapesti Műszaki és Gazdaságtudományi Egyetem, 2003
552003
Transformation of UML models to CSP: A case study for graph transformation tools
D Varró, M Asztalos, D Bisztray, A Boronat, DH Dang, R Geiß, J Greenyer, ...
Applications of Graph Transformations with Industrial Relevance: Third …, 2008
542008
Formal validation of domain-specific languages with derived features and well-formedness constraints
O Semeráth, Á Barta, Á Horváth, Z Szatmári, D Varró
Software & Systems Modeling 16, 357-392, 2017
532017
Synchronization of abstract and concrete syntax in domain-specific modeling languages: By mapping models and live transformations
I Ráth, A Ökrös, D Varró
Software & Systems Modeling 9, 453-471, 2010
522010
Formalising openCypher graph queries in relational algebra
J Marton, G Szárnyas, D Varró
Advances in Databases and Information Systems: 21st European Conference …, 2017
492017
Change-Driven Model Transformations: Derivation and Processing of Change Histories
I Ráth, G Varró, D Varró
Model Driven Engineering Languages and Systems: 12th International …, 2009
492009
Towards testing the implementation of graph transformations
A Darabos, A Pataricza, D Varró
Electronic Notes in Theoretical Computer Science 211, 75-85, 2008
482008
Generic search plans for matching advanced graph patterns
Á Horváth, G Varró, D Varró
Electronic Communications of the EASST 6, 2007
482007
Graph transformation with incremental updates
G Varró, D Varró
Electronic Notes in Theoretical Computer Science 109, 71-83, 2004
432004
Incremental graph pattern matching: Data structures and initial experiments
G Varró, D Varró, A Schürr
Electronic Communications of the EASST 4, 2006
422006
Automated model merge by design space exploration
C Debreceni, I Ráth, D Varró, X De Carlos, X Mendialdua, S Trujillo
International Conference on Fundamental Approaches to Software Engineering …, 2016
412016
Model-driven development of ARINC 653 configuration tables
Á Horváth, D Varró
29th Digital Avionics Systems Conference, 6. E. 3-1-6. E. 3-15, 2010
412010
Implementing a graph transformation engine in relational databases
G Varró, K Friedl, D Varró
Software & Systems Modeling 5 (3), 313-341, 2006
412006
Iterative and incremental model generation by logic solvers
O Semeráth, A Vörös, D Varró
International Conference on Fundamental Approaches to Software Engineering …, 2016
402016
Query-driven incremental synchronization of view models
C Debreceni, Á Horváth, Á Hegedüs, Z Ujhelyi, I Ráth, D Varró
Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and …, 2014
402014
Teaching modeling: why, when, what?
J Bezivin, R France, M Gogolla, O Haugen, G Taentzer, D Varro
Models in Software Engineering: Workshops and Symposia at MODELS 2009 …, 2010
402010
Dynamic constraint satisfaction problems over models
Á Horváth, D Varró
Software & Systems Modeling 11 (3), 385-408, 2012
382012
Towards the automated generation of consistent, diverse, scalable and realistic graph models
D Varró, O Semeráth, G Szárnyas, Á Horváth
Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig …, 2018
372018
Experimental assessment of combining pattern matching strategies with VIATRA2
A Horváth, G Bergmann, I Ráth, D Varró
International Journal on Software Tools for Technology Transfer 12, 211-230, 2010
37*2010
Automated program generation for and by model transformation systems
D Varró, D Varr
Applied Graph Transformation (AGT’02), 161-174, 2002
372002
Towards system-level testing with coverage guarantees for autonomous vehicles
I Majzik, O Semeráth, C Hajdu, K Marussy, Z Szatmári, Z Micskei, A Vörös, ...
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
362019
The Gamma statechart composition framework: design, verification and code generation for component-based reactive systems
V Molnár, B Graics, A Vörös, I Majzik, D Varró
Proceedings of the 40th International Conference on Software Engineering …, 2018
362018
Parallelization of graph transformation based on incremental pattern matching
G Bergmann, I Ráth, D Varró
Electronic Communications of the EASST 18, 2009
362009
Metamodeling mathematics: A precise and visual framework for describing semantics domains of UML models
D Varró, A Pataricza
≪ UML≫ 2002—The Unified Modeling Language: Model Engineering, Concepts …, 2002
362002
Design-time simulation of domain-specific models by incremental pattern matching
I Ráth, D Vágó, D Varró
2008 IEEE Symposium on Visual Languages and Human-Centric Computing, 219-222, 2008
352008
Graph constraint evaluation over partial models by constraint rewriting
O Semeráth, D Varró
Theory and Practice of Model Transformation: 10th International Conference …, 2017
322017
Recursive Graph Pattern Matching: (With Magic Sets and Global Search Plans)
G Varró, A Horváth, D Varró
International Symposium on Applications of Graph Transformations with …, 2007
322007
Query-based access control for secure collaborative modeling using bidirectional transformations
G Bergmann, C Debreceni, I Ráth, D Varró
Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016
312016
Modeling and analysis of architectural styles based on graph transformation
L Baresi, R Heckel, S Thöne, D Varró
Proc. 6th ICSE Workshop on Component-Based Software Engineering (CBSE6 …, 2003
312003
Streaming model transformations by complex event processing
I Dávid, I Ráth, D Varró
Model-Driven Engineering Languages and Systems: 17th International …, 2014
302014
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
M Wirsing, M Hölzl, L Acciai, F Banti, A Clark, A Fantechi, S Gilmore, ...
Leveraging Applications of Formal Methods, Verification and Validation …, 2008
302008
UML action semantics for model transformation systems
D Varró, A Pataricza
Periodica Polytechnica Electrical Engineering (Archives) 47 (3-4), 167-186, 2003
302003
An open visualization framework for metamodel-based modeling languages
P Domokos, D Varró
Electronic Notes in Theoretical Computer Science 72 (2), 69-78, 2002
302002
Performance comparison of query-based techniques for anti-pattern detection
Z Ujhelyi, G Szőke, Á Horváth, NI Csiszár, L Vidács, D Varró, R Ferenc
Information and Software Technology 65, 147-165, 2015
292015
Workflow-driven tool integration using model transformations
A Balogh, G Bergmann, G Csertán, L Gönczy, Á Horváth, I Majzik, ...
Graph Transformations and Model-Driven Engineering: Essays Dedicated to …, 2010
292010
Joint optimization and reachability analysis in graph transformation systems with time
S Gyapay, A Schmidt, D Varró
Electronic Notes in Theoretical Computer Science 109, 137-147, 2004
292004
Dynamic backward slicing of model transformations
A Horv
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
282012
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools.
O Semeráth, D Varró
FASE 18, 227-245, 2018
272018
Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics
G Szárnyas, Z Kővári, Á Salánki, D Varró
Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016
272016
Formal analysis of BPEL workflows with compensation by model checking
M Kovács, D Varró, L Gonczy
Computer Systems Science and Engineering 23 (5), 349, 2008
272008
IncQuery-D: incremental graph search in the cloud.
B Izsó, G Szárnyas, I Ráth, D Varró
BigMDE@ STAF, 4, 2013
262013
Lessons learned from building model-driven development tools
RF Paige, D Varró
Software & Systems Modeling 11, 527-539, 2012
262012
Derived features for EMF by integrating advanced model queries
I Ráth, Á Hegedüs, D Varró
Modelling Foundations and Applications: 8th European Conference, ECMFA 2012 …, 2012
262012
Modeling of Reliable Messaging in Service Oriented Architectures 3
L Gönczy, D Varró
International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006), 35, 2006
262006
Towards formal verification of model transformations
D Varró
262002
Distributed graph queries for runtime monitoring of cyber-physical systems
M Búr, G Szilágyi, A Vörös, D Varró
Fundamental Approaches to Software Engineering: 21st International …, 2018
252018
An Eclipse-based framework for AIS service configurations
A Kövi, D Varró
Service Availability (ISAS 2007), 110-126, 2007
252007
Mixed-semantics composition of statecharts for the component-based design of reactive systems
B Graics, V Molnár, A Vörös, I Majzik, D Varró
Software and Systems Modeling 19, 1483-1517, 2020
242020
Modeling and verification of reliable messaging by graph transformation systems
L Gönczy, M Kovács, D Varró
Electronic Notes in Theoretical Computer Science 175 (4), 37-50, 2007
242007
MONDO: scalable modelling and model management on the cloud
D Kolovos, L Rose, R Paige, E Guerra, J Cuadrado, J De Lara, I Ráth, ...
STAF2015 Project Showcase, 2015
232015
Local Search-Based Pattern Matching Features in EMF-IncQuery
M Búr, Z Ujhelyi, Á Horváth, D Varró
Graph Transformation: 8th International Conference, ICGT 2015, Held as Part …, 2015
232015
Incremental pattern matching for the efficient computation of transitive closure
G Bergmann, I Ráth, T Szabó, P Torrini, D Varró
International Conference on Graph Transformation, 386-400, 2012
232012
The system can't perform the operation now. Try again later.
Articles 1–100