Publikationen

2019

• Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core SystemsSardar, M. U., Dubslaff, C., Klüppelholz, S., Baier, C. & Kumar, A., 2019, Computer Performance Engineering: 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers. Gribaudo, M., Iacono, M., Phung-Duc, T. & Razumchik, R. (Hrsg.). Springer, Berlin [u. a.], S. 133-147, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 420-451Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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 weitere, 2019Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper

2018

• From verification to synthesis under cost-utility constraintsBaier, C. & Dubslaff, C., 12 Nov. 2018, in: ACM SIGLOG News. 5, 4, S. 26–46Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 weitere, 2018, in: International Journal on Software Tools for Technology Transfer. 20, 2 (Special issue "TACAS'16"), S. 179-194, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 weitere, 2018, in: IEEE Transactions on Multi-Scale Computing Systems. 4, 3, S. 243-259, 17 S., 3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 31-40, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 S., e1006109Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 38–56Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 78-93, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband