| The Gamma statechart composition framework: design, verification and code generation for component-based reactive systems V Molnár, B Graics, A Vörös, I Majzik, D Varró Proceedings of the 40th International Conference on Software Engineering …, 2018 | 39 | 2018 |
| Mixed-semantics composition of statecharts for the component-based design of reactive systems B Graics, V Molnár, A Vörös, I Majzik, D Varró Software and Systems Modeling 19 (6), 1483-1517, 2020 | 32 | 2020 |
| Model checking as a service: towards pragmatic hidden formal methods B Horváth, B Graics, Á Hajdu, Z Micskei, V Molnár, I Ráth, L Andolfato, ... Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 17 | 2020 |
| Pragmatic verification and validation of industrial executable SysML models B Horváth, V Molnár, B Graics, Á Hajdu, I Ráth, Á Horváth, R Karban, ... Systems Engineering 26 (6), 693-714, 2023 | 15 | 2023 |
| Formal compositional semantics for Yakindu statecharts B Graics, V Molnár BME MIT, 2017 | 9 | 2017 |
| Integration test generation and formal verification for distributed controllers B Graics, I Majzik 30TH MINISYMPOSIUM, 1, 2023 | 5 | 2023 |
| Documentation of the Gamma Statechart Composition Framework v0. 9 B Graics, V Molnár Budapest Univ. of Technology and Economics, Tech. Rep, 2016 | 5 | 2016 |
| Integration test generation for state-based components in the Gamma framework. Preprint (2022) B Graics, V Molnár, I Majzik | 5 | |
| Model-Based Testing of Asynchronously Communicating Distributed Controllers B Graics, M Mondok, V Molnár, I Majzik International Conference on Formal Aspects of Component Software, 23-44, 2023 | 4 | 2023 |
| Component‐based specification, design and verification of adaptive systems B Graics, V Molnár, I Majzik Systems Engineering 26 (5), 567-589, 2023 | 4 | 2023 |
| Model-driven design and verification of component-based reactive systems B Graics, V Molnár, A Vörös Students’s Association Report, Budapest University of Technology and Economics, 2016 | 4 | 2016 |
| Model-Driven Development of Heterogeneous Cyber-Physical Systems JC Csuvarszki, B Graics, A Vörös Proceedings of the 28th PhD Minisymposium of the Department of Measurement …, 2021 | 3 | 2021 |
| Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers B Graics, V Molnár, I Majzik International Conference on Formal Methods for Industrial Critical Systems …, 2023 | 2 | 2023 |
| Contract-based specification and test generation for adaptive systems B Graics, V Molnár, I Majzik International Conference on Dependability and Complex Systems, 136-145, 2021 | 2 | 2021 |
| Mix-and-match composition in the Gamma Framework B Graics, V Molnár 25th Minisymposium, Department of Measurement and Information Systems …, 2018 | 2 | 2018 |
| Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View DP de Almeida, B Graics, RAJ Chagas, FL de Sousa, ... 2021 10th Latin-American Symposium on Dependable Computing (LADC), 1-4, 2021 | 1 | 2021 |
| Simulation-based Safety Assessment of High-level Reliability Models S József Nagy, B Graics, K Marussy, A Vörös arXiv e-prints, arXiv: 2004.13290, 2020 | 1* | 2020 |
| Modeling and analysis of an industrial communication protocol in the Gamma framework B Graics, I Majzik 27th Minisymposium, Department of Measurement and Information Systems …, 2020 | 1 | 2020 |
| Model-Driven Development of Reactive Systems with Mixed Synchronous and Asynchronous Hierarchical Composition B Graics, V Molnár Technical report, Scientific Students’ Association, Budapest University of …, 2017 | 1 | 2017 |
| Integration test generation for state-based components in the Gamma framework B Graics, V Molnár, I Majzik Under review, 0 | 1 | |
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsVerified email at mit.bme.hu