Követés
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
3162007
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
3072002
Designing the Automatic Transformation of Visual Language
D Varró, A Varró, Gergely Pataricza
Science of Computer Programming 44 (2), 205-227, 2002
2512002
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
2282003
Model transformation by example
D Varró
International Conference on Model Driven Engineering Languages and Systems …, 2006
2082006
Generic and meta-transformations for model transformation engineering
D Varró, A Pataricza
International Conference on the Unified Modeling Language, 290-304, 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), 187-210, 2003
1922003
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
1862006
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
1812013
Termination criteria for model transformation
H Ehrig, K Ehrig, J Lara, G Taentzer, D Varró, S Varró-Gyapay
International Conference on Fundamental Approaches to Software Engineering …, 2005
1792005
Model transformation by graph transformation: A comparative study
G Taentzer, K Ehrig, E Guerra, J Lara, L Lengyel, T Levendovszky, ...
1762005
Automated formal verification of visual modeling languages by model checking
D Varró
Software & Systems Modeling 3 (2), 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
1682015
A formal semantics of UML statecharts by model transition systems
D Varró
International Conference on Graph Transformation, 378-392, 2002
1682002
Model checking graph transformations: A comparison of two approaches
A Rensink, Á Schmidt, D Varró
International Conference on Graph Transformation, 226-241, 2004
1582004
Benchmarking for graph transformation
G Varró, A Schurr, D Varró
2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2005
1332005
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
1312010
Automated formal verification of model transformations
D Varró, A Pataricza
TUM, 63, 2003
1202003
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
1192016
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
1192006
CheckVML: A tool for model checking visual modeling languages
A Schmidt, D Varró
International Conference on the Unified Modeling Language, 92-95, 2003
1192003
A model-driven framework for guided design space exploration
Á Hegedüs, Á Horváth, D Varró
Automated Software Engineering 22 (3), 399-436, 2015
1182015
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
118*2011
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
1142008
Termination analysis of model transformations by Petri nets
D Varró, S Varró–Gyapay, H Ehrig, U Prange, G Taentzer
Graph Transformations, 260-274, 2006
1132006
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
1082019
Model transformation by example using inductive logic programming
Z Balogh, D Varró
Software & Systems Modeling 8 (3), 347-364, 2009
1052009
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
1042006
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
982011
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
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
852015
Change-driven model transformations
G Bergmann, I Ráth, G Varró, D Varró
Software & Systems Modeling 11 (3), 431-461, 2012
832012
Using graph transformation for practical model-driven software engineering
L Grunske, L Geiger, A Zündorf, NV Eetvelde, PV Gorp, D Varro
Model-driven Software Development, 91-117, 2005
822005
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
792008
Model transformation by graph transformation: A comparative study
K Ehrig, E Guerra, J De Lara, L Lengyel, T Levendovszky, U Prange, ...
MTiP, 2005
772005
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
762008
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
722014
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
702011
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
692007
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
652011
Graph transformation with time: Causality and logical clocks
S Gyapay, R Heckel, D Varró
International Conference on Graph Transformation, 120-134, 2002
64*2002
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
632018
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
622014
Towards symbolic analysis of visual modeling languages
D Varró
Electronic Notes in Theoretical Computer Science 72 (3), 51-64, 2003
622003
Automated model transformations for the analysis of IT systems
D Varró
Budapesti Műszaki és Gazdaságtudományi Egyetem, 2003
572003
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
542010
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
542007
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
492018
Change-driven model transformations
I Ráth, G Varró, D Varró
International Conference on Model Driven Engineering Languages and Systems …, 2009
482009
Towards testing the implementation of graph transformations
A Darabos, A Pataricza, D Varró
Electronic Notes in Theoretical Computer Science 211, 75-85, 2008
472008
Generic search plans for matching advanced graph patterns
Á Horváth, G Varró, D Varró
Electronic Communications of the EASST 6, 2007
472007
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
452010
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
442017
Incremental graph pattern matching: Data structures and initial experiments
G Varró, D Varró, A Schürr
Electronic Communications of the EASST 4, 2006
432006
Graph transformation with incremental updates
G Varró, D Varró
Electronic Notes in Theoretical Computer Science 109, 71-83, 2004
432004
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
412018
Implementing a graph transformation engine in relational databases
G Varró, K Friedl, D Varró
Software & Systems Modeling 5 (3), 313-341, 2006
412006
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
402017
Automated model merge by design space exploration
C Debreceni, I Ráth, D Varró, XD Carlos, X Mendialdua, S Trujillo
International Conference on Fundamental Approaches to Software Engineering …, 2016
392016
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
382016
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
372009
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
372002
Automated program generation for and by model transformation systems
D Varró, D Varr
Applied Graph Transformation (AGT’02), 161-174, 2002
372002
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
352014
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
352010
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 (3), 211-230, 2010
35*2010
Dynamic constraint satisfaction problems over models
Á Horváth, D Varró
Software & Systems Modeling 11 (3), 385-408, 2012
342012
Parallelization of graph transformation based on incremental pattern matching
G Bergmann, I Ráth, D Varró
Electronic Communications of the EASST 18, 2009
342009
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
342008
Applications of graph transformations with industrial relevance
D Varró, M Asztalos, D Bisztray, A Boronat, DH Dang, R Geiß, J Greenyer, ...
Transformation of UML Models to CSP: A Case Study for Graph Transformation …, 2008
342008
Recursive graph pattern matching
G Varró, A Horváth, D Varró
International Symposium on Applications of Graph Transformations with …, 2007
332007
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
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
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, 285-312, 2018
292018
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
292014
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
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
UML action semantics for model transformation systems
D Varró, A Pataricza
Periodica Polytechnica Electrical Engineering (Archives) 47 (3-4), 167-186, 2003
292003
Graph constraint evaluation over partial models by constraint rewriting
O Semeráth, D Varró
International Conference on Theory and Practice of Model Transformations …, 2017
282017
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
282016
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
282010
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
Lessons learned from building model-driven development tools
RF Paige, D Varró
Software & Systems Modeling 11 (4), 527-539, 2012
262012
Dynamic backward slicing of model transformations
A Horv
2012 IEEE Fifth International Conference on Software Testing, Verification …, 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
Opportunities in intelligent modeling assistance
G Mussbacher, B Combemale, J Kienzle, S Abrahão, H Ali, N Bencomo, ...
Software and Systems Modeling 19 (5), 1045-1053, 2020
252020
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools.
O Semeráth, D Varró
FASE 18, 227-245, 2018
252018
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
252015
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
An Eclipse-based framework for AIS service configurations
A Kövi, D Varró
Service Availability (ISAS 2007), 110-126, 2007
252007
Towards formal verification of model transformations
D Varró
242002
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
232019
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ó
2018 IEEE/ACM 40th International Conference on Software Engineering …, 2018
232018
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
232015
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
232007
Graph transformation in relational databases
G Varró, K Friedl, D Varró
Electronic Notes in Theoretical Computer Science 127 (1), 167-180, 2005
232005
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
222015
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
212012
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
202016
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–100