I am Simin Oraee (سیمین اورعی) a PhD student at Max Planck Institute for Software Systems. I am fortunate to have Rupak Majumdar as my advisor.
You can find my resume here.
- Trace Aware Random Testing for Distributed Systems with Burcu Kulahcioglu Ozkan and Rupak Majumdar. Proceedings of the ACM on Programming Languages (PACMPL), volume 3, number OOPSLA, 2019 [Paper]
- Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives with Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer and Viktor Toman. Proceedings of CAV, 2018. [Paper]