Publications

2014

• Probabilistic Model Checking for Energy Analysis in Software Product LinesDubslaff, C., Klüppelholz, S. & Baier, C., 2014, MODULARITY '14: Proceedings of the 13th international conference on Modularity. Association for Computing Machinery (ACM), New York, p. 169-180, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Probabilistic Model Checking for Energy-Utility AnalysisBaier, C., Dubslaff, C., Klein, J., Klüppelholz, S. & Wunderlich, S., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer, Cham, p. 96-123, 28 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Synthesis of Reo Connectors for Strategies and ControllersBaier, C., Klein, J. & Klüppelholz, S., 2014, In: Fundamenta Informaticae. 130, 1, p. 1-20, 20 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Trade-off Analysis Meets Probabilistic Model CheckingBaier, C., Dubslaff, C. & Klüppelholz, S., 2014, CSL-LICS '14: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Association for Computing Machinery (ACM), New York, p. 1-10Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Weight Monitoring with Linear Temporal Logic: Complexity and DecidabilityBaier, C., Klein, J., Klüppelholz, S. & Wunderlich, S., 2014, CSL-LICS '14: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)v. Association for Computing Machinery (ACM), New York, p. 1-10, 11Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2013

• A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-SelectBaier, C., Engel, B., Klüppelholz, S., Märcker, S., Tews, H. & Völp, M., 2013, NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Brat, G., Rungta, N. & Venet, A. (eds.). Springer, Berlin [u. a.], p. 307-321, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Computing Quantiles in Markov Reward ModelsUmmels, M. & Baier, C., 2013, Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings. Pfenning, F. (ed.). Springer, Berlin [u. a.], p. 353-368, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Distributed wait state tracking for runtime MPI deadlock detectionHilbrich, T., de Supinski, B. R., Nagel, W. E., Protze, J., Baier, C. & Müller, M. S., 2013, SC '13: Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis. IEEE, New York [u. a.], p. 1-12, 12 p., 16Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Model Checking for PerformabilityBaier, C., Hahn, E. M., Haverkort, B. R., Herrmanns, H. & Katoen, J., 2013, In: Mathematical Structures in Computer Science. 23, 4, p. 751-795, 45 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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