kos Horvth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
6
Active years
2003–2021
Best venue rank
A
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | MODELS | Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns. | Qurat ul ain Ali, Benedek Horvth, Dimitris S. Kolovos, Konstantinos Barmpis, kos Horvth |
| 2021 | MODELS | Towards Continuous Consistency Checking of DevOps Artefacts. | Alessandro Colantoni, Benedek Horvth, kos Horvth, Luca Berardinelli, Manuel Wimmer |
| 2020 | MODELS | Towards the next generation of reactive model transformations on low-code platforms: three research lines. | Benedek Horvth, kos Horvth, Manuel Wimmer |
| 2020 | NOMS | From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain. | Gza Kulcsr, Kadosa Koltai, Szvetlin Tanyi, Blint Pceli, kos Horvth, Zoltn Micskei, Pl Varga |
| 2018 | MODELS | Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories. | bel Hegeds, Gbor Bergmann, Csaba Debreceni, kos Horvth, Pter Lunk, kos Menyhrt, Istvn Papp, Dniel Varr, Tomas Vileiniskis, Istvn Rth |
| 2016 | MODELS | Incremental backward change propagation of view models by logic solvers. | Oszkr Semerth, Csaba Debreceni, kos Horvth, Dniel Varr |
| 2015 | MODELS | Optimization of Incremental Queries in the Cloud. | Jozsef Makai, Gbor Szrnyas, Istvn Rth, kos Horvth, Dniel Varr |
| 2013 | MODELS | Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. | Oszkr Semerth, kos Horvth, Dniel Varr |
| 2012 | ICST | Dynamic Backward Slicing of Model Transformations. | Zoltn Ujhelyi, kos Horvth, Dniel Varr |
| 2012 | MODELS | Query-Driven Soft Interconnection of EMF Models. | bel Hegeds, kos Horvth, Istvn Rth, Dniel Varr |
| 2012 | MODELS | Ontology driven design of EMF metamodels and well-formedness constraints. | Benedek Izs, Zoltn Szatmri, Gbor Bergmann, kos Horvth, Istvn Rth, Dniel Varr |
| 2011 | ISPDC | Parallel Saturation Based Model Checking. | Andrs Vrs, Tams Szab, Attila Jmbor, Dniel Darvas, kos Horvth, Tams Bartha |
| 2010 | MODELS | Incremental Evaluation of Model Queries over EMF Models. | Gbor Bergmann, kos Horvth, Istvn Rth, Dniel Varr, Andrs Balogh, Zoltn Balogh, Andrs krs |
| 2009 | IGARSS | Evaluation of Passive Satellite Remote sensing of Cloud Liquid Water. | kos Horvth, Seethala Chellappan |
| 2009 | MODELS | CSP(M): Constraint Satisfaction Problem over Models. | kos Horvth, Dniel Varr |
| 2003 | EuroPar | Demonstration of P-GRADE Job-Mode for the Grid. | Pter Kacsuk, Rbert Lovas, Jzsef Kovcs, Ferenc Szalai, Gabor Gombs, Norbert Podhorszki, kos Horvth, Andrs Hornyi, Imre Szebernyi, Thierry Delaitre, Gbor Terstynszky, Agathocles Gourgoulis |