Print preview personal data approved: 2024. I. 03. Publications |
2023
from data base, 2024. I. 03. |
Graics Bence, Molnár Vince, Majzik István: Component‐based specification, design and verification of adaptive systems, SYSTEMS ENGINEERING 26: (5) pp. 567-589. type of document: Journal paper/Article language: English URL |
2023
from data base, 2024. I. 03. |
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. type of document: Journal paper/Article language: English URL |
2023
from data base, 2024. I. 03. |
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 (szerk.) Formal Methods for Industrial Critical Systems, Springer Nature Switzerland (2023) pp. 76-95. type of document: Part of book/Proceedings Paper language: English URL |
2020
from data base, 2024. I. 03. |
Graics Bence, Molnár Vince, Vörös András, Majzik István, Varró Dániel: Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems, SOFTWARE AND SYSTEMS MODELING 19: pp. 1483-1517. type of document: Journal paper/Article number of independent citations: 9 language: English URL |
2020
from data base, 2024. I. 03. |
Tóth Tamás, Majzik István: Configurable verification of timed automata with discrete variables, ACTA INFORMATICA (Online first): p. 0. type of document: Journal paper/Article language: English URL |
2019
from data base, 2024. I. 03. |
István Majzik, Oszkár Semeráth, Csaba Hajdu, Kristóf Marussy, Zoltán Szatmári, Zoltán Micskei, András Vörös, Aren A. Babikian, Dániel Varró: Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles, In: Alexander, Pretschner; Sebastian, Voss (szerk.) Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), IEEE (2019) pp. 89-94. type of document: Part of book/Proceedings Paper number of independent citations: 23 language: English URL |
2018
from data base, 2024. I. 03. |
Vörös András, Darvas Dániel, Hajdu Ákos, Klenik Attila, Marussy Kristóf, Molnár Vince, Bartha Tamás, Majzik István: Industrial Applications of the PetriDotNet Modelling and Analysis Tool, SCIENCE OF COMPUTER PROGRAMMING 157: pp. 17-40. type of document: Journal paper/Article number of independent citations: 9 language: English URL |
2012
from data base, 2024. I. 03. |
Zoltán Micskei, Zoltán Szatmári, János Oláh, István Majzik: A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems, In: Jezic, G; Kusek, M; Nguyen, N T; Howlett, R J; Jain, L C (szerk.) Agent and Multi-Agent Systems. Technologies and Applications, Springer-Verlag (2012) pp. 504-513. type of document: Part of book/Proceedings Paper number of independent citations: 32 language: English URL |
2003
from data base, 2024. I. 03. |
Majzik I, Pataricza A, Bondavalli A: Stochastic Dependability Analysis of System Architecture Based on Uml Models, LECTURE NOTES IN COMPUTER SCIENCE 2677: pp. 219-244. type of document: Journal paper/Article number of independent citations: 62 language: English URL |
1999
from data base, 2024. I. 03. |
Latella D, Majzik I, Massink M: Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker, FORMAL ASPECTS OF COMPUTING 11: (6) pp. 637-664. type of document: Journal paper/Article number of independent citations: 129 language: English URL |
| Number of independent citations to these publications: | 264 |
|
|