| Affine Disjunctive Invariant Generation with Farkas' Lemma H Liu, J Ke, H Fu, L Chen, G Li arXiv preprint arXiv:2307.13318, 2023 | | 2023 |
| Affine Disjunctive Invariant Generation with Farkas’ Lemma H Liu, J Ke, H Fu, L Chen, G Li | | |
| Affine Invariant Generation via Matrix Algebra Y Ji, H Fu, B Fang | | |
| Affine loop invariant generation via matrix algebra Y Ji, H Fu, B Fang, H Chen International Conference on Computer Aided Verification, 257-281, 2022 | 6 | 2022 |
| Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs K Chatterjee, H Fu, P Novotný, R Hasheminezhad ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (2), 1-45, 2018 | 135 | 2018 |
| Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata H Fu Proceedings of the 16th international conference on Hybrid systems …, 2013 | 10 | 2013 |
| Automated Concentration Bound Analysis for Probabilistic Recurrence Relations H Fu, Y Sun, K Chatterjee, A Goharshady | | 2021 |
| Automated recurrence analysis for almost-linear expected-runtime bounds K Chatterjee, H Fu, A Murhekar International Conference on Computer Aided Verification, 118-139, 2017 | 30 | 2017 |
| Automated tail bound analysis for probabilistic recurrence relations Y Sun, H Fu, K Chatterjee, AK Goharshady International Conference on Computer Aided Verification, 16-39, 2023 | 5 | 2023 |
| Branching bisimilarity between finite-state systems and bpa or normed bpp is polynomial-time decidable H Fu Asian Symposium on Programming Languages and Systems, 327-342, 2009 | | 2009 |
| Computational approaches for stochastic shortest path on succinct MDPs K Chatterjee, H Fu, AK Goharshady, N Okati arXiv preprint arXiv:1804.08984, 2018 | 21 | 2018 |
| Computing game metrics on Markov decision processes H Fu Automata, Languages, and Programming: 39th International Colloquium, ICALP …, 2012 | 17* | 2012 |
| Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations J Wang, Y Sun, H Fu, M Huang, AK Goharshady, K Chatterjee arXiv preprint arXiv:2008.00425, 2020 | | 2020 |
| Cost analysis of nondeterministic probabilistic programs P Wang, H Fu, AK Goharshady, K Chatterjee, X Qin, W Shi Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 54 | 2019 |
| Decidability of behavioral equivalences in process calculi with name scoping C He, Y Fu, H Fu Fundamentals of Software Engineering, 284-298, 2012 | 2 | 2012 |
| Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems M Huang, H Fu, JP Katoen Information and Computation 268, 104431, 2019 | 8* | 2019 |
| Demystifying Template-Based Invariant Generation for Bit-Vector Programs P Yao, J Ke, J Sun, H Fu, R Wu, K Ren 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 1 | 2023 |
| Equational Bit-Vector Solving via Strong Gr\" obner Bases J Song, H Fu, C Zhang arXiv preprint arXiv:2402.16314, 2024 | | 2024 |
| Guided diffusion model for adversarial purification J Wang, Z Lyu, D Lin, B Dai, H Fu arXiv preprint arXiv:2205.14969, 2022 | 46 | 2022 |
| Inductive reachability witnesses A Asadi, K Chatterjee, H Fu, AK Goharshady, M Mahdavi arXiv preprint arXiv:2007.14259, 2020 | 1 | 2020 |
Krishnendu ChatterjeeProfessor, IST Austria在 ist.ac.at 的电子邮件经过验证
