Seguir
Simin Oraee
Simin Oraee
Afiliação desconhecida
Nenhum e-mail foi confirmado
Título
Citado por
Citado por
Ano
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
232019
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–2