Follow
Ákos Horváth
Title
Cited by
Cited by
Year
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
1672015
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
A model-driven framework for guided design space exploration
Á Hegedüs, Á Horváth, D Varró
Automated Software Engineering 22 (3), 399-436, 2015
1172015
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
1152016
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
832015
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
752008
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
692014
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
Generic search plans for matching advanced graph patterns
Á Horváth, G Varró, D Varró
Electronic Communications of the EASST 6, 2007
462007
Generation of Sierpinski triangles: A case study for graph transformation tools
G Taentzer, E Biermann, D Bisztray, B Bohnet, I Boneva, A Boronat, ...
International Symposium on Applications of Graph Transformations with …, 2007
452007
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
432017
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
Dynamic constraint satisfaction problems over models
Á Horváth, D Varró
Software & Systems Modeling 11 (3), 385-408, 2012
342012
Recursive graph pattern matching
G Varró, A Horváth, D Varró
International Symposium on Applications of Graph Transformations with …, 2007
322007
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
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, 224-248, 2010
272010
Dynamic backward slicing of model transformations
A Horv
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
252012
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
242015
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
Integrating efficient model queries in state-of-the-art EMF tools
G Bergmann, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró
International Conference on Modelling Techniques and Tools for Computer …, 2012
202012
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
192014
Efficient model transformations by combining pattern matching strategies
G Bergmann, A Horváth, I Ráth, D Varró
International Conference on Theory and Practice of Model Transformations, 20-34, 2009
182009
Query-driven soft traceability links for models
Á Hegedüs, Á Horváth, I Ráth, RR Starr, D Varró
Software & Systems Modeling 15 (3), 733-756, 2016
172016
Query-driven soft interconnection of EMF models
Á Hegedüs, Á Horváth, I Ráth, D Varró
International Conference on Model Driven Engineering Languages and Systems …, 2012
162012
CSP (M): Constraint satisfaction problem over models
Á Horváth, D Varró
International Conference on Model Driven Engineering Languages and Systems …, 2009
162009
Massif-the love child of Matlab Simulink and Eclipse
Á Horváth, I Ráth, RR Starr
EclipseCon NA, 2015
122015
Towards dynamic backward slicing of model transformations
Z Ujhelyi, Á Horváth, D Varró
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
122011
Parallel saturation based model checking
A Horv
2011 10th International Symposium on Parallel and Distributed Computing, 94-101, 2011
122011
Implementing efficient model validation in EMF tools
G Bergmann, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
112011
Hardware-software allocation specification of ima systems for early simulation
Á Horváth, Á Hegedüs, M Búr, D Varró, RR Starr, S Mirachi
2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 4D3-1-4D3-15, 2014
102014
Applying incremental graph transformation to existing models in relational databases
G Bergmann, D Horváth, Á Horváth
International Conference on Graph Transformation, 371-385, 2012
92012
Towards guided trajectory exploration of graph transformation systems
Á Hegedüs, Á Horváth, D Varró
Electronic Communications of the EASST 40, 2011
92011
A generic static analysis framework for model transformation programs
Z Ujhelyi, A Horváth, D Varró
Budapest Univ. of Technology and Economics, Tech. Rep, 246, 2009
82009
Validation of derived features and well-formedness constraints in dsls
O Semeráth, Á Horváth, D Varró
International Conference on Model Driven Engineering Languages and Systems …, 2013
72013
Tool support for engineering certifiable software
L Gönczy, I Majzik, A Horváth, D Varró, A Balogh, Z Micskei, A Pataricza
Electronic Notes in Theoretical Computer Science 238 (4), 79-85, 2009
72009
Incremental evaluation of model queries over emf models: A tutorial on emf-incquery
G Bergmann, Á Horváth, I Ráth, D Varró
European Conference on Modelling Foundations and Applications, 389-390, 2011
62011
Static type checking of model transformations by constraint satisfaction programming
Z Ujhelyi, A Horváth, D Varró
Technical report, Budapest University of Technology and Economics, 2009
52009
Experimental assessment of combining pattern matching strategies with VIATRA2
G Bergmann, A Horváth, I Ráth, D Varró
Journal of Software Tools in Technology Transfer, 2009
52009
Automatic generation of platform-specific transformation
Á Horváth, D Varró, G Varró
Info-Communications-Technology 61 (7), 40-45, 2006
52006
Search-based techniques in model-driven engineering
Á Horváth
Budapesti Műszaki és Gazdaságtudományi Egyetem, 2013
22013
Ontology driven design of EMF metamodels and well-formedness constraints
B Izsó, Z Szatmári, G Bergmann, Á Horváth, I Ráth, D Varró
Proceedings of the 12th Workshop on OCL and Textual Modelling, 37-42, 2012
22012
Static analysis of model transformations
Z Ujhelyi, D Varró
17th PhD Mini-Symposium, 26-27, 2010
22010
Towards a two layered verification approach for compiled graph transformation
A Horváth
International Conference on Graph Transformation, 499-501, 2008
22008
Automatic generation of platform specific model transformation
Á Horváth
Master’s thesis, Budapest University of Technology and Economics, Budapest, 2006
22006
Ecore to Genmodel case study solution using the Viatra2 framework
Á Hegedüs, Z Ujhelyi, G Bergmann, Á Horváth
Transformation Tool Contest 2010 1-2 July 2010, Malaga, Spain, 187, 2010
12010
BPMN to BPEL case study solution in VIATRA2
G Bergmann, A Horváth
GraBaTs, 2009
12009
Visualization of Traceability Models with Domain-specific Layouting
Á Hegedüs, Z Ujhelyi, I Ráth, Á Horváth
Electronic Communications of the EASST 32, 2011
2011
Graph Transformation-Doctoral Symposium
Z Ujhelyi, Á Horváth, D Varró
Electronic Communications of the EASST 10, 2010
2010
Recursive Graph Pattern Matching, Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12 …
G Varró, Á Horváth, D Varró
Springer-Verlag, Berlin, Heidelberg, 2008
2008
Automatic Generation of Compiled Model Transformations
Á Horváth
2006
Modelltranszfomrációk implementációjainak automatikus, transzformáció alapú generálása
Á Horváth
Erdélyi Múzeum-Egyesület, 2006
2006
Visualization of traceability models
Á Hegedüs, Z Ujhelyi, Á Horváth, I Ráth
Graph Transformation with Incremental Pattern Matching on a Relational Database
G Bergmann, D Horváth, Á Horváth
Generating the Sierpinski Triangles Using Viatra
Á Horváth, M Kovács
The system can't perform the operation now. Try again later.
Articles 1–55