1.
Szabó, Richárd ✉ ; Szekeres, Dániel* ; Nagy, Simon József ; Thimár, Zoltán ; Majzik, István ; Micskei, Zoltán ; Vörös, András
Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios
EMPIRICAL SOFTWARE ENGINEERING 31 : 3 Paper: 58 , 52 p. (2026)
DOI WoS Scopus Other URL
Publication:36855049 Validated Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[36855049] [Validated]
2.
Szekeres, Dániel ✉ ; Marussy, Kristóf ; Majzik, István
A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation
LECTURE NOTES IN COMPUTER SCIENCE 14826 pp. 81-96. , 16 p. (2025)
DOI WoS Scopus
Publication:35595588 Validated Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[35595588] [Validated]
3.
Telbisz, Csanád ; Bajczi, Levente ✉ ; Szekeres, Dániel ; Vörös, András
Theta: Various Approaches for Concurrent Program Verification (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 15698 pp. 260-265. Paper: Chapter 22 , 6 p. (2025)
DOI Scopus Other URL
Publication:36122885 Validated Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[36122885] [Validated]
4.
Mondok, Milán ; Bajczi, Levente ✉ ; Szekeres, Dániel ; Molnár, Vince
EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 15698 pp. 217-222. Paper: Chapter 15 , 6 p. (2025)
DOI Scopus Other URL
Publication:36122891 Admin approved Core Journal Article (Article ) Scientific
Citing papers: 0 | Independent citation: 0 | Self citation: 0 | Unknown citation: 0 (Not published: 1)
Article (Journal Article) | Scientific[36122891] [Admin approved]
5.
Bajczi, Levente ✉ ; Telbisz, Csanád ; Szekeres, Dániel ; Vörös, András
On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study)
LECTURE NOTES IN COMPUTER SCIENCE 15696 pp. 3-19. Paper: Chapter 1 , 17 p. (2025)
DOI Scopus Other URL
Publication:36122897 Admin approved Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[36122897] [Admin approved]
6.
Bajczi, Levente ; Szekeres, Dániel ; Telbisz, Csanád ; Molnár, Vince
Giving Some Pointers for Abstraction-Based Model Checking
In: Renczes, Balázs (eds.) Proceedings of the 32nd Minisymposium
Bp, Hungary : Budapest University of Technology and Economics, Department of Artificial Intelligence and Systems Engineering (2025) pp. 5-9. , 5 p.
DOI Other URL
Publication:36176199 Admin approved Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[36176199] [Admin approved]
7.
Telbisz, Csanád ; Bajczi, Levente ; Szekeres, Dániel ; Vörös, András ; Majzik, István
Reasoning with Happens-Before Relations About Concurrent Programs in the THETA Framework
In: Cinque, Marcello; Cotroneo, Domenico; De Simone, Luigi; Eckhart, Matthias; Lee, Patrick P. C.; Zonouz, Saman (eds.) 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
Piscataway (NJ), United States of America : IEEE (2025) pp. 43-46. , 4 p.
DOI WoS Scopus Other URL
Publication:36267184 Admin approved Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[36267184] [Admin approved]
8.
Szekeres, Dániel ; Majzik, István
Towards Integrating Abstraction and Partial Order Reduction in Probabilistic Model Checking: Survey of Challenges and Opportunities
In: Renczes, Balázs (eds.) Proceedings of the 32nd Minisymposium
Bp, Hungary : Budapest University of Technology and Economics, Department of Artificial Intelligence and Systems Engineering (2025) pp. 39-44. , 6 p.
DOI Other URL
Publication:36317442 Admin approved Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[36317442] [Admin approved]
9.
Telbisz, Csanád ✉ ; Bajczi, Levente ; Szekeres, Dániel ; Vörös, András
On-the-Fly Cone-of-Influence Reduction for Model Checking Concurrent Software
LECTURE NOTES IN COMPUTER SCIENCE 15945 pp. 161-181. Paper: Chapter 9 , 21 p. (2025)
DOI Scopus Other URL
Publication:36411499 Admin approved Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[36411499] [Admin approved]
10.
Szekeres, Dániel ; Majzik, István
Towards Abstraction-based Probabilistic Program Analysis
ACTA CYBERNETICA 26 : 3 pp. 671-711. , 41 p. (2024)
DOI WoS Scopus Other URL
Publication:33999210 Published Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[33999210] [Approved]
2026-07-13 05:06