1.
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
Language: English
Article (Journal Article) | Scientific 
Comment: This research was partially funded by the EKÖP-24-{2,3} New National Excellence Program under project numbers EKÖP-24-2-BME-118, EKÖP-24-3-BME-213 and EKÖP-24-3-BME-159, and the Doctoral Excellence Fellowship Programme under project numbers 400434/2023, 400443/2023; funded by the NRDI Fund of Hungary. This work was partially supported by project no. 2022-1.2.4-EUREKA-2023-00013 under the 2022-1.2.4 EUREKA funding scheme from the the National Research, Development and Innovation Fund of Hungary.

[36122897] [Admin approved]
2.
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 Published Core Chapter in Book (Conference paper ) Scientific
Language: English
Conference paper (Chapter in Book) | Scientific[36176199] [Approved]
3.
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
Language: English
Article (Journal Article) | Scientific 
Comment: This research was partially funded by the EKÖP-24-3 New National Excellence Program under project numbers EKÖP-24-3-BME-78, EKÖP-24-3-BME-213, and EKÖP-24-3-BME-159, and the Doctoral Excellence Fellowship Programme under project numbers 400434/2023 and 400443/2023; funded by the NRDI Fund of Hungary.

[36122891] [Admin approved]
4.
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
Language: English
Article (Journal Article) | Scientific 
Comment: Softcover ISBN: 978-3-031-70752-0, Published: 20 October 2024; eBook ISBN: 978-3-031-70753-7, Published: 19 October 2024
Correspondence Address: Szekeres, D.; Department of Measurement and Information Systems, Hungary; email: szekeres@mit.bme.hu
Funding Agency and Grant Number: Doctoral Excellence Fellowship Programme - National Research Development and Innovation Fund of the Ministry of Culture and Innovation and the Budapest University of Technology and Economics; National Research, Development and Innovation Office
            Funding text: The project supported by the Doctoral Excellence Fellowship Programme (DCEP) is funded by the National Research Development and Innovation Fund of the Ministry of Culture and Innovation and the Budapest University of Technology and Economics, under a grant agreement with the National Research, Development and Innovation Office.
WoS:hiba:001414195300006 2025-03-21 15:37 típus nem egyezik, év nem egyezik

[35595588] [Validated]
5.
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
Language: English
Article (Journal Article) | Scientific 
Comment: This research was partially funded by the EKÖP-24-{2,3} New National Excellence Program under project numbers EKÖP-24-2-BME-118, EKÖP-24-3-BME-213 and EKÖP-24-3-BME-159, and the Doctoral Excellence Fellowship Programme under project numbers 400434/2023 and 400443/2023; funded by the NRDI Fund of Hungary.

[36122885] [Validated]
6.
Bajczi, Levente ✉ ; Szekeres, Dániel ; Mondok, Milán ; Ádám, Zsófia ; Somorjai, Márk ; Telbisz, Csanád ; Dobos-Kovács, Mihály ; Molnár, Vince
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 371-375. Paper: Chapter 23 , 5 p. (2024)
DOI WoS Scopus Other URL
Publication:34768422 Published Core Citing Journal Article (Conference paper in journal ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Language: English
Conference paper in journal (Journal Article) | Scientific[34768422] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
7.
Bajczi, Levente ✉ ; Telbisz, Csanád ; Somorjai, Márk ; Ádám, Zsófia ; Dobos-Kovács, Mihály ; Szekeres, Dániel ; Mondok, Milán ; Molnár, Vince
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 412-417. Paper: Chapter 30 , 6 p. (2024)
DOI WoS Scopus Other URL
Publication:34768428 Published Core Citing Journal Article (Conference paper in journal ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Language: English
Conference paper in journal (Journal Article) | Scientific[34768428] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
8.
Bajczi, Levente ; Szekeres, Dániel ; Siegl, Daniel ; Molnár, Vince
Verbesserung der MBSE-Ausbildung durch Versionskontrolle und automatisiertes Feedback
In: Walter, Koch; Daria, Wilke; Stefan, Dreiseitel; Rüdiger, Kaffenberger Tag des Systems Engineering
Bréma, Germany : GfSE Verlag (2024) pp. 161-169. , 9 p.
Publication:35617761 Published Core Chapter in Book (Conference paper ) Scientific
Language: German
Conference paper (Chapter in Book) | Scientific[35617761] [Approved]
9.
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
Language: English
Article (Journal Article) | Scientific 
Comment: Special Issue of the 13th Conference of PhD Students in Computer Science

[33999210] [Approved]
10.
Szekeres, Dániel ; Majzik, István
Lazy Abstraction for Probabilistic Systems
In: Proceedings of the 30th Minisymposium
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem (2023) pp. 9-12. , 4 p.
DOI Other URL
Publication:33999238 Published Core Chapter in Book (Conference paper ) Scientific
Language: English
Conference paper (Chapter in Book) | Scientific[33999238] [Approved]
2025-06-21 22:35