Publikationen
146 Einträge
2014
-
Trade-off Analysis Meets Probabilistic Model Checking , 2014, CSL-LICS '14: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Association for Computing Machinery (ACM), New York, S. 1-10Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Weight Monitoring with Linear Temporal Logic: Complexity and Decidability , 2014, CSL-LICS '14: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)v. Association for Computing Machinery (ACM), New York, S. 1-10, 11Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
2013
-
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select , 2013, NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Brat, G., Rungta, N. & Venet, A. (Hrsg.). Springer, Berlin [u. a.], S. 307-321, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Computing Quantiles in Markov Reward Models , 2013, Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings. Pfenning, F. (Hrsg.). Springer, Berlin [u. a.], S. 353-368, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Distributed wait state tracking for runtime MPI deadlock detection , 2013, SC '13: Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis. IEEE, New York [u. a.], S. 1-12, 12 S., 16Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Model Checking for Performability , 2013, in: Mathematical Structures in Computer Science. 23, 4, S. 751-795, 45 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata , 2013, Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings. Muntean, T., Poulakis, D. & Rolland, R. (Hrsg.). Springer, Berlin [u. a.], S. 4-5, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
2012
-
Static Partial Order Reduction for Probabilistic Concurrent Systems , 20 Sept. 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems. IEEE, New York [u. a.], S. 104-113, 10 S., 6354638Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code , 2012, Proceedings Seventh Conference on Systems Software Verification. Cassez, F., Huuck, R., Klein, G. & Schlich, B. (Hrsg.).S. 156-166, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Model checking probabilistic systems against pushdown specifications , 2012, in: Information processing letters : devoted to the rapid publication of short contributions to information processing. 112, 8-9, S. 320-328, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel