Nyomtatási kép Az adatok hitelességéről nyilatkozott: 2024. I. 03. Közlemények |
2023
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
2023
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
2023
adattárból, 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. dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: angol URL |
2020
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 9 nyelv: angol URL |
2020
adattárból, 2024. I. 03. |
Tóth Tamás, Majzik István: Configurable verification of timed automata with discrete variables, ACTA INFORMATICA (Online first): p. 0. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
2019
adattárból, 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. dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 23 nyelv: angol URL |
2018
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 9 nyelv: angol URL |
2012
adattárból, 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. dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 32 nyelv: angol URL |
2003
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 62 nyelv: angol URL |
1999
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 129 nyelv: angol URL |
| a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma: | 264 |
|
|