Rebeka Farkas

According to our database1, Rebeka Farkas authored at least 3 papers between 2018 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Diversity of graph models and graph generators in mutation testing.
Int. J. Softw. Tools Technol. Transf., 2020

2019
Adaptive Step Size Control for Hybrid CT Simulation without Rollback.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

2018
Backward Reachability Analysis for Timed Automata with Data Variables.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018


  Loading...