| 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 | 4 | 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 | 4 | 2023 |
| 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 | 2 | 2024 |
| Abstraction-based model checking of linear temporal properties M Mondok, A Vörös Proceedings of the 27th PhD Mini-Symposium, 29-32, 2020 | 2 | 2020 |
| Formal verification of engineering models via extended symbolic transition systems, 2020 M Mondok Bachelor’s Thesis, Budapest University of Technology and Economics, 0 | 2 | |
| Evaluating compositional verification options for PLCverif (CERN Summer Student report) M Mondok | 1 | 2021 |
| Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations B Graics, M Mondok, V Molnár, I Majzik Science of Computer Programming, 103265, 2025 | | 2025 |
| Efficient Manipulation of Logical Formulas as Decision Diagrams M Mondok, V Molnár Proceedings of the 31st PhD Mini-Symposium, 61-65, 2024 | | 2024 |
| Efficient formal verification of component-based engineering models M Mondok, V Molnár Master’s Thesis, Budapest University of Technology and Economics, 2022 | | 2022 |
