TY - CHAP AU - Graics, Bence AU - Mondok, Milán AU - Molnár, Vince AU - Majzik, István ED - Jongmans, Sung-Shik ED - Cámara, Javier TI - Model-Based Testing of Asynchronously Communicating Distributed Controllers T2 - Formal Aspects of Component Software PB - Springer Nature Switzerland AG CY - Cham SN - 9783031521836 T3 - Lecture Notes in Computer Science, ISSN 0302-9743 ; 14485. PY - 2024 SP - 23 EP - 44 PG - 22 DO - 10.1007/978-3-031-52183-6_2 UR - https://m2.mtmt.hu/api/publication/34504488 ID - 34504488 N1 - 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 LA - English DB - MTMT ER - TY - CHAP AU - Graics, Bence AU - Molnár, Vince AU - Majzik, István ED - Titolo, Laura ED - Cimatti, Alessandro TI - Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers T2 - Formal Methods for Industrial Critical Systems PB - Springer Nature Switzerland AG CY - Cham SN - 9783031436819 T3 - Lecture Notes in Computer Science, ISSN 0302-9743 ; 14290. PY - 2023 SP - 76 EP - 95 PG - 20 DO - 10.1007/978-3-031-43681-9_5 UR - https://m2.mtmt.hu/api/publication/34144059 ID - 34144059 N1 - 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 LA - English DB - MTMT ER - TY - CHAP AU - Szekeres, Dániel AU - Majzik, István TI - Lazy Abstraction for Probabilistic Systems T2 - Proceedings of the 30th Minisymposium PB - Budapest University of Technology and Economics CY - Budapest SN - 9789634219040 PY - 2023 SP - 9 EP - 12 PG - 4 DO - 10.3311/minisy2023-003 UR - https://m2.mtmt.hu/api/publication/33999238 ID - 33999238 LA - English DB - MTMT ER - TY - JOUR AU - Szekeres, Dániel AU - Majzik, István TI - Towards Abstraction-based Probabilistic Program Analysis JF - ACTA CYBERNETICA J2 - ACTA CYBERN-SZEGED VL - Special Issue of the 13th Conference of PhD Students in Computer Science PY - 2023 SP - 1 EP - 41 PG - 41 SN - 0324-721X DO - 10.14232/actacyb.298287 UR - https://m2.mtmt.hu/api/publication/33999210 ID - 33999210 AB - Probabilistic programs that can represent both probabilistic and non-deterministic choices are useful for creating reliability models of complex safety-critical systems that interact with humans or external systems. Such models are often quite complex, so their analysis can be hindered by state-space explosion. One common approach to deal with this problem is the application of abstraction techniques. We present improvements for an abstraction-refinement scheme for the analysis of probabilistic programs, aiming to improve the scalability of the scheme by adapting modern techniques from qualitative software model checking, and make the analysis result more reliable using better convergence checks. We implemented and evaluated the improvements in our Theta model checking framework. LA - English DB - MTMT ER - TY - JOUR AU - Graics, Bence AU - Molnár, Vince AU - Majzik, István TI - Component‐based specification, design and verification of adaptive systems JF - SYSTEMS ENGINEERING J2 - SYSTEMS ENG VL - 26 PY - 2023 IS - 5 SP - 567 EP - 589 PG - 23 SN - 1098-1241 DO - 10.1002/sys.21675 UR - https://m2.mtmt.hu/api/publication/33739468 ID - 33739468 LA - English DB - MTMT ER - TY - JOUR AU - Lantos, Péter AU - Lövétei, István Ferenc AU - Majzik, István TI - Biztonság (safety) az elektronikus rendszerek fejlesztésében - A prolan Zrt. megoldása a PRORIS biztosítóberendezés fejlesztése során JF - VASÚTI VEZETÉKVILÁG J2 - VASÚTI VEZETÉKVILÁG VL - 2023 PY - 2023 IS - 1 SP - 3 EP - 10 PG - 8 SN - 2559-8961 UR - https://m2.mtmt.hu/api/publication/33723066 ID - 33723066 LA - Hungarian DB - MTMT ER - TY - CHAP AU - Graics, Bence AU - Majzik, István TI - Integration Test Generation and Formal Verification for Distributed Controllers T2 - Proceedings of the 30th Minisymposium PB - Budapest University of Technology and Economics CY - Budapest SN - 9789634219040 PY - 2023 SP - 1 EP - 4 PG - 4 UR - https://m2.mtmt.hu/api/publication/33689503 ID - 33689503 LA - English DB - MTMT ER - TY - CHAP AU - Földiák, M. AU - Marussy, Kristóf AU - Varró, D. AU - Majzik, István ED - Eugene, Syriani ED - Houari, Sahraoui TI - System architecture synthesis for performability by logic solvers T2 - MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems PB - Association for Computing Machinery (ACM) CY - New York, New York SN - 9781450394666 PY - 2022 SP - 43 EP - 54 PG - 12 DO - 10.1145/3550355.3552448 UR - https://m2.mtmt.hu/api/publication/33282155 ID - 33282155 N1 - Budapest University of Technology and Economics, Budapest, Hungary McGill University, Montreal, Canada Export Date: 29 November 2022 LA - English DB - MTMT ER - TY - CONF AU - Szekeres, Dániel AU - Majzik, István ED - Jász, Judit ED - Bánhelyi, Balázs ED - Gergely, Tamás ED - Katona, Melinda ED - Kincses, Zoltán TI - Towards Abstraction-based Probabilistic Program Analysis T2 - The 13th Conference of PhD Students in Computer Science PB - Szegedi Tudományegyetem, Informatikai Intézet C1 - Szeged PY - 2022 SP - 55 UR - https://m2.mtmt.hu/api/publication/33104616 ID - 33104616 LA - English DB - MTMT ER - TY - CHAP AU - Graics, Bence AU - Molnár, Vince AU - Majzik, István ED - Zamojski, Wojciech ED - Mazurkiewicz, Jacek ED - Sugier, Jarosław ED - Walkowiak, Tomasz ED - Kacprzyk, Janusz TI - Contract-Based Specification and Test Generation for Adaptive Systems T2 - Theory and Engineering of Dependable Computer Systems and Networks PB - Springer Netherlands CY - Wroclaw SN - 9783030767730 T3 - Advances in Intelligent Systems and Computing, ISSN 2194-5357 ; 1389. PY - 2021 SP - 136 EP - 145 PG - 10 DO - 10.1007/978-3-030-76773-0_14 UR - https://m2.mtmt.hu/api/publication/32054791 ID - 32054791 LA - English DB - MTMT ER -