Ákos Horváth

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 14

Top Topics

Pattern Detection

Design Space Exploration

Top Venues

MoDELS (Companion)

Softw. Syst. Model.

Publications

Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei
Pragmatic verification and validation of industrial executable SysML models. Syst. Eng. 26 (6) (2023)
Alessandro Colantoni, Benedek Horváth, Ákos Horváth, Luca Berardinelli, Manuel Wimmer
Towards Continuous Consistency Checking of DevOps Artefacts. MoDELS (Companion) (2021)
Qurat ul ain Ali, Benedek Horváth, Dimitris S. Kolovos, Konstantinos Barmpis, Ákos Horváth
Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns. MoDELS (Companion) (2021)
Géza Kulcsár, Kadosa Koltai, Szvetlin Tanyi, Bálint Péceli, Ákos Horváth, Zoltán Micskei, Pál Varga
From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain. NOMS (2020)
Benedek Horváth, Ákos Horváth, Manuel Wimmer
Towards the next generation of reactive model transformations on low-code platforms: three research lines. MoDELS (Companion) (2020)
Rebeka Farkas, Gábor Bergmann, Ákos Horváth
Adaptive Step Size Control for Hybrid CT Simulation without Rollback. Modelica (2019)
András Vörös, Márton Búr, István Ráth, Ákos Horváth, Zoltán Micskei, László Balogh, Bálint Hegyi, Benedek Horváth, Zsolt Mázló, Dániel Varró
MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems. NFM (2018)
Ábel Hegedüs, Gábor Bergmann, Csaba Debreceni, Ákos Horváth, Péter Lunk, Ákos Menyhért, István Papp, Dániel Varró, Tomas Vileiniskis, István Ráth
Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories. MoDELS (Companion) (2018)
Dániel Varró, Oszkár Semeráth, Gábor Szárnyas, Ákos Horváth
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. Graph Transformation, Specifications, and Nets (2018)
Oszkár Semeráth, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró
Formal validation of domain-specific languages with derived features and well-formedness constraints. Softw. Syst. Model. 16 (2) (2017)
Dániel Varró, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw. Syst. Model. 15 (3) (2016)
Ábel Hegedüs, Ákos Horváth, István Ráth, Rodrigo Rizzi Starr, Dániel Varró
Query-driven soft traceability links for models. Softw. Syst. Model. 15 (3) (2016)
Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró
Change Propagation of View Models by Logic Synthesis using SAT solvers. Bx@ETAPS (2016)
Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró
Incremental backward change propagation of view models by logic solvers. MoDELS (2016)
Ábel Hegedüs, Ákos Horváth, Dániel Varró
A model-driven framework for guided design space exploration. Autom. Softw. Eng. 22 (3) (2015)
Zoltán Ujhelyi, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, Benedek Izsó, István Ráth, Zoltán Szatmári, Dániel Varró
EMF-IncQuery: An integrated development environment for live model queries. Sci. Comput. Program. 98 (2015)
Márton Búr, Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
Local Search-Based Pattern Matching Features in EMF-IncQuery. ICGT (2015)
Zoltán Ujhelyi, Gábor Szoke, Ákos Horváth, Norbert Istvan Csiszár, László Vidács, Dániel Varró, Rudolf Ferenc
Performance comparison of query-based techniques for anti-pattern detection. Inf. Softw. Technol. 65 (2015)
Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró
Viatra 3: A Reactive Model Transformation Platform. ICMT (2015)
Jozsef Makai, Gábor Szárnyas, István Ráth, Ákos Horváth, Dániel Varró
Optimization of Incremental Queries in the Cloud. CloudMDE@MoDELS (2015)
Hani Abdeen, Dániel Varró, Houari A. Sahraoui, András Szabolcs Nagy, Csaba Debreceni, Ábel Hegedüs, Ákos Horváth
Multi-objective optimization in rule-based design space exploration. ASE (2014)
Csaba Debreceni, Ákos Horváth, Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, Dániel Varró
Query-driven incremental synchronization of view models. VAO@STAF (2014)
Zoltán Ujhelyi, Ákos Horváth, Dániel Varró, Norbert Istvan Csiszár, Gábor Szoke, László Vidács, Rudolf Ferenc
Anti-pattern detection with model queries: A comparison of approaches. CSMR-WCRE (2014)
Benedek Izsó, Ábel Hegedüs, Gábor Bergmann, Ákos Horváth, István Ráth
PN2SC Case Study: An EMF-IncQuery solution. TTC (2013)
Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, István Ráth
Towards precise metrics for predicting graph query performance. ASE (2013)
Oszkár Semeráth, Ákos Horváth, Dániel Varró
Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. MoDELS (2013)
Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
Dynamic Backward Slicing of Model Transformations. ICST (2012)
Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró
Query-Driven Soft Interconnection of EMF Models. MoDELS (2012)
Ákos Horváth, Dániel Varró
Dynamic constraint satisfaction problems over models. Softw. Syst. Model. 11 (3) (2012)
Gábor Bergmann, Dóra Horváth, Ákos Horváth
Applying Incremental Graph Transformation to Existing Models in Relational Databases. ICGT (2012)
Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró
Integrating Efficient Model Queries in State-of-the-Art EMF Tools. TOOLS (50) (2012)
Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
Ontology driven design of EMF metamodels and well-formedness constraints. OCL@MoDELS (2012)
Ábel Hegedüs, Ákos Horváth, István Ráth, Moisés Castelo Branco, Dániel Varró
Quick fix generation for DSMLs. VL/HCC (2011)
Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
Towards dynamic backward slicing of model transformations. ASE (2011)
Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró
A model-driven framework for guided design space exploration. ASE (2011)
Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
Static Type Checking of Model Transformation Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38 (2011)
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery. ECMFA (2011)
Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró
Implementing efficient model validation in EMF tools. ASE (2011)
András Vörös, Tamás Szabó, Attila Jámbor, Dániel Darvas, Ákos Horváth, Tamás Bartha
Parallel Saturation Based Model Checking. ISPDC (2011)
András Balogh, Gábor Bergmann, György Csertán, László Gönczy, Ákos Horváth, István Majzik, András Pataricza, Balázs Polgár, István Ráth, Dániel Varró, Gergely Varró
Workflow-Driven Tool Integration Using Model Transformations. Graph Transformations and Model-Driven Engineering (2010)
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró, András Balogh, Zoltán Balogh, András Ökrös
Incremental Evaluation of Model Queries over EMF Models. MoDELS (1) (2010)
Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, Ákos Horváth
Visualization of Traceability Models with Domain-specific Layouting. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Ákos Horváth, Gábor Bergmann, István Ráth, Dániel Varró
Experimental assessment of combining pattern matching strategies with VIATRA2. Int. J. Softw. Tools Technol. Transf. 12 (3-4) (2010)
Ábel Hegedüs, Ákos Horváth, Dániel Varró
Towards Guided Trajectory Exploration of Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010)
Ákos Horváth, Dániel Varró
CSP(M): Constraint Satisfaction Problem over Models. MoDELS (2009)
László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza
Tool Support for Engineering Certifiable Software. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
Efficient Model Transformations by Combining Pattern Matching Strategies. ICMT@TOOLS (2009)
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. ICGT (2008)
Ákos Horváth
Towards a Two Layered Verification Approach for Compiled Graph Transformation. ICGT (2008)
Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horváth, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. AGTIVE (2007)
Gergely Varró, Ákos Horváth, Dániel Varró
Recursive Graph Pattern Matching. AGTIVE (2007)
Ákos Horváth, Gergely Varró, Dániel Varró
Generic Search Plans for Matching Advanced Graph Patterns. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007)