V. Molnár
发表
M. Telek,
V. Molnár,
András Vörös,
2015
.
V. Molnár,
András Vörös,
A. Soltész,
2015
.
V. Molnár,
András Vörös,
2015
.
István Majzik,
Dániel Varró,
Vince Molnár,
2020,
Software and Systems Modeling.
I. Majzik,
V. Molnár,
András Vörös,
2020,
Software and Systems Modeling.
Á. Horváth,
I. Ráth,
G. Trancho,
2023,
Systems Engineering.
Márton Elekes,
V. Molnár,
Zoltán Micskei,
2023,
Software Quality Journal.
István Ráth,
Zoltán Micskei,
Ákos Hajdu,
2020,
MoDELS.
Dániel Varró,
István Majzik,
András Vörös,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
Dániel Darvas,
István Majzik,
Tamás Bartha,
2016,
Formal Aspects of Computing.
Dániel Darvas,
Enrique Blanco Viñuela,
Vince Molnár,
2020
.
Miklos Telek,
Attila Klenik,
Kristof Marussy,
2016,
2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR).
I. Majzik,
V. Molnár,
Bence Graics,
2023,
Systems Engineering.
V. Molnár,
Levente Bajczi,
Zsófia Ádám,
2022,
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE).
Dániel Darvas,
István Majzik,
Kristóf Marussy,
2017,
Sci. Comput. Program..
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)
V. Molnár,
Á. Hajdu,
M. Dobos-Kovács,
2022,
TACAS.