| Theta: a framework for abstraction refinement-based model checking T Tóth, A Hajdu, A Vörös, Z Micskei, I Majzik 2017 Formal Methods in Computer Aided Design (FMCAD), 176-179, 2017 | 20 | 2017 |
| A configurable CEGAR framework with interpolation-based refinements Á Hajdu, T Tóth, A Vörös, I Majzik International Conference on Formal Techniques for Distributed Objects …, 2016 | 15 | 2016 |
| Lazy reachability checking for timed automata using interpolants T Tóth, I Majzik International Conference on Formal Modeling and Analysis of Timed Systems …, 2017 | 7 | 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 | 3 | 2014 |
| 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, 469-478, 2013 | 2 | 2013 |
| A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol T Tóth, A Vörös, I Majzik International Workshop on Software Engineering for Resilient Systems, 31-45, 2015 | 1 | 2015 |
| A Framework for Formal Verification of Real-Time Systems T Tóth | | |
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsBestätigte E-Mail-Adresse bei mit.bme.hu
