On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. - Zoltán Micskei; Raimund-Andreas Konnerth; Benedek Horváth; Oszkár Semeráth; András Vörös 001; Dániel Varró (OSS4MDE@MoDELS, 2014)

MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems. - András Vörös 001; Márton Búr; István Ráth; Ákos Horváth 001; Zoltán Micskei; László Balogh; Bálint Hegyi; Benedek Horváth; Zsolt Mázló; Dániel Varró (NFM, 2018)

Towards the next generation of reactive model transformations on low-code platforms: three research lines. - Benedek Horváth; Ákos Horváth 001; Manuel Wimmer (MoDELS (Companion), 2020)

Model checking as a service: towards pragmatic hidden formal methods. - Benedek Horváth; Bence Graics; Ákos Hajdu; Zoltán Micskei; Vince Molnár; István Ráth; Luigi Andolfato; Ivan Gomes; Robert Karban (MoDELS (Companion), 2020)

Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns. - Qurat ul ain Ali; Benedek Horváth; Dimitris S. Kolovos; Konstantinos Barmpis; Ákos Horváth 001 (MoDELS (Companion), 2021)

Towards Continuous Consistency Checking of DevOps Artefacts. - Alessandro Colantoni; Benedek Horváth; Ákos Horváth 001; Luca Berardinelli; Manuel Wimmer (MoDELS (Companion), 2021)

Pragmatic verification and validation of industrial executable SysML models. - Benedek Horváth; Vince Molnár; Bence Graics; Ákos Hajdu; István Ráth; Ákos Horváth 001; Robert Karban; Gelys Trancho; Zoltán Micskei (Syst. Eng., 2023)