 |
|
| Personal data sheet |
 Print previewpersonal data approved: 2023. IV. 07. | Publications |
2020
 from data base, 2022. I. 04. |
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: 5
language: English
URL |
2020
from data base, 2022. I. 04. |
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, 2022. I. 04. |
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: 8
language: English
URL |
2018
from data base, 2022. I. 04. |
Tamás Tóth, István Majzik: Lazy Reachability Checking for Timed Automata with Discrete Variables, In: María, del Mar Gallardo; Pedro, Merino (szerk.) Model Checking Software, Springer International Publishing (2018) pp. 235-254.
type of document: Part of book/Proceedings Paper
language: English
URL |
2018
from data base, 2022. I. 04. |
Kristóf Marussy, István Majzik: Constructing Dependability Analysis Models of Reconfigurable Production Systems, In: Birgit, Vogel-Heuser; Bengt, Lennartson (szerk.) 14th IEEE International Conference on Automation Science and Engineering, IEEE Robotics and Automation Society (2018) pp. 1158-1163.
type of document: Part of book/Proceedings Paper
language: English
URL |
2016
from data base, 2022. I. 04. |
Darvas Dániel, Majzik István, Blanco Viñulea Enrique: Formal Verification of Safety PLC Based Control Software, In: Ábrahám, Erika; Huisman, Marieke (szerk.) Integrated Formal Methods, Springer International Publishing (2016) pp. 508-522.
type of document: Part of book/Proceedings Paper
number of independent citations: 14
language: English
Full text |
2005
from data base, 2022. I. 04. |
Pap Z, Majzik I, Pataricza A, Szegi A: Methods of Checking General Safety Criteria in Uml Statechart Specifications, RELIABILITY ENGINEERING & SYSTEM SAFETY 87: (1) pp. 89-107.
type of document: Journal paper/Article
number of independent citations: 17
language: English
URL |
2003
from data base, 2022. I. 04. |
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: 60
language: English
URL |
2002
from data base, 2022. I. 04. |
Huszerl G, Majzik I, Pataricza A, Kosmidis K, Dal Cin M: Quantitative Analysis of Uml Statechart Models of Dependable Systems, COMPUTER JOURNAL 45: (3) pp. 260-277.
type of document: Journal paper/Article
number of independent citations: 47
language: English
URL |
1999
from data base, 2022. I. 04. |
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: | 280 |
|
|
|
|
|
Login
mit.bme.hu
