| Abstraction-based model checking of linear temporal properties M Mondok, A Vörös Budapest University of Technology and Economics, Department of Measurement …, 2020 | 2 | 2020 |
| EmergenTheta: Verification beyond abstraction refinement (competition contribution) L Bajczi, D Szekeres, M Mondok, Z Ádám, M Somorjai, C Telbisz, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
| Theta: Abstraction based techniques for verifying concurrency (competition contribution) L Bajczi, C Telbisz, M Somorjai, Z Ádám, M Dobos-Kovács, D Szekeres, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
| Model-Based Testing of Asynchronously Communicating Distributed Controllers B Graics, M Mondok, V Molnár, I Majzik International Conference on Formal Aspects of Component Software, 23-44, 2023 | | 2023 |
| Evaluating compositional verification options for PLCverif M Mondok | | 2021 |
| Formal verification of engineering models via extended symbolic transition systems M Mondok, Á Hajdu | | 2020 |
