Follow
Simin Oraee
Simin Oraee
Unknown affiliation
No verified email
Title
Cited by
Cited by
Year
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
222019
Symbolic algorithms for graphs and Markov decision processes with fairness objectives
K Chatterjee, M Henzinger, V Loitzenbauer, S Oraee, V Toman
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
112018
The system can't perform the operation now. Try again later.
Articles 1–2