Sledovat
Simin Oraee
Simin Oraee
Neznámá organizace
Žádná ověřená e-mailová adresa
Název
Citace
Citace
Rok
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–2