Ákos Horváth

54 papers A* 5A 5B 7C 1Journal 13Unranked 22

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