Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Hendrik Tews  [Clear All Filters]
2015
C. Baier, et al., “Locks: Picking key methods for a scalable quantitative analysis”, Journal of Computer and System Sciences, vol. 81, p. 258–287, 2015.
2013
C. Baier, B. Engel, S. Klüppelholz, S. Märcker, H. Tews, and M. Völp, “A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select”, in NASA Formal Methods, 5th Symposium, NFM13, 2013, vol. 7871, p. 307-321.
2012
C. Baier, et al., “Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code”, in Systems Software Verification, 7th Conference, SSV12, 2012, vol. 102, p. 155-166.