Travelled to:1 × Austria
1 × Belgium
1 × Canada
1 × Czech Republic
1 × France
1 × Norway
1 × Sweden
1 × Switzerland
2 × Germany
2 × Italy
2 × United Kingdom
4 × USA
Collaborated with:D.Varró I.Ráth G.Bergmann Z.Ujhelyi Á.Hegedüs G.Varró O.Semeráth ∅ C.Debreceni D.Horváth M.Búr B.Izsó Z.Szatmári H.Abdeen H.A.Sahraoui A.S.Nagy N.I.Csiszar G.Szoke L.Vidács R.Ferenc A.Balogh Z.Balogh A.Ökrös I.Dávid G.Täntzer E.Biermann D.Bisztray B.Bohnet I.Boneva A.Boronat L.Geiger R.Geiß O.Kniemeyer T.Mens B.Ness D.Plump T.Vajk
Talks about:model (16) queri (9) transform (8) graph (8) emf (7) pattern (6) increment (5) match (5) backward (3) toward (3)
Person: Ákos Horváth
DBLP: Horv=aacute=th:=Aacute=kos
Contributed to:
2015
2014
20142013
20132012
20122012
20122011
20112010
200920092008
2007
200720152016Wrote 23 papers:
- ICGT-2015-BurUHV #pattern matching #search-based
- Local Search-Based Pattern Matching Features in EMF-IncQuery (MB, ZU, ÁH, DV), pp. 275–282.
- ASE-2014-AbdeenVSNDHH #design #multi #optimisation #rule-based
- Multi-objective optimization in rule-based design space exploration (HA, DV, HAS, ASN, CD, ÁH, ÁH), pp. 289–300.
- CSMR-WCRE-2014-UjhelyiHVCSVF #comparison #detection #query
- Anti-pattern detection with model queries: A comparison of approaches (ZU, ÁH, DV, NIC, GS, LV, RF), pp. 293–302.
- ASE-2013-IzsoSBHR #graph #metric #performance #precise #predict #query #towards
- Towards precise metrics for predicting graph query performance (BI, ZS, GB, ÁH, IR), pp. 421–431.
- MoDELS-2013-SemerathHV #constraints #domain-specific language #graph #query #validation
- Validation of Derived Features and Well-Formedness Constraints in DSLs — By Mapping Graph Queries to an SMT-Solver (OS, ÁH, DV), pp. 538–554.
- ICGT-2012-BergmannHH #database #graph transformation #incremental #modelling #relational
- Applying Incremental Graph Transformation to Existing Models in Relational Databases (GB, DH, ÁH), pp. 371–385.
- ICST-2012-UjhelyiHV #model transformation #slicing
- Dynamic Backward Slicing of Model Transformations (ZU, ÁH, DV), pp. 1–10.
- MoDELS-2012-HegedusHRV #emf #modelling
- Query-Driven Soft Interconnection of EMF Models (ÁH, ÁH, IR, DV), pp. 134–150.
- TOOLS-EUROPE-2012-BergmannHHRUV #emf #performance #query #state of the art #tool support
- Integrating Efficient Model Queries in State-of-the-Art EMF Tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 1–8.
- ASE-2011-BergmannHHRUV #emf #implementation #performance #tool support #validation
- Implementing efficient model validation in EMF tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 580–583.
- ASE-2011-HegedusHRV #design #framework #modelling
- A model-driven framework for guided design space exploration (ÁH, ÁH, IR, DV), pp. 173–182.
- ASE-2011-UjhelyiHV #model transformation #slicing #towards
- Towards dynamic backward slicing of model transformations (ZU, ÁH, DV), pp. 404–407.
- ECMFA-2011-BergmannHRV #emf #evaluation #incremental #modelling #query #tutorial
- Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery (GB, ÁH, IR, DV), pp. 389–390.
- MoDELS-v1-2010-BergmannHRVBBO #emf #evaluation #incremental #modelling #query
- Incremental Evaluation of Model Queries over EMF Models (GB, ÁH, IR, DV, AB, ZB, AÖ), pp. 76–90.
- ICMT-2009-BergmannHRV #model transformation #pattern matching #performance
- Efficient Model Transformations by Combining Pattern Matching Strategies (GB, ÁH, IR, DV), pp. 20–34.
- MoDELS-2009-HorvathV #constraints #csp #modelling #problem
- CSP(M): Constraint Satisfaction Problem over Models (ÁH, DV), pp. 107–121.
- ICGT-2008-BergmannHRV #benchmark #evaluation #graph transformation #incremental #metric #pattern matching
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation (GB, ÁH, IR, DV), pp. 396–410.
- ICGT-2008-Horvath #approach #graph transformation #towards #verification
- Towards a Two Layered Verification Approach for Compiled Graph Transformation (ÁH), pp. 499–501.
- AGTIVE-2007-TaentzerBBBBBGGHKMNPV #case study #generative #graph transformation #tool support
- Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools (GT, EB, DB, BB, IB, AB, LG, RG, ÁH, OK, TM, BN, DP, TV), pp. 514–539.
- AGTIVE-2007-VarroHV #graph #pattern matching #recursion
- Recursive Graph Pattern Matching (GV, ÁH, DV), pp. 456–470.
- GT-VMT-2007-HorvathVV #graph
- Generic Search Plans for Matching Advanced Graph Patterns (ÁH, GV, DV).
- ICMT-2015-BergmannDHHRUV #framework #model transformation #platform
- Viatra 3: A Reactive Model Transformation Platform (GB, ID, ÁH, ÁH, IR, ZU, DV), pp. 101–110.
- MoDELS-2016-SemerathDHV #co-evolution #incremental #logic #modelling
- Incremental backward change propagation of view models by logic solvers (OS, CD, ÁH, DV), pp. 306–316.