Publikationen

2016

• The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS HardwareVölp, M., Klüppelholz, S., Castrillon, J., Härtig, H., Asmussen, N., Aßmann, U., Baader, F. & 23 weitere, 2016, Proceedings of the 1st International Workshop on Post-Moore's Era Supercomputing (PMES). 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2015

• Compositional Construction of Most General ControllersKlein, J., Baier, C. & Klüppelholz, S., 2015, in: Acta Informatica. 52, 4-5, S. 443–482, 40 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Locks: Picking key methods for a scalable quantitative analysisBaier, C., Daum, M., Engel, B., Härtig, H., Klein, J., Klüppelholz, S., Märcker, S. & 2 weitere, 2015, in: Journal of Computer and System Sciences. 81, 1, S. 258-287, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Probabilistic Model Checking for Feature-oriented SystemsDubslaff, C., Baier, C. & Klüppelholz, S., 2015, Transactions on Aspect-Oriented Software Development XII. Chiba, S., Tanter, É., Ernst, E. & Hirschfeld, R. (Hrsg.). Springer, Berlin [u. a.], S. 180-220, 41 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Quantitative Analysis of Communication ScenariosDubslaff, C. & Baier, C., 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Sankaranarayanan, S. & Vicario, E. (Hrsg.). Springer, Cham, S. 76-92, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Ratio and Weight QuantilesKrähmann, D., Schubert, J., Baier, C. & Dubslaff, C., 2015, Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Italiano, G. F., Pighizzini, G. & Sannella, D. T. (Hrsg.). Springer, Berlin [u. a.], S. 344-356, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Reasoning About Cost-Utility Constraints in Probabilistic ModelsBaier, C., 2015, Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings. Bojanczyk, M., Lasota, S. & Potapov, I. (Hrsg.). Springer, Cham, S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. ProceedingsBaier, C. & Tinelli, C., 2015, Springer, Berlin [u. a.]Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband

2014

• Are Good-for-Games Automata Good for Probabilistic Model Checking?Klein, J., Müller, D., Baier, C. & Klüppelholz, S., 2014, Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings. Dediu, A., Martín-Vide, C., Sierra-Rodríguez, J. & Truthe, B. (Hrsg.). Springer, Cham, S. 453-465, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Computing Conditional Probabilities in Markovian Models EfficientlyBaier, C., Klein, J., Klüppelholz, S. & Märcker, S., 2014, Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Ábrahám, E. & Havelund, K. (Hrsg.). Springer, Berlin [u. a.], S. 515-530, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband