Benedek Horváth

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 6

Top Topics

Computation Tree Logic

Cardinal Directions

Consistency Checking

Top Venues

MoDELS (Companion)

Publications

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) (2023)
Alessandro Colantoni, Benedek Horváth, Ákos Horváth, Luca Berardinelli, Manuel Wimmer
Towards Continuous Consistency Checking of DevOps Artefacts. MoDELS (Companion) (2021)
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)
Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban
Model checking as a service: towards pragmatic hidden formal methods. MoDELS (Companion) (2020)
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)
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)
Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth, Oszkár Semeráth, András Vörös, Dániel Varró
On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. OSS4MDE@MoDELS (2014)