Backward Reachability Analysis for Timed Automata with Data Variables. - Rebeka Farkas; Tamás Tóth; Ákos Hajdu; András Vörös 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)

Adaptive Step Size Control for Hybrid CT Simulation without Rollback. - Rebeka Farkas; Gábor Bergmann; Ákos Horváth 001 (Modelica, 2019)

Diversity of graph models and graph generators in mutation testing. - Oszkár Semeráth; Rebeka Farkas; Gábor Bergmann; Dániel Varró (Int. J. Softw. Tools Technol. Transf., 2020)