Follow
Rebeka Farkas
Title
Cited by
Cited by
Year
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
192020
Adaptive step size control for hybrid ct simulation without rollback
R Farkas, G Bergmann, Á Horváth
72019
Towards reliable benchmarks of timed automata
R Farkas, G Bergmann
BME MIT, 2018
72018
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
22019
Verification of Timed Automata by CEGAR-Based Algorithms
R Farkas, A Vörös, T Tóth, Á Hajdu
12016
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
The system can't perform the operation now. Try again later.
Articles 1–8