Ákos Horváth
Orcid: 0000-0003-3545-3694Affiliations:
- Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
According to our database1,
Ákos Horváth
authored at least 53 papers
between 2007 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Syst. Eng., November, 2023
2021
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
2020
From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain.
Proceedings of the NOMS 2020, 2020
Towards the next generation of reactive model transformations on low-code platforms: three research lines.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
2019
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019
2018
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models.
Proceedings of the Graph Transformation, Specifications, and Nets, 2018
2017
Formal validation of domain-specific languages with derived features and well-formedness constraints.
Softw. Syst. Model., 2017
2016
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework.
Softw. Syst. Model., 2016
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016
Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016
2015
Sci. Comput. Program., 2015
Inf. Softw. Technol., 2015
Autom. Softw. Eng., 2015
Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015
Proceedings of the Theory and Practice of Model Transformations, 2015
Proceedings of the Graph Transformation - 8th International Conference, 2015
2014
Proceedings of the 2nd Workshop on View-Based, 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Proceedings of the 2014 Software Evolution Week, 2014
2013
Proceedings of the Proceedings Sixth Transformation Tool Contest, 2013
Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
2012
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012
Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Applying Incremental Graph Transformation to Existing Models in Relational Databases.
Proceedings of the Graph Transformations - 6th International Conference, 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011
2010
Int. J. Softw. Tools Technol. Transf., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010
2009
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Proceedings of the Theory and Practice of Model Transformations, 2009
2008
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008
Proceedings of the Graph Transformations, 4th International Conference, 2008
Proceedings of the Graph Transformations, 4th International Conference, 2008
2007
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007