עקוב אחר
Ákos Horváth
Ákos Horváth
CTO @IncQuery Labs, Honorary Associate Professor at the Fault Tolerant Research Group, Budapest
כתובת אימייל מאומתת בדומיין incquerylabs.com - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
1862015
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‏
1652016
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‏
1472010
A model-driven framework for guided design space exploration‏
Á Hegedüs, Á Horváth, D Varró‏
Automated Software Engineering 22, 399-436, 2015‏
1372015
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‏
1102014
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‏
982015
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‏
802011
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‏
802008
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‏
542017
Generation of Sierpinski triangles: A case study for graph transformation tools‏
G Taentzer, E Biermann, D Bisztray, B Bohnet, I Boneva, A Boronat, ...‏
Applications of Graph Transformations with Industrial Relevance: Third …, 2008‏
512008
Generic search plans for matching advanced graph patterns‏
Á Horváth, G Varró, D Varró‏
Electronic Communications of the EASST 6, 2007‏
482007
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‏
432014
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‏
432010
Dynamic constraint satisfaction problems over models‏
Á Horváth, D Varró‏
Software & Systems Modeling 11 (3), 385-408, 2012‏
362012
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‏
322010
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
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‏
302010
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‏
282015
Dynamic backward slicing of model transformations‏
A Horv‏
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012‏
282012
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
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20