| 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 | 40 | 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 | 31 | 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 | 18 | 2023 |
| 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 | 18 | 2020 |
| Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution) Z Ádám, L Bajczi, M Dobos-Kovács, Á Hajdu, V Molnár International Conference on Tools and Algorithms for the Construction and …, 2022 | 12 | 2022 |
| Industrial applications of the PetriDotNet modelling and analysis tool A Vörös, D Darvas, Á Hajdu, A Klenik, K Marussy, V Molnár, T Bartha, ... Science of Computer Programming 157, 17-40, 2018 | 11 | 2018 |
| Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models K Marussy, A Klenik, V Molnár, A Vörös, I Majzik, M Telek Application and Theory of Petri Nets and Concurrency: 37th International …, 2016 | 10 | 2016 |
| Saturation-based incremental LTL model checking with inductive proofs V Molnár, D Darvas, A Vörös, T Bartha Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 10 | 2015 |
| Component-wise incremental LTL model checking V Molnár, A Vörös, D Darvas, T Bartha, I Majzik Formal Aspects of Computing 28, 345-379, 2016 | 9 | 2016 |
| PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research A Vörös, D Darvas, V Molnár, A Klenik, Á Hajdu, A Jámbor, T Bartha, ... Application and Theory of Petri Nets and Concurrency: 37th International …, 2016 | 9 | 2016 |
| Formal compositional semantics for Yakindu statecharts B Graics, V Molnár Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, 22-25, 2017 | 8 | 2017 |
| Assessing the specification of modelling language semantics: a study on UML PSSM M Elekes, V Molnár, Z Micskei Software Quality Journal 31 (2), 575-617, 2023 | 7 | 2023 |
| C for yourself: comparison of front-end techniques for formal verification L Bajczi, Z Ádám, V Molnár Proceedings of the IEEE/ACM 10th International Conference on Formal Methods …, 2022 | 5 | 2022 |
| Model checking-based software-FMEA: Assessment of fault tolerance and error detection mechanisms V Molnár, I Majzik Periodica Polytechnica Electrical Engineering and Computer Science 61 (2 …, 2017 | 5 | 2017 |
| 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 |
| Theta: Abstraction based techniques for verifying concurrency (competition contribution) L Bajczi, C Telbisz, M Somorjai, Z Ádám, M Dobos-Kovács, D Szekeres, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 4 | 2024 |
| 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 |
| Saturation enhanced with conditional locality: application to Petri Nets V Molnár, I Majzik Application and Theory of Petri Nets and Concurrency: 40th International …, 2019 | 4 | 2019 |
| Constraint programming with multi-valued decision diagrams: a saturation approach V Molnár, I Majzik 24th PhD Mini-Symposium, Budapest, Hungary, 54-57, 2017 | 4 | 2017 |
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
