Publications

2019

• MorphStore - In-Memory Query Processing based on Morphing Compressed Intermediates LIVEHabich, D., Damme, P., Ungethüm, A., Pietrzyk, J., Krause, A., Hildebrandt, J. & Lehner, W., 2019, SIGMOD '19: Proceedings of the 2019 International Conference on Management of Data. p. 1917-1920, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• NeMeSys - Energy adaptive graph pattern matching on numa-based multiprocessor systemsKrause, A., Ungethüm, A., Kissinger, T., Habich, D. & Lehner, W., 2019, Datenbanksysteme fur Business, Technologie und Web, BTW 2019 and 18. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2019. Grust, T., Naumann, F., Bohm, A., Lehner, W., Harder, T., Rahm, E., Heuer, A., Klettke, M. & Meyer, H. (eds.). Gesellschaft fur Informatik (GI), p. 537-541, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Partial and Conditional Expectations in Markov Decision Processes with Integer WeightsPiribauer, J. & Baier, C., 2019, Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. Bojańczyk, M. & Simpson, A. (eds.). Springer, Berlin [u. a.], p. 436–452Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core SystemsSardar, M. U., Dubslaff, C., Klüppelholz, S., Baier, C. & Kumar, A., 2019, Computer Performance Engineering: 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers. Gribaudo, M., Iacono, M., Phung-Duc, T. & Razumchik, R. (eds.). Springer, Berlin [u. a.], p. 133-147, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The 10,000 Facets of MDP Model Checking.Baier, C., Hermanns, H. & Katoen, J., 2019, Computing and Software Science: State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Springer, Berlin [u. a.], p. 420-451Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• The 2019 Comparison of Tools for the Analysis of Quantitative Formal ModelsHensel, C., Klauck, M., Klein, J., Křetínský, J., Parker, D., Quatmann, T., Ruijters, E. & 3 others, 2019Electronic (full-text) versionResearch output: Contribution to conferences > Paper

2018

• From verification to synthesis under cost-utility constraintsBaier, C. & Dubslaff, C., 12 Nov 2018, In: ACM SIGLOG News. 5, 4, p. 26–46Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automataKlein, J., Baier, C., Chrszon, P., Daum, M., Dubslaff, C., Klüppelholz, S., Märcker, S. & 1 others, 2018, In: International Journal on Software Tools for Technology Transfer. 20, 2 (Special issue "TACAS'16"), p. 179-194, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Hardware/Software Stack for Heterogeneous SystemsCastrillón, J., Lieber, M., Klüppelholz, S., Völp, M., Asmussen, N., Aßmann, U., Baader, F. & 26 others, 2018, In: IEEE Transactions on Multi-Scale Computing Systems. 4, 3, p. 243-259, 17 p., 3Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Bisimulations, logics, and trace distributions for stochastic systems with rewardsGburek, D. & Baier, C., 2018, HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery (ACM), p. 31-40, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution