| 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 |
| 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 |
| Towards Abstraction-based Probabilistic Program Analysis D Szekeres, I Majzik Acta Cybernetica, 2023 | | 2023 |
| Lazy Abstraction for Probabilistic Systems D Szekeres, I Majzik 30th Minisymposium of the Department of Measurement and Information Systems …, 2023 | | 2023 |
