Farkas Rebeka
"Adaptive Step Size Control for Hybrid CT Simulation without Rollback",
13th International Modelica Conference, OTH Regensburg, Germany, 2019.
"Towards Reliable Benchmarks of Timed Automata",
Proceedings of the 25th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2018.
"Activity-Based Abstraction Refinement for Timed Systems",
Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 18–21, 2017.
Abstract
"Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata",
23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, 2016.
