Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Oraee, Simin
5  Ergebnisse:
Personensuche X
?
1

Trace aware random testing for distributed systems:

Ozkan, Burcu Kulahcioglu ; Majumdar, Rupak ; Oraee, Simin
Proceedings of the ACM on Programming Languages.  3 (2019)  OOPSLA - p. 1-29 , 2019
Link: https://doi.org/10.1145/..
 
?
2

Trace aware random testing for distributed systems:

Ozkan, Burcu Kulahcioglu ; Majumdar, Rupak ; Oraee, Simin
Proceedings of the ACM on Programming Languages.  3 (2019)  OOPSLA - p. 1-29 , 2019
Link: https://dl.acm.org/doi/1..
 
?
3

Symbolic Algorithms for Graphs and Markov Decision Processe..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Chatterjee, Krishnendu ; Henzinger, Monika ; Loitzenbauer, Veronika.. - p. 178-197 , 2018
Link: https://doi.org/10.1007/..
 
?
4

Symbolic algorithms for graphs and Markov decision processe..:

Chatterjee, Krishnendu ; Henzinger, Monika H ; Loitzenbauer, Veronika..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-96142-2_13.  , 2018
Link: https://research-explore..
 
?
5

Symbolic Algorithms for Graphs and Markov Decision Processe..:

Chatterjee, Krishnendu ; Henzinger, Monika ; Loitzenbauer, Veronika..
http://arxiv.org/abs/1804.00206.  , 2018
Link: http://arxiv.org/abs/180..
 
1-5