Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs (Q2802489): Difference between revisions

@@ Property / author @@
+Joost-Pieter Katoen
@@ Property / author: Joost-Pieter Katoen / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2222812367
@@ Property / OpenAlex ID: W2222812367 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01001
@@ Property / arXiv ID: 1601.01001 / rank @@
+Normal rank
@@ Property / cites work @@
+A general framework for sound and complete Floyd-Hoare logics
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Based Program Synthesis and Transformation
@@ Property / cites work: Logic Based Program Synthesis and Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Runtime analysis of probabilistic programs with unbounded recursion
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Termination
@@ Property / cites work: Probabilistic Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of time and space
@@ Property / cites work: Formalization of time and space / rank @@
+Normal rank
@@ Property / cites work @@
+A probability perspective
@@ Property / cites work: A probability perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Automating program analysis
@@ Property / cites work: Automating program analysis / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484343
@@ Property / cites work: Q4484343 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Hardness of Almost–Sure Termination
@@ Property / cites work: On the Hardness of Almost–Sure Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Probability and Computing
@@ Property / cites work: Probability and Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778698
@@ Property / cites work: Q4778698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856179
@@ Property / cites work: Q4856179 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hoare-like proof system for analysing the computation time of programs
+Normal rank
@@ Property / cites work @@
+Semantics with applications: an appetizer.
@@ Property / cites work: Semantics with applications: an appetizer. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002149
@@ Property / cites work: Q4002149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+conf/esop/KaminskiKMO16
@@ Property / DBLP publication ID: conf/esop/KaminskiKMO16 / rank @@
+Normal rank