 Print previewpersonal 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 |
|
|
Login
mit.bme.hu
