| Theta: a framework for abstraction refinement-based model checking T Tóth, Á Hajdu, A Vörös, Z Micskei, I Majzik 2017 Formal Methods in Computer Aided Design (FMCAD), 176-179, 2017 | 81 | 2017 |
| A configurable CEGAR framework with interpolation-based refinements Á Hajdu, T Tóth, A Vörös, I Majzik Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016 | 26 | 2016 |
| Lazy reachability checking for timed automata using interpolants T Tóth, I Majzik Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017 | 14 | 2017 |
| Configurable verification of timed automata with discrete variables T Tóth, I Majzik Acta Informatica 59 (1), 1-35, 2022 | 6 | 2022 |
| Towards evaluating size reduction techniques for software model checking G Sallai, Á Hajdu, T Tóth, Z Micskei arXiv preprint arXiv:1708.07224, 2017 | 6 | 2017 |
| Lazy reachability checking for timed automata with discrete variables T Tóth, I Majzik Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018 | 5 | 2018 |
| K-induction based verification of real-time safety critical systems T Tóth, A Vörös, I Majzik New Results in Dependability and Computer Systems: Proceedings of the 8th …, 2013 | 5 | 2013 |
| Exploiting hierarchy in the abstraction-based verification of statecharts using SMT solvers B Czipó, A Hajdu, T Tóth, I Majzik arXiv preprint arXiv:1703.07350, 2017 | 4 | 2017 |
| Verification of a real-time safety-critical protocol using a modelling language with formal data and behaviour semantics T Tóth, A Vörös International Conference on Computer Safety, Reliability, and Security, 207-218, 2014 | 4 | 2014 |
| Backward reachability analysis for timed automata with data variables R Farkas, T Tóth, Á Hajdu, A Vörös Electronic Communications of the EASST 76, 2019 | 2 | 2019 |
| A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol T Tóth, A Vörös, I Majzik Software Engineering for Resilient Systems: 7th International Workshop …, 2015 | 2 | 2015 |
| A Framework for Formal Verification of Real-Time Systems T Tóth | | |
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
