1.
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 , 16 p. (2024)
Publication:34899077 Published Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[34899077] [Approved]
2.
Graics, Bence ; Mondok, Milán ; Molnár, Vince ; Majzik, István
Model-Based Testing of Asynchronously Communicating Distributed Controllers
In: Jongmans, Sung-Shik; Cámara, Javier (eds.) Formal Aspects of Component Software : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Cham, Switzerland : Springer Nature Switzerland AG (2024) pp. 23-44. Paper: Chapter 2 , 22 p.
DOI WoS Scopus Other URL
Publication:34504488 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34504488] [Validated]
3.
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 Duplum Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[33999210] [Approved]
4.
Graics, Bence ; Molnár, Vince ; Majzik, István
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
In: Titolo, Laura; Cimatti, Alessandro (eds.) Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
Cham, Switzerland : Springer Nature Switzerland AG (2023) pp. 76-95. Paper: Chapter 5 , 20 p.
DOI WoS Scopus Other URL
Publication:34144059 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34144059] [Validated]
5.
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
Conference paper (Chapter in Book) | Scientific[33999238] [Approved]
6.
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 Other URL
Publication:33739468 Published Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[33739468] [Approved]
7.
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)
Publication:33723066 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[33723066] [Approved]
8.
Graics, Bence ; Majzik, Istvan
Integration Test Generation and Formal Verification for Distributed Controllers
In: Proceedings of the 30th Minisymposium
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem (2023) pp. 1-4. , 4 p.
Publication:33689503 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[33689503] [Approved]
9.
Földiák, M. ; Marussy, K. ; Varró, D. ; Majzik, I.
System architecture synthesis for performability by logic solvers
In: Eugene, Syriani; Houari, Sahraoui (eds.) MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
New York City, United States of America : ACM (2022) pp. 43-54. , 12 p.
DOI Scopus
Publication:33282155 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[33282155] [Approved]
10.
Szekeres, Dániel ; Majzik, István
Towards Abstraction-based Probabilistic Program Analysis
In: Szegedi Tudományegyetem Informatikai Intézet - Szegedi Tudományegyetem Informatikai Intézet (eds.) The 13th Conference of PhD Students in Computer Science : June 29 – July 1, 2022 Szeged, Hungary : Volume of Short Papers
Szeged, Hungary : SZTE TTIK Informatikai Intézet (2022) 216 p. p. 55
Publication:33104616 Published Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[33104616] [Approved]
2024-09-19 04:00