Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. - Gabriele Taentzer; Enrico Biermann; Dénes Bisztray; Bernd Bohnet; Iovka Boneva; Artur Boronat; Leif Geiger; Rubino Geiß; Ákos Horváth 001; Ole Kniemeyer; Tom Mens; Benjamin Ness; et al. (AGTIVE, 2007)

Recursive Graph Pattern Matching. - Gergely Varró; Ákos Horváth 001; Dániel Varró (AGTIVE, 2007)

Generic Search Plans for Matching Advanced Graph Patterns. - Ákos Horváth 001; Gergely Varró; Dániel Varró (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. - Gábor Bergmann; Ákos Horváth 001; István Ráth; Dániel Varró (ICGT, 2008)

Towards a Two Layered Verification Approach for Compiled Graph Transformation. - Ákos Horváth 001 (ICGT, 2008)

Tool Support for Engineering Certifiable Software. - László Gönczy; István Majzik; Ákos Horváth 001; Dániel Varró; András Balogh; Zoltán Micskei; András Pataricza (SafeCert@ETAPS, 2008)

Efficient Model Transformations by Combining Pattern Matching Strategies. - Gábor Bergmann; Ákos Horváth 001; István Ráth; Dániel Varró (ICMT@TOOLS, 2009)

CSP(M): Constraint Satisfaction Problem over Models. - Ákos Horváth 001; Dániel Varró (MoDELS, 2009)

Workflow-Driven Tool Integration Using Model Transformations. - András Balogh; Gábor Bergmann; György Csertán; László Gönczy; Ákos Horváth 001; István Majzik; András Pataricza; Balázs Polgár; István Ráth; Dániel Varró; Gergely Varró (Graph Transformations and Model-Driven Engineering, 2010)

Incremental Evaluation of Model Queries over EMF Models. - Gábor Bergmann; Ákos Horváth 001; István Ráth; Dániel Varró; András Balogh; Zoltán Balogh 003; András Ökrös (MoDELS (1), 2010)

Towards Guided Trajectory Exploration of Graph Transformation Systems. - Ábel Hegedüs; Ákos Horváth 001; Dániel Varró (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Visualization of Traceability Models with Domain-specific Layouting. - Ábel Hegedüs; Zoltán Ujhelyi; István Ráth; Ákos Horváth 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Experimental assessment of combining pattern matching strategies with VIATRA2. - Ákos Horváth 001; Gábor Bergmann; István Ráth; Dániel Varró (Int. J. Softw. Tools Technol. Transf., 2010)

Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery. - Gábor Bergmann; Ákos Horváth 001; István Ráth; Dániel Varró (ECMFA, 2011)

Parallel Saturation Based Model Checking. - András Vörös 001; Tamás Szabó; Attila Jámbor; Dániel Darvas; Ákos Horváth 001; Tamás Bartha (ISPDC, 2011)

Implementing efficient model validation in EMF tools. - Gábor Bergmann; Ábel Hegedüs; Ákos Horváth 001; István Ráth; Zoltán Ujhelyi; Dániel Varró (ASE, 2011)

A model-driven framework for guided design space exploration. - Ábel Hegedüs; Ákos Horváth 001; István Ráth; Dániel Varró (ASE, 2011)

Towards dynamic backward slicing of model transformations. - Zoltán Ujhelyi; Ákos Horváth 001; Dániel Varró (ASE, 2011)

Quick fix generation for DSMLs. - Ábel Hegedüs; Ákos Horváth 001; István Ráth; Moisés Castelo Branco; Dániel Varró (VL/HCC, 2011)

Static Type Checking of Model Transformation Programs. - Zoltán Ujhelyi; Ákos Horváth 001; Dániel Varró (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Applying Incremental Graph Transformation to Existing Models in Relational Databases. - Gábor Bergmann; Dóra Horváth; Ákos Horváth 001 (ICGT, 2012)

Dynamic Backward Slicing of Model Transformations. - Zoltán Ujhelyi; Ákos Horváth 001; Dániel Varró (ICST, 2012)

Query-Driven Soft Interconnection of EMF Models. - Ábel Hegedüs; Ákos Horváth 001; István Ráth; Dániel Varró (MoDELS, 2012)

Ontology driven design of EMF metamodels and well-formedness constraints. - Benedek Izsó; Zoltán Szatmári; Gábor Bergmann; Ákos Horváth 001; István Ráth; Dániel Varró (OCL@MoDELS, 2012)

Integrating Efficient Model Queries in State-of-the-Art EMF Tools. - Gábor Bergmann; Ábel Hegedüs; Ákos Horváth 001; István Ráth; Zoltán Ujhelyi; Dániel Varró (TOOLS (50), 2012)

Dynamic constraint satisfaction problems over models. - Ákos Horváth 001; Dániel Varró (Softw. Syst. Model., 2012)

Towards precise metrics for predicting graph query performance. - Benedek Izsó; Zoltán Szatmári; Gábor Bergmann; Ákos Horváth 001; István Ráth (ASE, 2013)

Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. - Oszkár Semeráth; Ákos Horváth 001; Dániel Varró (MoDELS, 2013)

PN2SC Case Study: An EMF-IncQuery solution. - Benedek Izsó; Ábel Hegedüs; Gábor Bergmann; Ákos Horváth 001; István Ráth (TTC, 2013)

Keresés alapú módszerek a modellvezérelt fejlesztésben - Ákos Horváth 001 (2013)

Anti-pattern detection with model queries: A comparison of approaches. - Zoltán Ujhelyi; Ákos Horváth 001; Dániel Varró; Norbert Istvan Csiszár; Gábor Szoke; László Vidács; Rudolf Ferenc (CSMR-WCRE, 2014)

Multi-objective optimization in rule-based design space exploration. - Hani Abdeen; Dániel Varró; Houari A. Sahraoui; András Szabolcs Nagy; Csaba Debreceni; Ábel Hegedüs; Ákos Horváth 001 (ASE, 2014)

Query-driven incremental synchronization of view models. - Csaba Debreceni; Ákos Horváth 001; Ábel Hegedüs; Zoltán Ujhelyi; István Ráth; Dániel Varró (VAO@STAF, 2014)

Local Search-Based Pattern Matching Features in EMF-IncQuery. - Márton Búr; Zoltán Ujhelyi; Ákos Horváth 001; Dániel Varró (ICGT, 2015)

Viatra 3: A Reactive Model Transformation Platform. - Gábor Bergmann; István Dávid; Ábel Hegedüs; Ákos Horváth 001; István Ráth; Zoltán Ujhelyi; Dániel Varró (ICMT, 2015)

Optimization of Incremental Queries in the Cloud. - Jozsef Makai; Gábor Szárnyas; István Ráth; Ákos Horváth 001; Dániel Varró (CloudMDE@MoDELS, 2015)

A model-driven framework for guided design space exploration. - Ábel Hegedüs; Ákos Horváth 001; Dániel Varró (Autom. Softw. Eng., 2015)

Performance comparison of query-based techniques for anti-pattern detection. - Zoltán Ujhelyi; Gábor Szoke; Ákos Horváth 001; Norbert Istvan Csiszár; László Vidács; Dániel Varró; Rudolf Ferenc (Inf. Softw. Technol., 2015)

EMF-IncQuery: An integrated development environment for live model queries. - Zoltán Ujhelyi; Gábor Bergmann; Ábel Hegedüs; Ákos Horváth 001; Benedek Izsó; István Ráth; Zoltán Szatmári; Dániel Varró (Sci. Comput. Program., 2015)

Change Propagation of View Models by Logic Synthesis using SAT solvers. - Oszkár Semeráth; Csaba Debreceni; Ákos Horváth 001; Dániel Varró (Bx@ETAPS, 2016)

Incremental backward change propagation of view models by logic solvers. - Oszkár Semeráth; Csaba Debreceni; Ákos Horváth 001; Dániel Varró (MoDELS, 2016)

Query-driven soft traceability links for models. - Ábel Hegedüs; Ákos Horváth 001; István Ráth; Rodrigo Rizzi Starr; Dániel Varró (Softw. Syst. Model., 2016)

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. - Dániel Varró; Gábor Bergmann; Ábel Hegedüs; Ákos Horváth 001; István Ráth; Zoltán Ujhelyi (Softw. Syst. Model., 2016)

Formal validation of domain-specific languages with derived features and well-formedness constraints. - Oszkár Semeráth; Ágnes Barta; Ákos Horváth 001; Zoltán Szatmári; Dániel Varró (Softw. Syst. Model., 2017)

Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. - Dániel Varró; Oszkár Semeráth; Gábor Szárnyas; Ákos Horváth 001 (Graph Transformation, Specifications, and Nets, 2018)

Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories. - Ábel Hegedüs; Gábor Bergmann; Csaba Debreceni; Ákos Horváth 001; Péter Lunk; Ákos Menyhért; István Papp; Dániel Varró; Tomas Vileiniskis; István Ráth (MoDELS (Companion), 2018)

MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems. - András Vörös 001; Márton Búr; István Ráth; Ákos Horváth 001; Zoltán Micskei; László Balogh; Bálint Hegyi; Benedek Horváth; Zsolt Mázló; Dániel Varró (NFM, 2018)

Adaptive Step Size Control for Hybrid CT Simulation without Rollback. - Rebeka Farkas; Gábor Bergmann; Ákos Horváth 001 (Modelica, 2019)

Towards the next generation of reactive model transformations on low-code platforms: three research lines. - Benedek Horváth; Ákos Horváth 001; Manuel Wimmer (MoDELS (Companion), 2020)

From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain. - Géza Kulcsár; Kadosa Koltai; Szvetlin Tanyi; Bálint Péceli; Ákos Horváth 001; Zoltán Micskei; Pál Varga (NOMS, 2020)

Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns. - Qurat ul ain Ali; Benedek Horváth; Dimitris S. Kolovos; Konstantinos Barmpis; Ákos Horváth 001 (MoDELS (Companion), 2021)

Towards Continuous Consistency Checking of DevOps Artefacts. - Alessandro Colantoni; Benedek Horváth; Ákos Horváth 001; Luca Berardinelli; Manuel Wimmer (MoDELS (Companion), 2021)

Pragmatic verification and validation of industrial executable SysML models. - Benedek Horváth; Vince Molnár; Bence Graics; Ákos Hajdu; István Ráth; Ákos Horváth 001; Robert Karban; Gelys Trancho; Zoltán Micskei (Syst. Eng., 2023)

Towards a Configurable Verification and Validation Framework for Critical Cyber-Physical Systems. - Ármin Zavada; Géza Kulcsár; Vince Molnár; Ákos Horváth 001 (ICPS, 2025)