Publications

Export 4 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Marcus Daum  [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.
2014
C. Baier, M. Daum, C. Dubslaff, J. Klein, and S. Klüppelholz, “Energy-Utility Quantiles”, in Proc. of the 6th NASA Formal Methods Symposium (NFM), 2014.
C. Baier, et al., “Probabilistic Model Checking and Non-standard Multi-objective Reasoning”, in Proc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE), 2014.
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.