Benedek Horvth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
1
Active years
2014–2021
Best venue rank
A
Where they publish
Papers
5 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 | MODELS | Model checking as a service: towards pragmatic hidden formal methods. | Benedek Horvth, Bence Graics, kos Hajdu, Zoltn Micskei, Vince Molnr, Istvn Rth, Luigi Andolfato, Ivan Gomes, Robert Karban |
| 2014 | MODELS | On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. | Zoltn Micskei, Raimund-Andreas Konnerth, Benedek Horvth, Oszkr Semerth, Andrs Vrs, Dniel Varr |