Dániel Szekeres

According to our database, Dániel Szekeres authored at least 12 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios.

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

Empir. Softw. Eng., May, 2026

2025

Theta: Various Approaches for Concurrent Program Verification (Competition Contribution).

Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution).

Milán Mondok, Levente Bajczi, Dániel Szekeres, Vince Molnár

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study).

Levente Bajczi, Csanád Telbisz, Dániel Szekeres, András Vörös

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

On-the-Fly Cone-of-Influence Reduction for Model Checking Concurrent Software.

Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös

Proceedings of the Model Checking Software - 31st International Symposium, 2025

Reasoning with Happens-Before Relations About Concurrent Programs in the THETA Framework.

Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös, István Majzik

Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025

2024

Enhancing MBSE Education with Version Control and Automated Feedback.

Levente Bajczi, Dániel Szekeres, Daniel Siegl, Vince Molnár

CoRR, 2024

Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution).

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution).

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

A Lazy Abstraction Algorithm for Markov Decision Processes - Theory and Initial Evaluation.

Dániel Szekeres, Kristóf Marussy, István Majzik

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2024

2023

Towards Abstraction-based Probabilistic Program Analysis.

Dániel Szekeres, István Majzik

Acta Cybern., 2023

2021

Tensor-based reliability analysis of complex static fault trees.

Dániel Szekeres, Kristóf Marussy, István Majzik

Proceedings of the 17th European Dependable Computing Conference, 2021