1.
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 (2024) pp. 23-44. Paper: Chapter 2 , 22 p.
DOI Scopus Other URL
Publication:34504488 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34504488] [Approved]
2.
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 (2023) pp. 76-95. Paper: Chapter 5 , 20 p.
DOI WoS Scopus Other URL
Publication:34144059 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34144059] [Approved]
3.
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]
4.
Szekeres, Dániel ; Majzik, István
Towards Abstraction-based Probabilistic Program Analysis
ACTA CYBERNETICA Special Issue of the 13th Conference of PhD Students in Computer Science pp. 1-41. , 41 p. (2023)
DOI Other URL
Publication:33999210 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[33999210] [Approved]
5.
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]
6.
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]
7.
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]
8.
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]
9.
Szekeres, Dániel ; Majzik, István
Towards Abstraction-based Probabilistic Program Analysis
In: Jász, Judit; Bánhelyi, Balázs; Gergely, Tamás; Katona, Melinda; Kincses, Zoltán (eds.) The 13th Conference of PhD Students in Computer Science : 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]
10.
Graics, Bence ; Molnár, Vince ; Majzik, István
Contract-Based Specification and Test Generation for Adaptive Systems
In: Zamojski, Wojciech; Mazurkiewicz, Jacek; Sugier, Jarosław; Walkowiak, Tomasz; Kacprzyk, Janusz (eds.) Theory and Engineering of Dependable Computer Systems and Networks
Wroclaw, Poland : Springer International Publishing (2021) pp. 136-145. Paper: Chapter 14 , 10 p.
DOI Egyéb URL
Publication:32054791 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[32054791] [Approved]
2024-05-13 00:42