Travelled to:2 × Estonia
Collaborated with:∅ F.v.Breugel
Talks about:probabilist (1) comparison (1) implement (1) sequenti (1) reachabl (1) progress (1) probabl (1) method (1) measur (1) comput (1)
Person: Elise Cormie-Bowins
DBLP: Cormie-Bowins:Elise
Contributed to:
2012
2012Wrote 2 papers:
- GRAPHITE-2012-Cormie-Bowins #comparison #gpu #implementation #reachability
- A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities (ECB), pp. 20–34.
- QAPL-2012-CormieBowinsB #ltl #model checking #probability
- Measuring Progress of Probabilistic LTL Model Checking (ECB, FvB), pp. 33–47.