Filters: Author is Ákos Horváth [Clear All Filters]
"Dynamic constraint satisfaction problems over models", Software and Systems Modeling, vol. 11, issue 3, pp. 385-408, 2012.
"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.
"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.
Acceptance rate: 23%
"Integrating Efficient Model Queries in State-of-the-art EMF Tools", TOOLS Europe 2012, Prague, Springer, 05/2012.
Acceptance rate: 31%
"Dynamic Backward Slicing of Model Transformations", International Conference on Software Testing and Validation, 2012, Montreal, Canada, IEEE, 04/2012.
Acceptance rate: 27%
"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.
"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.
"Static Type Checking of Model Transformation Programs", Electronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium, vol. 38, 09/2011.
"Towards Guided Trajectory Exploration of Graph Transformation Systems", Electronic Communications of the EASST, Petri Nets and Graph Transformations 2010, vol. 40, 08/2011.
"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.
"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.
"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.
ACM Distinguished Paper Award, Acceptance rate: 15%
"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.
"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.
Acceptance rate: 33%
"Parallel Saturation Based Model Checking", The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), Cluj Napoca, IEEE Computer Society, 07/2011.
"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.
"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.
"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%
"Model-Driven Development of ARINC 653 Configuration Tables", 29th IEEE & AIAA Digital Avionics System Conference (DASC), Salt Lake City, US, IEEE, 10/2010.
"Ecore to Genmodel case study solution using the Viatra2 framework", Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010.
"BPMN to BPEL case study solution in VIATRA2", 5th International Workshop on Graph-Based Tools, , Zürich, Switzerland, Springer, 07/2009.
"CSP(M): Constraint Satisfaction Problem over Models", Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, vol. 5795: Springer, pp. 107-121, 2009.
Acceptance rate: 18%
"Efficient Model Transformations by Combining Pattern Matching Strategies", Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, vol. 5563: Springer, pp. 20-34, 2009.
Acceptance rate: 22%
"Graph Transformation Based Constraint Solving", Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 12–15, 2009.
Generic Static Analysis of Transformation Programs, , no. TUB-TR-09-EE19: Budapest University of Technology and Economics, 06/2009.