Rebeka Farkas
Cím
Hivatkozott rá
Hivatkozott rá
Év
Towards reliable benchmarks of timed automata
R Farkas, G Bergmann
BME MIT, 2018
22018
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 (1), 57-78, 2020
12020
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
12019
Adaptive Step Size Control for Hybrid CT Simulation without Rollback
R Farkas, G Bergmann, Á Horváth
Proceedings of the 13th International Modelica Conference, Regensburg …, 2019
12019
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
Verification of Timed Automata by CEGAR-Based Algorithms
R Farkas, A Vörös, T Tóth, Á Hajdu
2016
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–7