
Quantitative Analysis of Assertion Violations in Probabilistic Programs
In this work, we consider the fundamental problem of deriving quantitati...
read it

ConcentrationBound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations
Analyzing probabilistic programs and randomized algorithms are classical...
read it

Inductive Reachability Witnesses
In this work, we consider the fundamental problem of reachability analys...
read it

Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth
Discretetime Markov Chains (MCs) and Markov Decision Processes (MDPs) a...
read it

Optimal and Perfectly Parallel Algorithms for Ondemand Dataflow Analysis
Interprocedural dataflow analyses form an expressive and useful paradig...
read it

Probabilistic Smart Contracts: Secure Randomness on the Blockchain
In today's programmable blockchains, smart contracts are limited to bein...
read it

Cost Analysis of Nondeterministic Probabilistic Programs
We consider the problem of expected cost analysis over nondeterministic ...
read it

Polynomial Invariant Generation for Nondeterministic Recursive Programs
We present a sound and complete method to generate inductive invariants ...
read it

Compositional Analysis for AlmostSure Termination of Probabilistic Programs
In this work, we consider the almostsure termination problem for probab...
read it

Ergodic MeanPayoff Games for the Analysis of Attacks in CryptoCurrencies
Cryptocurrencies are digital assets designed to work as a medium of exc...
read it

A note on belief structures and Sapproximation spaces
We study relations between evidence theory and Sapproximation spaces. B...
read it

Secure Credit Reporting on the Blockchain
We present a secure approach for maintaining and reporting credit histor...
read it

Computational Approaches for Stochastic Shortest Path on Succinct MDPs
We consider the stochastic shortest path (SSP) problem for succinct Mark...
read it

Quantitative Analysis of Smart Contracts
Smart contracts are computer programs that are executed by a network of ...
read it

A Short Note on Parameterized Computation of Network Reliability with respect to Treewidth
We consider the classic problem of network reliability. A network is giv...
read it
Amir Kafshdar Goharshady
is this you? claim profile