Publications

2019

• 46th International Colloquium on Automata, Languages, and Programming: ICALP 2019, July 9-12, 2019, Patras, GreeceBaier, C., Chatzigiannakis, I., Flocchini, P. & Leonardi, S., 2019, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2186 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Breaking the Limits of Redundancy Systems AnalysisDubslaff, C., Ding, K., Morozov, A., Baier, C. & Janschek, K., 2019, Proceedings of the 29th European Safety and Reliability Conference (ESREL). Beer, M. & Zio, E. (eds.). Research Publishing Services, p. 2317-2324, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Compositional Feature-Oriented SystemsDubslaff, C., 2019, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings. Ölveczky, P. C. & Salaün, G. (eds.). Springer-Verlag, p. 162-180, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating AutomataJantsch, S., Müller, D., Baier, C. & Klein, J., 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, Berlin [u. a.], p. 262-279, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Generic Emptiness Check for Fun and ProfitBaier, C., Blahoudek, F., Duret-Lutz, A., Klein, J., Müller, D. & Strejček, J., 2019, Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings. Chen, Y., Cheng, C. & Esparza, J. (eds.). Springer, Berlin [u. a.], p. 445–461Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Long-run Satisfaction of Path PropertiesBaier, C., Bertrand, N., Piribauer, J. & Sankur, O., 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, New York [u. a.], 14 p., 8785672Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric AlarmsBaier, C., Dubslaff, C., Korenčiak, Ľ., Kučera, A. & Řehàk, V., 2019, In: ACM Transactions on Modeling and Computer Simulation. 29, 4, p. 1-26, 28Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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