Publikációk

Export 43 results:
Rendezés: Szerző Cím Típus [ Év  (Desc)]
Szűrők: Szerző = Ákos Horváth  [Minden szűrő visszaállítása]
2014
2013
Izsó, B., Szatmári, Z., Bergmann, G., Horváth, Á., and Ráth, I., "Towards Precise Metrics for Predicting Graph Query Performance", 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), Silicon Valley, CA, USA, IEEE, pp. 412--431, 11/2013. Abstract

Acceptance Rate: 23%

Semeráth, O., Horváth, Á., and Varró, D., "Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver", ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems, Miami, US, Springer LNCS 8107, 09/2013. Abstract

ACM/IEEE Best Paper Award, Acceptance rate: 26%
Additional information available at http://incquery.net/content/validation-derived-features-and-well-formedn...

Izsó, B., Hegedüs, Á., Bergmann, G., Horváth, Á., and Ráth, I., "PN2SC Case Study: An EMF-IncQuery solution", TTC 2013: Sixth Transformation Tool Contest, 2013.
2012
Horváth, Á., and Varró, D., "Dynamic constraint satisfaction problems over models", Software and Systems Modeling, vol. 11, issue 3, pp. 385-408, 2012. Abstract
Bergmann, G., Horváth, D., and Horváth, Á., "Applying Incremental Graph Transformation to Existing Models in Relational Databases", Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 371-385, 09/2012.
Hegedüs, Á., Horváth, Á., Ráth, I., and Varró, D., "Query-driven soft interconnection of EMF models", ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems, Innsbruck, Austria, Springer, LNCS 7590, 09/2012. Abstract

Acceptance rate: 23%

Ujhelyi, Z., Horváth, Á., and Varró, D., "Dynamic Backward Slicing of Model Transformations", International Conference on Software Testing and Validation, 2012, Montreal, Canada, IEEE, 04/2012. Abstract

Acceptance rate: 27%

Izsó, B., Szatmári, Z., Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "Ontology driven design of EMF metamodels and well-formedness constraints", Proceedings of the 12th Workshop on OCL and Textual Modelling, New York, NY, USA, ACM, pp. 37–42, 2012.
2011
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery", Modelling Foundations and Applications, vol. 6698: Springer Berlin / Heidelberg, pp. 389-390, 2011. Abstract

10.1007/978-3-642-21470-7_32

Ujhelyi, Z., Horváth, Á., and Varró, D., "Static Type Checking of Model Transformation Programs", Electronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium, vol. 38, 09/2011. Abstract
Hegedüs, Á., Horváth, Á., and Varró, D., "Towards Guided Trajectory Exploration of Graph Transformation Systems", Electronic Communications of the EASST, Petri Nets and Graph Transformations 2010, vol. 40, 08/2011. Abstract
Hegedüs, Á., Ujhelyi, Z., Ráth, I., and Horváth, Á., "Visualization of Traceability Models with Domain-specific Layouting", Electronic Communications of the EASST, Proceedings of the Fourth International Workshop on Graph-Based Tools, vol. 32, 04/2011. Abstract
Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z., and Varró, D., "Implementing Efficient Model Validation in EMF Tools: Tool Demonstration", 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011. Abstract
Hegedüs, Á., Horváth, Á., Ráth, I., and Varró, D., "A Model-driven Framework for Guided Design Space Exploration", 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011. Abstract

ACM Distinguished Paper Award, Acceptance rate: 15%

Ujhelyi, Z., Horváth, Á., and Varró, D., "Towards Dynamic Backward Slicing of Model Transformations", 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, IEEE Computer Society, 11/2011.
Hegedüs, Á., Horváth, Á., Ráth, I., Branco, M C., and Varró, D., "Quick fix generation for DSMLs", IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011, Pittsbourgh, PA, USA, IEEE Computer Society, 09/2011. Abstract

Acceptance rate: 33%

Vörös, A., Bartha, T., Darvas, D., Szabó, T., Jámbor, A., and Horváth, Á., "Parallel Saturation Based Model Checking", The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), Cluj Napoca, IEEE Computer Society, 07/2011.
2010
Pataricza, A., Varró, D., Majzik, I., Polgár, B., Ráth, I., and Horváth, Á., "Workflow-Driven Tool Integration Using Model Transformation", Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday: Springer, pp. 224-248, 2010.
Horváth, Á., Bergmann, G., Ráth, I., and Varró, D., "Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2", International Journal on Software Tools for Technology Transfer, vol. 12, issue 3-4, pp. 211-230, 2010. Abstract
Bergmann, G., Horváth, Á., Ráth, I., Varró, D., Balogh, A., Balogh, Z., and Ökrös, A., "Incremental Evaluation of Model Queries over EMF Models", Model Driven Engineering Languages and Systems, 13th International Conference, MODELS'10: Springer, 10/2010.

Acceptance rate: 21%

Horváth, Á., Varró, D., and Schoofs, T., "Model-Driven Development of ARINC 653 Configuration Tables", 29th IEEE & AIAA Digital Avionics System Conference (DASC), Salt Lake City, US, IEEE, 10/2010. Abstract