Publications

2013

• Quantitative Analysis of Randomized Distributed Systems and Probabilistic AutomataBaier, C., 2013, Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings. Muntean, T., Poulakis, D. & Rolland, R. (eds.). Springer, Berlin [u. a.], p. 4-5, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2012

• Static Partial Order Reduction for Probabilistic Concurrent SystemsFern'ndez-Díaz, Á., Baier, C., Benac-Earle, C. & Fredlund, L., 20 Sep 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems. IEEE, New York [u. a.], p. 104-113, 10 p., 6354638Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System CodeBaier, C., Daum, M., Engel, B., Härtig, H., Klein, J., Klüppelholz, S., Märcker, S. & 2 others, 2012, Proceedings Seventh Conference on Systems Software Verification. Cassez, F., Huuck, R., Klein, G. & Schlich, B. (eds.).p. 156-166, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Model checking probabilistic systems against pushdown specificationsDubslaff, C., Baier, C. & Berg, M., 2012, In:  Information processing letters : devoted to the rapid publication of short contributions to information processing. 112, 8-9, p. 320-328, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Probabilistic omega-automataBaier, C., Groesser, M. & Bertrand, N., 2012, In: Journal of the ACM. 59, 1, p. 1-52Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Rare-event verification for stochastic hybrid systemsZuliani, P., Baier, C. & Clarke, E. M., 2012, HSCC '12: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. Dang, T. & Mitchell, I. M. (eds.). Association for Computing Machinery (ACM), New York, p. 217-226, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Stochastic Game LogicBaier, C., Kučera, A., Groesser, M. & Brázdil, T., 2012, In: Acta Informatica. 49, 4, p. 203-224, 22 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Waiting for locks: How long does it usually take?Baier, C., Daum, M., Engel, B., Härtig, H., Klein, J., Klüppelholz, S., Märcker, S. & 2 others, 2012, Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings. Stoelinga, M. & Pinger, R. (eds.). Springer, Berlin [u. a.], p. 47-62, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2008

• Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)Baier, C. & Aldini, A., 12 Dec 2008, Elsevier Science B.V., 199 p.Research output: Book/Report/Anthology > Conference proceeding
• Principles of Model CheckingKatoen, J. & Baier, C., 2008, Neuerscheinung ed., Cambridge, 975 p.Research output: Book/Report/Anthology > Monograph