Daniel Varro
Cím
Hivatkozott rá
Hivatkozott rá
Év
The model transformation language of the VIATRA2 framework
D Varró, A Balogh
Science of Computer Programming 68 (3), 214-234, 2007
2872007
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
2782002
Designing the Automatic Transformation of Visual Language
D Varró, A Varró, Gergely Pataricza
Science of Computer Programming 44 (2), 205-227, 2002
2362002
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
2132003
Model transformation by example
D Varró
International Conference on Model Driven Engineering Languages and Systems …, 2006
1912006
Generic and meta-transformations for model transformation engineering
D Varró, A Pataricza
International Conference on the Unified Modeling Language, 290-304, 2004
1872004
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
1812003
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
1702006
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
1612005
Automated formal verification of visual modeling languages by model checking
D Varró
Software & Systems Modeling 3 (2), 85-113, 2004
1592004
A formal semantics of UML statecharts by model transition systems
D Varró
International Conference on Graph Transformation, 378-392, 2002
1542002
Model transformation by graph transformation: A comparative study
G Taentzer, K Ehrig, E Guerra, J Lara, L Lengyel, T Levendovszky, ...
1522005
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
1462013
Model checking graph transformations: A comparison of two approaches
A Rensink, Á Schmidt, D Varró
International Conference on Graph Transformation, 226-241, 2004
1452004
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
1332015
Benchmarking for graph transformation
G Varró, A Schurr, D Varró
2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2005
1192005
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
1142010
CheckVML: A tool for model checking visual modeling languages
A Schmidt, D Varró
International Conference on the Unified Modeling Language, 92-95, 2003
1072003
Automated formal verification of model transformations
D Varró, A Pataricza
TUM, 63, 2003
1072003
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
1042008
Termination analysis of model transformations by Petri nets
D Varró, S Varró–Gyapay, H Ehrig, U Prange, G Taentzer
Graph Transformations, 260-274, 2006
1042006
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
1022006
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
1002006
A model-driven framework for guided design space exploration
Á Hegedüs, Á Horváth, D Varró
Automated Software Engineering 22 (3), 399-436, 2015
962015
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
96*2011
Model transformation by example using inductive logic programming
Z Balogh, D Varró
Software & Systems Modeling 8 (3), 347-364, 2009
922009
A graph query language for EMF models
G Bergmann, Z Ujhelyi, I Ráth, D Varró
International Conference on Theory and Practice of Model Transformations …, 2011
842011
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
822004
Change-driven model transformations
G Bergmann, I Ráth, G Varró, D Varró
Software & Systems Modeling 11 (3), 431-461, 2012
722012
Live model transformations driven by incremental pattern matching
I Ráth, G Bergmann, A Ökrös, D Varró
International Conference on Theory and Practice of Model Transformations …, 2008
722008
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
712005
Model transformation by graph transformation: A comparative study
K Ehrig, E Guerra, J De Lara, L Lengyel, T Levendovszky, U Prange, ...
MTiP, 2005
702005
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
692008
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
682007
Graph transformation with time: Causality and logical clocks
S Gyapay, R Heckel, D Varró
International Conference on Graph Transformation, 120-134, 2002
64*2002
Viatra 3: A Reactive Model Transformation Platform
G Bergmann, I Dávid, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró
International Conference on Theory and Practice of Model Transformations …, 2015
632015
Towards symbolic analysis of visual modeling languages
D Varró
Electronic Notes in Theoretical Computer Science 72 (3), 51-64, 2003
632003
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 (3), 609-629, 2016
612016
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 (3), 287-311, 2011
592011
Automated model transformations for the analysis of IT systems
D Varró
Budapesti Műszaki és Gazdaságtudományi Egyetem, 2003
542003
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
532014
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, ...
International Symposium on Applications of Graph Transformations with …, 2007
522007
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ó
International Conference on Model Driven Engineering Languages and Systems …, 2014
462014
Change-driven model transformations
I Ráth, G Varró, D Varró
International Conference on Model Driven Engineering Languages and Systems …, 2009
462009
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
452011
Back-annotation of simulation traces with change-driven model transformations
A Hegedus, G Bergmann, I Ráth, D Varró
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
442010
Towards testing the implementation of graph transformations
A Darabos, A Pataricza, D Varró
Electronic Notes in Theoretical Computer Science 211, 75-85, 2008
422008
Graph transformation with incremental updates
G Varró, D Varró
Electronic Notes in Theoretical Computer Science 109, 71-83, 2004
412004
Synchronization of abstract and concrete syntax in domain-specific modeling languages
I Ráth, A Ökrös, D Varró
Software & Systems Modeling 9 (4), 453-471, 2010
402010
Generic search plans for matching advanced graph patterns
Á Horváth, G Varró, D Varró
Electronic Communications of the EASST 6, 2007
402007
Incremental graph pattern matching: Data structures and initial experiments
G Varró, D Varró, A Schürr
Electronic Communications of the EASST 4, 2006
382006
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 (4), 1365-1393, 2018
372018
Automated program generation for and by model transformation systems
D Varró, D Varr
Applied Graph Transformation (AGT’02), 161-174, 2002
362002
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 (2), 357-392, 2017
342017
Teaching modeling: why, when, what?
J Bezivin, R France, M Gogolla, O Haugen, G Taentzer, D Varro
International Conference on Model Driven Engineering Languages and Systems …, 2009
342009
Implementing a graph transformation engine in relational databases
G Varró, K Friedl, D Varró
Software & Systems Modeling 5 (3), 313-341, 2006
342006
Metamodeling mathematics: A precise and visual framework for describing semantics domains of UML models
D Varró, A Pataricza
International Conference on the Unified Modeling Language, 18-33, 2002
342002
Experimental assessment of combining pattern matching strategies with VIATRA2
Á Horváth, G Bergmann, I Ráth, D Varró
International Journal on Software Tools for Technology Transfer 12 (3-4 …, 2010
33*2010
Survey and classification of model transformation tools
N Kahani, M Bagherzadeh, JR Cordy, J Dingel, D Varró
Software & Systems Modeling 18 (4), 2361-2397, 2019
322019
Recursive graph pattern matching
G Varró, A Horváth, D Varró
International Symposium on Applications of Graph Transformations with …, 2007
322007
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
312010
An open visualization framework for metamodel-based modeling languages
P Domokos, D Varró
Electronic Notes in Theoretical Computer Science 72 (2), 69-78, 2002
312002
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
302016
Parallelization of graph transformation based on incremental pattern matching
G Bergmann, I Ráth, D Varró
Electronic Communications of the EASST 18, 2009
292009
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, ...
International Symposium On Leveraging Applications of Formal Methods …, 2008
292008
Design-time simulation of domain-specific models by incremental pattern matching
I Ráth, D Vago, D Varró
2008 IEEE Symposium on Visual Languages and Human-Centric Computing, 219-222, 2008
282008
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
282003
UML action semantics for model transformation systems
D Varró, A Pataricza
Periodica Polytechnica Electrical Engineering 47 (3-4), 167-186, 2003
282003
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, 224-248, 2010
272010
Formal analysis of BPEL workflows with compensation by model checking
M Kovács, D Varró, L Gönczy
Computer Systems Science and Engineering 23 (5), 349-363, 2008
272008
Formális módszerek az informatikában
P András
Typotex, 2006
27*2006
Dynamic backward slicing of model transformations
A Horv
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
262012
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
262004
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
252014
IncQuery-D: incremental graph search in the cloud.
B Izsó, G Szárnyas, I Ráth, D Varró
BigMDE@ STAF, 4, 2013
252013
Derived features for EMF by integrating advanced model queries
I Ráth, Á Hegedüs, D Varró
European Conference on Modelling Foundations and Applications, 102-117, 2012
252012
Dynamic constraint satisfaction problems over models
Á Horváth, D Varró
Software & Systems Modeling 11 (3), 385-408, 2012
252012
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
242016
Streaming model transformations by complex event processing
I Dávid, I Ráth, D Varró
International Conference on Model Driven Engineering Languages and Systems …, 2014
242014
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
242006
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
232016
UML extensions for service-oriented systems
H Foster, L Gönczy, N Koch, P Mayer, C Montangero, D Varró
Rigorous software engineering for service-oriented systems, 35-60, 2011
22*2011
Graph transformation in relational databases
G Varró, K Friedl, D Varró
Electronic Notes in Theoretical Computer Science 127 (1), 167-180, 2005
222005
Towards formal verification of model transformations
D Varró
222002
Foundations for streaming model transformations by complex event processing
I Dávid, I Ráth, D Varró
Software & Systems Modeling 17 (1), 135-162, 2018
212018
Formalising openCypher graph queries in relational algebra
J Marton, G Szárnyas, D Varró
European Conference on Advances in Databases and Information Systems, 182-196, 2017
212017
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
212007
An Eclipse-based framework for AIS service configurations
A Kövi, D Varró
Service Availability (ISAS 2007), 110-126, 2007
212007
Challenges for advanced domain-specific modeling frameworks
I Ráth, D Varró
Proc. of Workshop on Domain-Specific Program Development (DSPD), ECOOP, 2006
202006
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
192015
Lessons learned from building model-driven development tools
RF Paige, D Varró
Software & Systems Modeling 11 (4), 527-539, 2012
192012
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
192012
Efficient model transformations by combining pattern matching strategies
G Bergmann, Á Horváth, I Ráth, D Varró
International Conference on Theory and Practice of Model Transformations, 20-34, 2009
192009
The TTC 2015 Train Benchmark Case for Incremental Model Validation.
G Szárnyas, O Semeráth, I Ráth, D Varró
TTC@ STAF, 129-141, 2015
182015
Anti-pattern detection with model queries: A comparison of approaches
Z Ujhelyi, Á Horváth, D Varró, NI Csiszár, G Szőke, L Vidács, R Ferenc
2014 Software Evolution Week-IEEE Conference on Software Maintenance …, 2014
182014
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
172018
Local Search-Based Pattern Matching Features in EMF-IncQuery
M Búr, Z Ujhelyi, Á Horváth, D Varró
International Conference on Graph Transformation, 275-282, 2015
172015
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, ...
172015
Model transformations for performability analysis of service configurations
L Gönczy, Z Déri, D Varró
International Conference on Model Driven Engineering Languages and Systems …, 2008
172008
Model-based deployment of web services to standards-compliant middleware
L Gönczy, Á János, D Varró
IADIS Press, 2006
172006
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–100