Dániel Szekeres

13 papers Misc 1Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios.
Empir. Softw. Eng.
Richárd Szabó, Dániel Szekeres, Simon József Nagy, Zoltán Thimár, István Majzik, Zoltán Micskei, András Vörös
2025 — conf
EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution).
TACAS (3)
Milán Mondok, Levente Bajczi, Dániel Szekeres, Vince Molnár
2025 — conf
On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study).
TACAS (1)
Levente Bajczi, Csanád Telbisz, Dániel Szekeres, András Vörös
2025 — conf
On-the-Fly Cone-of-Influence Reduction for Model Checking Concurrent Software.
SPIN
Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös
2025 — conf
Reasoning with Happens-Before Relations About Concurrent Programs in the THETA Framework.
DSN-W
Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös, István Majzik
2025 — conf
Theta: Various Approaches for Concurrent Program Verification (Competition Contribution).
TACAS (3)
Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös
2024 — conf
A Lazy Abstraction Algorithm for Markov Decision Processes - Theory and Initial Evaluation.
ASMTA
Dániel Szekeres, Kristóf Marussy, István Majzik
2024 J jnl
A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation.
CoRR
Dániel Szekeres, Kristóf Marussy, István Majzik
2024 — conf
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution).
TACAS (3)
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
2024 J jnl
Enhancing MBSE Education with Version Control and Automated Feedback.
CoRR
Levente Bajczi, Dániel Szekeres, Daniel Siegl, Vince Molnár
2024 — conf
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution).
TACAS (3)
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
2023 J jnl
Towards Abstraction-based Probabilistic Program Analysis.
Acta Cybern.
Dániel Szekeres, István Majzik
2021 Misc conf
Tensor-based reliability analysis of complex static fault trees.
EDCC
Dániel Szekeres, Kristóf Marussy, István Majzik