Publikationen

2017

• Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software SystemsWeißbach, M., Chrszon, P., Springer, T. & Schill, A., 2017, S. 111-120, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Delayed-Choice Semantics for Pomset Families and Message Sequence GraphsDubslaff, C. & Baier, C., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J., Langerak, R. & Rensink, A. (Hrsg.). Springer, Berlin [u. a.], S. 64-84, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision ProcessesBaier, C., Klein, J., Leuschner, L., Parker, D. & Wunderlich, S., 2017, Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (Hrsg.). Springer, Berlin [u. a.], S. 160-180, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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