Publications

2017

• LTL to Deterministic Emerson-Lei AutomataMüller, D. & Sickert, S., 2017, p. 180-194, 15 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Maximizing the Conditional Expected Reward for Reaching the GoalBaier, C., Klein, J., Klüppelholz, S. & Wunderlich, S., 2017, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Legay, A. & Margaria, T. (eds.). Springer, Berlin [u. a.], p. 269–285Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric AlarmsBaier, C., Dubslaff, C., Korenčiak, Ľ., Kučera, A. & Řehàk, V., 2017, Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Springer, Berlin [u. a.], p. 190-206, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian EliminationHutschenreiter, L., Klein, J. & Baier, C., 2017, Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. Bouyer, P., Orlandini, A. & San Pietro, P. (eds.).p. 16-30, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, ProceedingsSteffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T., 2017, Springer, Berlin [u. a.], 526 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Some advances in tools and algorithms for the construction and analysis of systemsBaier, C. & Tinelli, C., 2017, In: International Journal on Software Tools for Technology Transfer. 19, 6, p. 649-652, 4 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Synthesis of Optimal Resilient Control StrategiesBaier, C., Dubslaff, C., Korenčiak, Ľ., Kučera, A. & Řehàk, V., 2017, Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings. D'Souza, D. & Kumar, K. N. (eds.). Springer, Berlin [u. a.], p. 417-434, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Automated Configuration of Systems with Non-Functional ConstraintsLeuschner, L., Küttler, M., Stumpf, T., Baier, C., Härtig, H. & Klüppelholz, S., 2017, HotOS '17: Proceedings of the 16th Workshop on Hot Topics in Operating Systems. Association for Computing Machinery (ACM), New York, p. 111-117, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Automated Variant Selection for Heterogeneous Tiled ArchitecturesBaier, C., Klüppelholz, S. & Wunderlich, S., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Springer, Berlin [u. a.], p. 382-399, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report

2016

• Probabilistic model checkingBaier, C., 19 Apr 2016, Dependable Software Systems Engineering. Esparza, J., Grumberg, O. & Sickert, S. (eds.). IOS Press, p. 1-23, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report