Publikationen

2017

• LTL to Deterministic Emerson-Lei AutomataMüller, D. & Sickert, S., 2017, S. 180-194, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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. (Hrsg.). Springer, Berlin [u. a.], S. 269–285Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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.], S. 190-206, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.).S. 16-30, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• 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, S. 649-652, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 417-434, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 111-117, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 382-399, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten

2016

• Probabilistic model checkingBaier, C., 19 April 2016, Dependable Software Systems Engineering. Esparza, J., Grumberg, O. & Sickert, S. (Hrsg.). IOS Press, S. 1-23, 23 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten