Követés
Ákos Horváth
Ákos Horváth
Research Associate at the Fault Tolerant Research Group, Budapest University of Technology and
E-mail megerősítve itt: mit.bme.hu - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
1712015
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
1312010
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
1262016
A model-driven framework for guided design space exploration
Á Hegedüs, Á Horváth, D Varró
Automated Software Engineering 22, 399-436, 2015
1232015
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
842015
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
792014
A benchmark evaluation of incremental pattern matching in graph transformation
G Bergmann, Á Horváth, I Ráth, D Varró
Graph Transformations: 4th International Conference, ICGT 2008, Leicester …, 2008
762008
Quick fix generation for DSMLs
A Hegedus, A Horváth, I Ráth, MC Branco, D Varro
Visual Languages and Human-Centric Computing (VL/HCC), 2011 IEEE Symposium …, 2011
692011
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.
G Taentzer, E Biermann, D Bisztray, B Bohnet, I Boneva, A Boronat, ...
AGTIVE 7, 514-539, 2007
482007
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
472017
Generic search plans for matching advanced graph patterns
Á Horváth, G Varró, D Varró
Electronic Communications of the EASST 6, 2007
472007
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
382014
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
382010
Dynamic constraint satisfaction problems over models
Á Horváth, D Varró
Software & Systems Modeling 11 (3), 385-408, 2012
362012
Recursive graph pattern matching
G Varró, A Horváth, D Varró
Applications of Graph Transformations with Industrial Relevance, 456-470, 2008
332008
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
302010
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 5765, 224-248, 2010
292010
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
272015
Dynamic backward slicing of model transformations
A Horv
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
272012
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20