Dr.-Ing. Sascha KlüppelholzPerson
Person
Beitragende
- Professur für Algebraische und logische Grundlagen der Informatik- Wissenschaftliches Personal
53 Veröffentlichungen
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
Klein, J., Baier, C., Chrszon, P., Daum, M., Dubslaff, C., Klüppelholz, S. & Märcker, S. & 1 weitere, , 2018, in: International Journal on Software Tools for Technology Transfer. 20, 2 (Special issue "TACAS'16"), S. 179-194 16 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
VeröffentlichtAdvances in Symbolic Probabilistic Model Checking with PRISM
Klein, J., Baier, C., Chrszon, P., Daum, M., Dubslaff, C., Klüppelholz, S. & Märcker, S. & 1 weitere, , 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.-F. (Hrsg.). Springer, Berlin [u. a.], S. 349-366 18 S. (Lecture Notes in Computer Science, Volume 9636).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
VeröffentlichtA Hardware/Software Stack for Heterogeneous Systems
Castrillón, J., Lieber, M., Klüppelholz, S., Völp, M., Asmussen, N., Aßmann, U. & Baader, F. & 26 weitere, , 2018, in: IEEE Transactions on Multi-Scale Computing Systems. 4, 3, S. 243-259 17 S., 3.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
VeröffentlichtA Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
Baier, C., Engel, B., Klüppelholz, S., Märcker, S., Tews, H. & Völp, M., 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. (Lecture Notes in Computer Science, Volume 7871).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
VeröffentlichtAre Good-for-Games Automata Good for Probabilistic Model Checking?
Klein, J., Müller, D., Baier, C. & Klüppelholz, S., 2014, Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings. Dediu, A.-H., Martín-Vide, C., Sierra-Rodríguez, J.-L. & Truthe, B. (Hrsg.). Springer, Cham, S. 453-465 13 S. (Lecture Notes in Computer Science, Volume 8370).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
VeröffentlichtA Uniform Framework for Modeling and Verifying Components and Connectors
Baier, C., Blechmann, T., Klein, J. & Klüppelholz, S., 2009, Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Proceedings. Field, J. & Vasconcelos, V. T. (Hrsg.). Springer Berlin / Heidelberg, S. 247-267 21 S. (Lecture Notes in Computer Science, Band 5521 LNCS).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
VeröffentlichtBackward Responsibility in Transition Systems Using General Power Indices
Baier, C., van den Bossche, R., Klüppelholz, S., Lehmann, J. & Piribauer, J., 25 März 2024, in: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, S. 20320-20327 8 S.Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Beigetragen › Begutachtung
VeröffentlichtCertificates and Witnesses for Multi-objective Queries in Markov Decision Processes
Baier, C., Chau, C. & Klüppelholz, S., 2024, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings. Hillston, J., Soudjani, S. & Waga, M. (Hrsg.). Cham: Springer Nature Switzerland, S. 1-18 18 S. (Lecture Notes in Computer Science, Band 14996).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
VeröffentlichtChiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Baier, C., Daum, M., Engel, B., Härtig, H., Klein, J., Klüppelholz, S. & Märcker, S. & 2 weitere, , 2012, Proceedings Seventh Conference on Systems Software Verification. Cassez, F., Huuck, R., Klein, G. & Schlich, B. (Hrsg.). S. 156-166 11 S. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Band 102).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
VeröffentlichtComponents in Probabilistic Systems: Suitable by Construction
Baier, C., Dubslaff, C., Hermanns, H., Klauck, M., Klüppelholz, S. & Köhl, M. A., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I. Margaria, T. & Steffen, B. (Hrsg.). Springer, Cham, S. 240-261 22 S. (Lecture Notes in Computer Science, Volume 12476).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Veröffentlicht