| 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 | 3 | 2024 |
| 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 |
| Tensor-based reliability analysis of complex static fault trees D Szekeres, K Marussy, I Majzik 2021 17th European Dependable Computing Conference (EDCC), 33-40, 2021 | 1 | 2021 |
| Enhancing MBSE Education with Version Control and Automated Feedback L Bajczi, D Szekeres, D Siegl, V Molnár arXiv preprint arXiv:2409.15294, 2024 | | 2024 |
| A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation D Szekeres, K Marussy, I Majzik arXiv preprint arXiv:2406.00824, 2024 | | 2024 |
| Towards Abstraction-based Probabilistic Program Analysis D Szekeres, I Majzik Acta Cybernetica 26 (3), 671-711, 2024 | | 2024 |
| Lazy Abstraction for Probabilistic Systems D Szekeres, I Majzik 30TH MINISYMPOSIUM, 9, 2023 | | 2023 |
