default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDÁkos Horváth 0001
Person information
- affiliation: Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
- not to be confused with: Ákos Horváth 0004
Other persons with the same name
- Ákos Horváth 0002
![[0000-0002-5860-2368]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-5860-2368")
— University of Hamburg, Meteorological Institute, Germany (and 2 more) - Ákos Horváth 0003 — Hungarian Meteorological Service
- Ákos Horváth 0004 — Department of Telecommunications, Budapest University of Technology and Economics, Hungary
- Ákos Horváth 0005 — Innomed Medical Co., Budapest, Hungary
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j13]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): 693-714 (2023)- 2021
- [c39]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: 83-87 - [c38]Alessandro Colantoni, Benedek Horváth, Ákos Horváth, Luca Berardinelli, Manuel Wimmer:
Towards Continuous Consistency Checking of DevOps Artefacts. MoDELS (Companion) 2021: 449-453 - 2020
- [c37]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: 65:1-65:10 - [c36]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: 1-6
2010 – 2019
- 2019
- [c35]Rebeka Farkas, Gábor Bergmann, Ákos Horváth:
Adaptive Step Size Control for Hybrid CT Simulation without Rollback. Modelica 2019: 157:051 - 2018
- [c34]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: 285-312 - [c33]Á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: 27-31 - [c32]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: 460-467 - 2017
- [j12]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): 357-392 (2017) - 2016
- [j11]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): 609-629 (2016) - [j10]Á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): 733-756 (2016) - [c31]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: 40-44 - [c30]Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró:
Incremental backward change propagation of view models by logic solvers. MoDELS 2016: 306-316 - 2015
- [j9]Ábel Hegedüs, Ákos Horváth, Dániel Varró:
A model-driven framework for guided design space exploration. Autom. Softw. Eng. 22(3): 399-436 (2015) - [j8]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: 147-165 (2015) - [j7]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: 80-99 (2015) - [c29]Márton Búr, Zoltán Ujhelyi, Ákos Horváth, Dániel Varró:
Local Search-Based Pattern Matching Features in EMF-IncQuery. ICGT 2015: 275-282 - [c28]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: 101-110 - [c27]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: 1-6 - 2014
- [c26]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: 293-302 - [c25]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: 289-300 - [c24]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: 31-38 - 2013
- [b1]Ákos Horváth:
Keresés alapú módszerek a modellvezérelt fejlesztésben. Budapest University of Technology and Economics, Hungary, 2013 - [c23]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: 421-431 - [c22]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: 538-554 - [c21]Benedek Izsó, Ábel Hegedüs, Gábor Bergmann, Ákos Horváth, István Ráth:
PN2SC Case Study: An EMF-IncQuery solution. TTC 2013: 106-114 - 2012
- [j6]Ákos Horváth, Dániel Varró:
Dynamic constraint satisfaction problems over models. Softw. Syst. Model. 11(3): 385-408 (2012) - [c20]Gábor Bergmann, Dóra Horváth, Ákos Horváth:
Applying Incremental Graph Transformation to Existing Models in Relational Databases. ICGT 2012: 371-385 - [c19]Zoltán Ujhelyi, Ákos Horváth, Dániel Varró:
Dynamic Backward Slicing of Model Transformations. ICST 2012: 1-10 - [c18]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: 37-42 - [c17]Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró:
Query-Driven Soft Interconnection of EMF Models. MoDELS 2012: 134-150 - [c16]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: 1-8 - 2011
- [j5]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) - [c15]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: 389-390 - [c14]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: 94-101 - [c13]Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró:
A model-driven framework for guided design space exploration. ASE 2011: 173-182 - [c12]Zoltán Ujhelyi, Ákos Horváth, Dániel Varró:
Towards dynamic backward slicing of model transformations. ASE 2011: 404-407 - [c11]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: 580-583 - [c10]Á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: 17-24 - 2010
- [j4]Á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) - [j3]Á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) - [j2]Á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): 211-230 (2010) - [c9]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: 224-248 - [c8]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: 76-90
2000 – 2009
- 2009
- [c7]Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró:
Efficient Model Transformations by Combining Pattern Matching Strategies. ICMT@TOOLS 2009: 20-34 - [c6]Ákos Horváth, Dániel Varró:
CSP(M): Constraint Satisfaction Problem over Models. MoDELS 2009: 107-121 - 2008
- [c5]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: 396-410 - [c4]Ákos Horváth:
Towards a Two Layered Verification Approach for Compiled Graph Transformation. ICGT 2008: 499-501 - [c3]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. SafeCert@ETAPS 2008: 79-85 - 2007
- [j1]Á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) - [c2]Gergely Varró, Ákos Horváth, Dániel Varró:
Recursive Graph Pattern Matching. AGTIVE 2007: 456-470 - [c1]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: 514-539
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 12:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
