Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Foundations for Entailment Checking in Quantitative Separation Logic (extended version).

K. Batz, I. Fesefeldt, M. Jansen, J. Katoen, F. Keßler, C. Matheja, und T. Noll. CoRR, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christoph Röcker University of Stuttgart

Christoph Schulz University of Stuttgart

Hon. -Prof. Christoph Müller University of Stuttgart

Dr. -Ing. Christoph Wenzel University of Stuttgart

Dr. Christoph Steinhausen University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Rule-Based Conditioning of Probabilistic Data.M. van Keulen, B. Kaminski, C. Matheja, und J. Katoen. SUM, Volume 11142 von Lecture Notes in Computer Science, Seite 290-305. Springer, (2018)Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs.H. Arndt, C. Jansen, J. Katoen, C. Matheja, und T. Noll. CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 3-11. Springer, (2018)Quantitative Separation Logic.K. Batz, B. Kaminski, J. Katoen, C. Matheja, und T. Noll. CoRR, (2018)Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms.B. Kaminski, J. Katoen, C. Matheja, und F. Olmedo. J. ACM, 65 (5): 30:1-30:68 (2018)A pre-expectation calculus for probabilistic sensitivity.A. Aguirre, G. Barthe, J. Hsu, B. Kaminski, J. Katoen, und C. Matheja. Proc. ACM Program. Lang., 5 (POPL): 1-28 (2021)Quantitative separation logic: a logic for reasoning about probabilistic pointer programs.K. Batz, B. Kaminski, J. Katoen, C. Matheja, und T. Noll. Proc. ACM Program. Lang., 3 (POPL): 34:1-34:29 (2019)Tree-Like Grammars and Separation Logic.C. Matheja, C. Jansen, und T. Noll. APLAS, Volume 9458 von Lecture Notes in Computer Science, Seite 90-108. Springer, (2015)Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning.K. Batz, B. Kaminski, J. Katoen, und C. Matheja. Proc. ACM Program. Lang., 5 (POPL): 1-30 (2021)SL-COMP: Competition of Solvers for Separation Logic.M. Sighireanu, J. Pérez, A. Rybalchenko, N. Gorogiannis, R. Iosif, A. Reynolds, C. Serban, J. Katelaan, C. Matheja, T. Noll und 14 andere Autor(en). TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 116-132. Springer, (2019)How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times.K. Batz, B. Kaminski, J. Katoen, und C. Matheja. ESOP, Volume 10801 von Lecture Notes in Computer Science, Seite 186-213. Springer, (2018)