Istvan Majzik
Budapesti Muszaki és Gazdaságtudományi Egyetem
H-index: 26
Europe-Hungary
Top articles of Istvan Majzik
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Integration test generation and formal verification for distributed controllers | 30TH MINISYMPOSIUM | Bence Graics István Majzik | 2023/2/6 |
Kristóf Marussy | István Majzik | 2023/1/16 | |
Model-Based Testing of Asynchronously Communicating Distributed Controllers | Bence Graics Milán Mondok Vince Molnár István Majzik | 2023/10/26 | |
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers | Bence Graics Vince Molnár István Majzik | 2023/9/17 | |
Lazy Abstraction for Probabilistic Systems | Dániel Szekeres István Majzik | 2023 | |
Component‐based specification, design and verification of adaptive systems | Systems Engineering | Bence Graics Vince Molnár István Majzik | 2023/9 |
Towards Abstraction-based Probabilistic Program Analysis | Acta Cybernetica | Dániel Szekeres István Majzik | 2023/6/2 |
System architecture synthesis for performability by logic solvers | Máté Földiák Kristóf Marussy Dániel Varró István Majzik | 2022/10/23 | |
Configurable verification of timed automata with discrete variables | Acta Informatica | Tamás Tóth István Majzik | 2022/2 |
Contract-based specification and test generation for adaptive systems | Bence Graics Vince Molnár István Majzik | 2021/6/28 | |
Tensor-based reliability analysis of complex static fault trees: Regular paper | Dániel Szekeres Kristóf Marussy István Majzik | 2021/9/13 | |
Mixed-semantics composition of statecharts for the component-based design of reactive systems | Software and Systems Modeling | Bence Graics Vince Molnár András Vörös István Majzik Dániel Varró | 2020/11 |
Modeling and analysis of an industrial communication protocol in the Gamma framework | 27th Minisymposium, Department of Measurement and Information Systems, Budapest, Hungary | Bence Graics István Majzik | 2020 |