Quantitative static analysis of communication protocols using abstract Markov chains
From MaRDI portal
Publication:2322314
DOI10.1007/s10703-019-00331-2zbMath1425.68078OpenAlexW2908605067MaRDI QIDQ2322314
Antoine Miné, Abdelraouf Ouadjaout
Publication date: 4 September 2019
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-019-00331-2
Markov chainsperformance analysisstatic analysisabstract interpretationquantitative analysiscommunication protocolsprobabilistic programs
Network protocols (68M12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A generalization of \(p\)-boxes to affine arithmetic
- Approximate model checking of stochastic hybrid systems
- The octagon abstract domain
- A probabilistic PDL
- Automatic analysis of pointer aliasing for untyped programs
- Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities
- Abstract interpretation of programs as Markov decision processes
- Effective lattice point counting in rational convex polytopes
- Probabilistic Abstract Interpretation
- Performance Analysis of Queuing and Computer Networks
- Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification
- Exact and ordinary lumpability in finite Markov chains
- Type analysis of prolog using type graphs
- Synthesizing Probabilistic Invariants via Doob’s Decomposition
- Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains
- On Context-Free Languages
- Theoretical Aspects of Computing - ICTAC 2004
- Concentration of Measure for the Analysis of Randomized Algorithms
- Automatic verification of parameterized networks of processes