1.
Graics, Bence ✉ ; Mondok, Milán ; Molnár, Vince ; Majzik, István
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations
SCIENCE OF COMPUTER PROGRAMMING 242 Paper: 103265 , 40 p. (2025)
DOI WoS Scopus Egyéb URL
Közlemény:35730361 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 4 | Független: 4 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 4
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Export Date: 3 February 2025            
            CODEN: SCPGD            
            Correspondence Address: Graics, B.; Budapest University of Technology and Economics, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.hu

[35730361] [Egyeztetett]
Nyilvános idéző összesen: 4, Független: 4, Függő: 0, Nem jelölt: 0
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
Közlemény:35595588 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: 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] [Egyeztetett]
3.
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 (szerk.) Proceedings of the 32nd Minisymposium
Budapest, Magyarország : Budapest University of Technology and Economics, Department of Artificial Intelligence and Systems Engineering (2025) pp. 39-44. , 6 p.
DOI Egyéb URL
Közlemény:36317442 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: This research was partially funded by the EKOP-24-3 New National Excellence Program under project number EKOP-24-3-BME-159, and the Doctoral Excellence Fellowship Programme under project number 400443/2023; funded by the NRDI Fund of Hungary.

[36317442] [Nyilvános]
4.
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 (szerk.) 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2025) pp. 43-46. , 4 p.
DOI Egyéb URL
Közlemény:36267184 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[36267184] [Nyilvános]
5.
Graics, Bence ; Mondok, Milán ; Molnár, Vince ; Majzik, István
Model-Based Testing of Asynchronously Communicating Distributed Controllers
LECTURE NOTES IN COMPUTER SCIENCE 14485 pp. 23-44. Paper: Chapter 2 , 22 p. (2024)
DOI WoS Scopus Egyéb URL
Közlemény:34504488 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 5 | Független: 2 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 5
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Conference code: 306759            
            Export Date: 19 February 2024            
            Correspondence Address: Graics, B.; Department of Measurement and Information Systems, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.hu

[34504488] [Egyeztetett]
Nyilvános idéző összesen: 5, Független: 2, Függő: 3, Nem jelölt: 0
6.
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 Egyéb URL
Közlemény:33999210 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Special Issue of the 13th Conference of PhD Students in Computer Science

[33999210] [Nyilvános]
7.
Graics, Bence ; Majzik, Istvan
Integration Test Generation and Formal Verification for Distributed Controllers
In: Proceedings of the 30th Minisymposium
Budapest, Magyarország : Budapest University of Technology and Economics (2023) pp. 1-4. , 4 p.
Közlemény:33689503 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[33689503] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
8.
Graics, Bence ; Molnár, Vince ; Majzik, István
Component‐based specification, design and verification of adaptive systems
SYSTEMS ENGINEERING 26 : 5 pp. 567-589. , 23 p. (2023)
DOI WoS Scopus Egyéb URL
Közlemény:33739468 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 4 | Független: 3 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 1 | WoS/Scopus jelölt: 3 | DOI jelölt: 4
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Funding Agency and Grant Number: New National Excellence Program of the Ministry for Innovation and Technology [2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02]; National Research, Development and Innovation Fund of Hungary [2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02]; New National Excellence Program of the Ministry for Innovation and Technology [UNKP-20-3-I-BME-42, UNKP-22-3-II-BME-223]
            Funding text: National Research, Development and Innovation Fund of Hungary, Grant/Award Numbers: 2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02; New National Excellence Program of the Ministry for Innovation and Technology, Grant/Award Numbers: UNKP-20-3-I-BME-42, UNKP-22-3-II-BME-223

[33739468] [Egyeztetett]
Nyilvános idéző összesen: 4, Független: 3, Függő: 1, Nem jelölt: 0
9.
Graics, Bence ; Molnár, Vince ; Majzik, István
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
LECTURE NOTES IN COMPUTER SCIENCE 14290 pp. 76-95. Paper: Chapter 5 , 20 p. (2023)
DOI WoS Scopus Egyéb URL
Közlemény:34144059 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 2 | Független: 0 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Export Date: 26 October 2023            
            Correspondence Address: Graics, B.; Department of Measurement and Information Systems, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.hu

[34144059] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 0, Függő: 2, Nem jelölt: 0
10.
Lantos, Péter ; Lövétei, István Ferenc ; Dr. Majzik, István
Biztonság (safety) az elektronikus rendszerek fejlesztésében - A prolan Zrt. megoldása a PRORIS biztosítóberendezés fejlesztése során
VASÚTI VEZETÉKVILÁG 2023 : 1 pp. 3-10. , 8 p. (2023)
Közlemény:33723066 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyelv: Magyar
Szakcikk (Folyóiratcikk) | Tudományos[33723066] [Nyilvános]
2025-11-10 19:52