`Collaborated with:`

B.K.Ozkan R.Majumdar K.Chatterjee M.Henzinger V.Loitzenbauer V.Toman

`Talks about:`

distribut (1) algorithm (1) process (1) system (1) symbol (1) random (1) object (1) markov (1) trace (1) graph (1)

## Person: Simin Oraee

### DBLP: Oraee:Simin

### Contributed to:

### Wrote 2 papers:

- CAV-2018-ChatterjeeHLOT #algorithm #graph #markov #process
- Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives (KC, MH, VL, SO, VT), pp. 178–197.
- OOPSLA-2019-OzkanMO #distributed #random testing #testing
- Trace aware random testing for distributed systems (BKO, RM, SO), p. 29.