Quantitative static analysis of communication protocols using abstract Markov chains (Q2322314): Difference between revisions

@@ Property / describes a project that uses @@
+Apron
@@ Property / describes a project that uses: Apron / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LattE
@@ Property / describes a project that uses: LattE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CIL
@@ Property / describes a project that uses: CIL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PROPhESY
@@ Property / describes a project that uses: PROPhESY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-019-00331-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2908605067
@@ Property / OpenAlex ID: W2908605067 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate model checking of stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Synthesizing Probabilistic Invariants via Doob’s Decomposition
+Normal rank
@@ Property / cites work @@
+A generalization of \(p\)-boxes to affine arithmetic
+Normal rank
@@ Property / cites work @@
+Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities
+Normal rank
@@ Property / cites work @@
+Exact and ordinary lumpability in finite Markov chains
+Normal rank
@@ Property / cites work @@
+Probabilistic Abstract Interpretation
@@ Property / cites work: Probabilistic Abstract Interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3689118
@@ Property / cites work: Q3689118 / rank @@
+Normal rank
@@ Property / cites work @@
+Performance Analysis of Queuing and Computer Networks
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective lattice point counting in rational convex polytopes
+Normal rank
@@ Property / cites work @@
+Concentration of Measure for the Analysis of Randomized Algorithms
+Normal rank
@@ Property / cites work @@
+Q4778710
@@ Property / cites work: Q4778710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744679
@@ Property / cites work: Q2744679 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4094202
@@ Property / cites work: Q4094202 / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification
+Normal rank
@@ Property / cites work @@
+Automatic verification of parameterized networks of processes
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722069
@@ Property / cites work: Q2722069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763684
@@ Property / cites work: Q2763684 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation of programs as Markov decision processes
+Normal rank
@@ Property / cites work @@
+Q4738390
@@ Property / cites work: Q4738390 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4367948
@@ Property / cites work: Q4367948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131415
@@ Property / cites work: Q4131415 / rank @@
+Normal rank
@@ Property / cites work @@
+Type analysis of prolog using type graphs
@@ Property / cites work: Type analysis of prolog using type graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic analysis of pointer aliasing for untyped programs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2322314