Publikationen
146 Einträge
2019
-
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata , 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. (Hrsg.). Springer, Berlin [u. a.], S. 262-279, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Generic Emptiness Check for Fun and Profit , 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. (Hrsg.). Springer, Berlin [u. a.], S. 445–461Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Long-run Satisfaction of Path Properties , 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, New York [u. a.], 14 S., 8785672Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms , 2019, in: ACM Transactions on Modeling and Computer Simulation. 29, 4, S. 1-26, 28Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
MorphStore - In-Memory Query Processing based on Morphing Compressed Intermediates LIVE , 2019, SIGMOD '19: Proceedings of the 2019 International Conference on Management of Data. S. 1917-1920, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
NeMeSys - Energy adaptive graph pattern matching on numa-based multiprocessor systems , 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. (Hrsg.). Gesellschaft fur Informatik (GI), S. 537-541, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights , 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. (Hrsg.). Springer, Berlin [u. a.], S. 436–452Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems , 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. (Hrsg.). Springer, Berlin [u. a.], S. 133-147, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
The 10,000 Facets of MDP Model Checking. , 2019, Computing and Software Science: State of the Art and Perspectives. Steffen, B. & Woeginger, G. (Hrsg.). Springer, Berlin [u. a.], S. 420-451Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models , 2019Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper