Publications

2016

• Advances in Symbolic Probabilistic Model Checking with PRISMKlein, J., Baier, C., Chrszon, P., Daum, M., Dubslaff, C., Klüppelholz, S., Märcker, S. & 1 others, 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J. (eds.). Springer, Berlin [u. a.], p. 349-366, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Composition of stochastic transition systems based on spans and couplingsGburek, D., Baier, C. & Klüppelholz, S., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 102:1-102:15Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Cost-Utility Analysis in Probabilistic ModelsBaier, C., 2016, 2016 10th International Symposium on Theoretical Aspects of Software Engineering: TASE 2016. IEEE, New York [u. a.], p. 1-1Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeatChrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2016, Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Stevens, P. & Wąsowski, A. (eds.). Springer, Berlin [u. a.], p. 287-304, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Greener Bits: Formal Analysis of Demand ResponseBaier, C., Klüppelholz, S., de Meer, H., Niedermeier, F. & Wunderlich, S., 2016, Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Artho, C., Legay, A. & Peled, D. (eds.). Springer, Berlin [u. a.], p. 323–339Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Markov Chains and Unambiguous Büchi AutomataBaier, C., Kiefer, S., Klein, J., Klüppelholz, S., Müller, D. & Worrell, J., 2016, Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Chaudhuri, S. & Farzan, A. (eds.). Springer, Berlin [u. a.], p. 23-42, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Modeling Role-Based Systems with Exogenous CoordinationChrszon, P., Dubslaff, C., Baier, C., Klein, J. & Klüppelholz, S., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Bonsangue, M. & Johnsen, E. B. (eds.).p. 122-139, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS HardwareVölp, M., Klüppelholz, S., Castrillon, J., Härtig, H., Asmussen, N., Aßmann, U., Baader, F. & 23 others, 2016, Proceedings of the 1st International Workshop on Post-Moore's Era Supercomputing (PMES). 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2015

• Compositional Construction of Most General ControllersKlein, J., Baier, C. & Klüppelholz, S., 2015, In: Acta Informatica. 52, 4-5, p. 443–482, 40 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Locks: Picking key methods for a scalable quantitative analysisBaier, C., Daum, M., Engel, B., Härtig, H., Klein, J., Klüppelholz, S., Märcker, S. & 2 others, 2015, In: Journal of Computer and System Sciences. 81, 1, p. 258-287, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article