Publikationen
146 Einträge
2017
-
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination , 2017, Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. Bouyer, P., Orlandini, A. & San Pietro, P. (Hrsg.).S. 16-30, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings , 2017, Springer, Berlin [u. a.], 526 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
-
Some advances in tools and algorithms for the construction and analysis of systems , 2017, in: International Journal on Software Tools for Technology Transfer. 19, 6, S. 649-652, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Synthesis of Optimal Resilient Control Strategies , 2017, Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings. D'Souza, D. & Kumar, K. N. (Hrsg.). Springer, Berlin [u. a.], S. 417-434, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Towards Automated Configuration of Systems with Non-Functional Constraints , 2017, HotOS '17: Proceedings of the 16th Workshop on Hot Topics in Operating Systems. Association for Computing Machinery (ACM), New York, S. 111-117, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Towards Automated Variant Selection for Heterogeneous Tiled Architectures , 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (Hrsg.). Springer, Berlin [u. a.], S. 382-399, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
2016
-
Probabilistic model checking , 19 April 2016, Dependable Software Systems Engineering. Esparza, J., Grumberg, O. & Sickert, S. (Hrsg.). IOS Press, S. 1-23, 23 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Advances in Symbolic Probabilistic Model Checking with PRISM , 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J. (Hrsg.). Springer, Berlin [u. a.], S. 349-366, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Composition of stochastic transition systems based on spans and couplings , 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 102:1-102:15Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Cost-Utility Analysis in Probabilistic Models , 2016, 2016 10th International Symposium on Theoretical Aspects of Software Engineering: TASE 2016. IEEE, New York [u. a.], S. 1-1Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband