Simin Oraee
Simin Oraee
Unknown affiliation
No verified email
Cited by
Cited by
Symbolic algorithms for graphs and Markov decision processes with fairness objectives
K Chatterjee, M Henzinger, V Loitzenbauer, S Oraee, V Toman
International Conference on Computer Aided Verification, 178-197, 2018
Trace aware random testing for distributed systems
BK Ozkan, R Majumdar, S Oraee
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
The system can't perform the operation now. Try again later.
Articles 1–2