Diversity of graph models and graph generators in mutation testing O Semeráth, R Farkas, G Bergmann, D Varró International Journal on Software Tools for Technology Transfer 22, 57-78, 2020 | 20 | 2020 |
Adaptive step size control for hybrid ct simulation without rollback R Farkas, G Bergmann, Á Horváth | 7 | 2019 |
Towards reliable benchmarks of timed automata R Farkas, G Bergmann BME MIT, 2018 | 7 | 2018 |
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 |
Verification of Timed Automata by CEGAR-Based Algorithms R Farkas, A Vörös, T Tóth, Á Hajdu | 1 | 2016 |
Towards Interactive Learning for Model-based Software Engineering Á Barcsa-Szabó, B Várady, R Farkas, V Molnár, A Vörös 28th PhD Minisymposium of the Department of Measurement and Information …, 2021 | | 2021 |
Activity-Based Abstraction Refinement for Timed Systems R Farkas, Á Hajdu BME MIT, 2017 | | 2017 |
Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata R Farkas, A Vörös | | 2016 |