Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. - Krishnendu Chatterjee; Monika Henzinger; Veronika Loitzenbauer; Simin Oraee; Viktor Toman (CAV (2), 2018)

Trace aware random testing for distributed systems. - Burcu Kulahcioglu Ozkan; Rupak Majumdar; Simin Oraee (Proc. ACM Program. Lang., 2019)