Probabilistic output analysis by program manipulation

DOI10.4204/EPTCS.194.8MaRDI QIDQ7031236zbMATH OpenFDO

Authors Mads Rosendahl, Maja H. Kirkeby

Publication date 6 February 2025

Full work available at URL https://doi.org/10.4204/EPTCS.194.8

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites work

• A framework for verification and debugging of resource usage properties: resource usage verification
• A generalization of \(p\)-boxes to affine arithmetic
• A lattice model of secure information flow
• A software tool for automatically verified operations on intervals and probability distributions
• Abstract Interpretation for Worst and Average Case Analysis
• Algorithms for Dempster-Shafer theory
• Automatic average-case analysis of algorithms
• scientific article; zbMATH DE number 1617330 (Why is no real title available?)
• scientific article; zbMATH DE number 1953287 (Why is no real title available?)
• Mechanical program analysis
• Probabilistic abstract interpretation
• Probabilistic data flow analysis: a linear equational approach
• Semantics of probabilistic programs
• Symbolic Loop Bound Computation for WCET Analysis
• The concept of comonotonicity in actuarial science and finance: applications.

Cited in

(1)

• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: Probabilistic output analysis by program manipulation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7031236)