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
602019
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
572020
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
172021
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
52023
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
Bidding games with charging
G Avni, EK Goharshady, TA Henzinger, K Mallik
arXiv preprint arXiv:2407.06288, 2024
32024
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
22024
Refuting Equivalence in Probabilistic Programs with Conditioning
K Chatterjee, EK Goharshady, P Novotný, Đ Žikelić
arXiv preprint arXiv:2501.06579, 2025
2025
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
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
K Chatterjee, EK Goharshady, M Karrabi, HJ Motwani, M Seeliger, ...
arXiv preprint arXiv:2412.16226, 2024
2024
PolyHorn: A Polynomial Horn Clause Solver
K Chatterjee, AK Goharshady, EK Goharshady, M Karrabi, M Saadat, ...
arXiv preprint arXiv:2408.03796, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–12