| 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ó 2018 IEEE/ACM 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 |
| 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 International Conference on Applications and Theory of Petri Nets and …, 2016 | 10 | 2016 |
| Formal Compositional Semantics for Yakindu Statecharts B Graics, V Molnár 24th PhD Mini-Symposium (Minisy@ DMIS 2017), 22-24, 2017 | 9 | 2017 |
| 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, ... International Conference on Applications and Theory of Petri Nets and …, 2016 | 9 | 2016 |
| Component-wise incremental LTL model checking V Molnár, A Vörös, D Darvas, T Bartha, I Majzik Formal Aspects of Computing 28 (3), 345-379, 2016 | 9 | 2016 |
| Saturation-based incremental LTL model checking with inductive proofs V Molnár, D Darvas, A Vörös, T Bartha International Conference on Tools and Algorithms for the Construction and …, 2015 | 9 | 2015 |
| 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 |
| Saturation Enhanced with Conditional Locality: Application to Petri Nets V Molnár, I Majzik International Conference on Applications and Theory of Petri Nets and …, 2019 | 4 | 2019 |
| Constraint programming with multi-valued decision diagrams: a saturation approach V Molnár, I Majzik 24th PhD Mini-Symposium (Minisy@ DMIS 2017), 54-57, 2017 | 4 | 2017 |
| Configurable numerical analysis for stochastic systems K Marussy, A Klenik, V Molnár, A Voros, M Telek, I Majzik Symbolic and Numerical Methods for Reachability Analysis (SNR), 2016 …, 2016 | 4 | 2016 |
| Getting the Priorities Right: Saturation for Prioritised Petri Nets K Marussy, V Molnár, A Vörös, I Majzik International Conference on Application and Theory of Petri Nets and …, 2017 | 3 | 2017 |
| 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 |
| Extensions and generalization of the saturation algorithm in model checking V Molnár | 2 | 2019 |
| Mix-and-match composition in the Gamma Framework B Graics, V Molnár 25th Mini-Symposium, 24-27, 2018 | 2 | 2018 |
| Composable Framework Support for Software-FMEA through Model Execution V Bonfiglio, F Brancati, F Rossi, A Bondavalli, L Montecchi, A Pataricza, ... Certifications of Critical Systems-The CECRIS Experience, 1st ed., River …, 2017 | 2* | 2017 |
| Will My Program Break on This Faulty Processor? Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software L Bajczi, A Vörös, V Molnár ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-21, 2019 | 1 | 2019 |
| Evaluation of fault tolerance mechanisms with model checking V Molnár, I Majzik 23rd PhD Mini-Symposium, 30-33, 2016 | 1 | 2016 |
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsVerified email at mit.bme.hu