Publications

2019

• The 10,000 Facets of MDP Model Checking.Baier, C., Hermanns, H. & Katoen, J., 2019, Computing and Software Science: State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Springer, Berlin [u. a.], p. 420-451Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• The 2019 Comparison of Tools for the Analysis of Quantitative Formal ModelsHensel, C., Klauck, M., Klein, J., Křetínský, J., Parker, D., Quatmann, T., Ruijters, E. & 3 others, 2019Electronic (full-text) versionResearch output: Contribution to conferences > Paper

2018

• From verification to synthesis under cost-utility constraintsBaier, C. & Dubslaff, C., 12 Nov 2018, In: ACM SIGLOG News. 5, 4, p. 26–46Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automataKlein, J., Baier, C., Chrszon, P., Daum, M., Dubslaff, C., Klüppelholz, S., Märcker, S. & 1 others, 2018, In: International Journal on Software Tools for Technology Transfer. 20, 2 (Special issue "TACAS'16"), p. 179-194, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Hardware/Software Stack for Heterogeneous SystemsCastrillón, J., Lieber, M., Klüppelholz, S., Völp, M., Asmussen, N., Aßmann, U., Baader, F. & 26 others, 2018, In: IEEE Transactions on Multi-Scale Computing Systems. 4, 3, p. 243-259, 17 p., 3Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Bisimulations, logics, and trace distributions for stochastic systems with rewardsGburek, D. & Baier, C., 2018, HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery (ACM), New York, p. 31-40, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Decision making improves sperm chemotaxis in the presence of noiseKromer, J. A., Märcker, S., Lange, S., Baier, C. & Friedrich, B. M., 2018, In: PLoS Computational Biology. 14, 4, 15 p., e1006109Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Energy-Utility Analysis of Probabilistic Systems with Exogenous CoordinationBaier, C., Chrszon, P., Dubslaff, C., Klein, J. & Klüppelholz, S., 2018, It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. de Boer, F., Bonsangue, M. & Rutten, J. (eds.). Springer, Berlin [u. a.], p. 38–56Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Formal Parameter Synthesis for Energy-Utility-Optimal Fault ToleranceHerrmann, L., Baier, C., Fetzer, C., Klüppelholz, S. & Napierkowski, M., 2018, Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. Bakhshi, R., Ballarini, P., Barbot, B., Castel-Taleb, H. & Remke, A. (eds.). Springer, Berlin [u. a.], p. 78-93, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, ProceedingsBaier, C. & Caires, L., 2018, Springer, Berlin [u. a.], 197 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding