Follow
Ehsan Kafshdar Goharshady
Ehsan Kafshdar Goharshady
Verified email at ist.ac.at - Homepage
Title
Cited by
Cited by
Year
The treewidth of smart contracts
K Chatterjee, AK Goharshady, EK Goharshady
Proceedings of the 34th ACM/sigapp symposium on applied computing, 400-408, 2019
572019
Polynomial invariant generation for non-deterministic recursive programs
K Chatterjee, H Fu, AK Goharshady, EK Goharshady
ACM Conference on Programming Language Design and Implementation (PLDI), 2020
542020
Proving non-termination by program reversal
K Chatterjee, EK Goharshady, P Novotný, Đ Žikelić
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
252021
On lexicographic proof rules for probabilistic termination
K Chatterjee, EK Goharshady, P Novotný, J Zárevúcky, Đ Žikelić
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
162021
Sound and complete witnesses for template-based verification of LTL properties on polynomial programs
K Chatterjee, A Goharshady, E Goharshady, M Karrabi, Đ Žikelić
International Symposium on Formal Methods, 600-619, 2024
42024
Solving long-run average reward robust mdps via stochastic games
K Chatterjee, EK Goharshady, M Karrabi, P Novotný, Đ Žikelić
arXiv preprint arXiv:2312.13912, 2023
32023
Equivalence and similarity refutation for probabilistic programs
K Chatterjee, EK Goharshady, P Novotný, Đ Žikelić
Proceedings of the ACM on Programming Languages 8 (PLDI), 2098-2122, 2024
12024
On lexicographic proof rules for probabilistic termination
K CHATTERJEE, EK GOHARSHADY, P NOVOTNÝ, J ZÁREVUCKÝ, ...
Formal Aspects of Computing 35 (2), 1, 2025
2025
PolyHorn: A Polynomial Horn Clause Solver
K Chatterjee, AK Goharshady, EK Goharshady, M Karrabi, M Saadat, ...
arXiv preprint arXiv:2408.03796, 2024
2024
Bidding games with charging
G Avni, EK Goharshady, TA Henzinger, K Mallik
arXiv preprint arXiv:2407.06288, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–10