Publikationen

2018

• Formal Parameter Synthesis for Energy-Utility-Optimal Fault ToleranceHerrmann, L., Baier, C., Fetzer, C., Klüppelholz, S. & Napierkowski, M., 2018, Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. Bakhshi, R., Ballarini, P., Barbot, B., Castel-Taleb, H. & Remke, A. (Hrsg.). Springer, Berlin [u. a.], S. 78-93, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, ProceedingsBaier, C. & Caires, L., 2018, Springer, Berlin [u. a.], 197 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. ProceedingsBaier, C. & Dal Lago, U., 2018, Springer, ChamElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Model Checking Probabilistic SystemsBaier, C., de Alfaro, L., Forejt, V. & Kwiatkowska, M., 2018, Handbook of Model Checking. Clarke, E. M., Henzinger, T. A., Veith, H. & Bloem, R. (Hrsg.). Springer, Cham, S. 963-999, 37 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• ProFeat: Feature-oriented Engineering for Family-based Probabilistic Model CheckingChrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2018, in: Formal Aspects of Computing. 30, 1, S. 45-75, 31 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision ProcessesBaier, C., Bertrand, N., Dubslaff, C., Gburek, D. & Sankur, O., 2018, LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery (ACM), New York, S. 86-94, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2017

• Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)Baier, C. & Tinelli, C., 24 April 2017, in: Acta informatica. 54, 8, S. 727–728Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Leitartikel (Editorial)
• Computing Conditional Probabilities: Implementation and EvaluationMärcker, S., Baier, C., Klein, J. & Wunderlich, S., 2017, Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings. Cimatti, A. & Sirjani, M. (Hrsg.). Springer, Berlin [u. a.], S. 349-366, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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