Simin Oraee

About

Hello

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.

Publications

• 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]