Publikationen
146 Einträge
2018
-
ProFeat: Feature-oriented Engineering for Family-based Probabilistic Model Checking , 2018, in: Formal Aspects of Computing. 30, 1, S. 45-75, 31 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes , 2018, LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery (ACM), New York, S. 86-94, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
2017
-
Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015) , 24 April 2017, in: Acta informatica. 54, 8, S. 727–728Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Leitartikel (Editorial)
-
Computing Conditional Probabilities: Implementation and Evaluation , 2017, Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings. Cimatti, A. & Sirjani, M. (Hrsg.). Springer, Berlin [u. a.], S. 349-366, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems , 2017, S. 111-120, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs , 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J., Langerak, R. & Rensink, A. (Hrsg.). Springer, Berlin [u. a.], S. 64-84, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes , 2017, Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (Hrsg.). Springer, Berlin [u. a.], S. 160-180, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
LTL to Deterministic Emerson-Lei Automata , 2017, S. 180-194, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Maximizing the Conditional Expected Reward for Reaching the Goal , 2017, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Legay, A. & Margaria, T. (Hrsg.). Springer, Berlin [u. a.], S. 269–285Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms , 2017, Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Springer, Berlin [u. a.], S. 190-206, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband