Dániel Szekeres

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Reliability Analysis

International Competition

Top Venues

Publications

Dániel Szekeres, Kristóf Marussy, István Majzik
A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation. CoRR (2024)
Levente Bajczi, Csanád Telbisz, Márk Somorjai, Zsófia Ádám, Mihály Dobos-Kovács, Dániel Szekeres, Milán Mondok, Vince Molnár
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution). TACAS (3) (2024)
Levente Bajczi, Dániel Szekeres, Milán Mondok, Zsófia Ádám, Márk Somorjai, Csanád Telbisz, Mihály Dobos-Kovács, Vince Molnár
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution). TACAS (3) (2024)
Dániel Szekeres, István Majzik
Towards Abstraction-based Probabilistic Program Analysis. Acta Cybern. 26 (3) (2023)
Dániel Szekeres, Kristóf Marussy, István Majzik
Tensor-based reliability analysis of complex static fault trees. EDCC (2021)