Hongfei Fu

Identifiers

• name variant Hongfei Fu 0.60 · backfill

Papers (15)

1. Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities cs.LO · 2026 · author #2
2. Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation cs.AI · 2026 · author #3
3. High-order nonuniform time-stepping and MBP-preserving linear schemes for the time-fractional Allen-Cahn equation math.NA · 2025 · author #2
4. Polynomial Invariant Generation for Floating-Point Programs cs.PL · 2025 · author #3
5. Cost Analysis of Nondeterministic Probabilistic Programs cs.PL · 2019 · author #2
6. New Approaches for Almost-Sure Termination of Probabilistic Programs cs.LO · 2018 · author #2
7. Computational Approaches for Stochastic Shortest Path on Succinct MDPs cs.PL · 2018 · author #2
8. Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties cs.FL · 2017 · author #1
9. Non-polynomial Worst-Case Analysis of Recursive Programs cs.PL · 2017 · author #2
10. Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds cs.PL · 2017 · author #2
11. Termination of Nondeterministic Recursive Probabilistic Programs cs.PL · 2017 · author #2
12. Termination Analysis of Probabilistic Programs through Positivstellensatz's cs.PL · 2016 · author #2
13. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs cs.LO · 2015 · author #2
14. Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes cs.SY · 2013 · author #1
15. Approximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed Automata cs.SY · 2012 · author #1

Mentions

• 1210.4787 #1 · backfill · confidence 0.70 Hongfei Fu

Frequent Coauthors

• Krishnendu Chatterjee 8 shared papers
• Amir Kafshdar Goharshady 4 shared papers
• Aniket Murhekar 1 shared papers
• Bingyin Zhang 1 shared papers
• Guoqiang Li 1 shared papers
• Jean-Baptiste Jeannin 1 shared papers
• Jianlin Li 1 shared papers
• Jiawei Chen 1 shared papers
• Jingyang Li 1 shared papers
• Lijun Zhang 1 shared papers
• Liqian Chen 1 shared papers
• Mingzhang Huang 1 shared papers
• Nastaran Okati 1 shared papers
• Peixin Wang 1 shared papers
• Petr Novotny 1 shared papers
• Rouzbeh Hasheminezhad 1 shared papers
• Wenjun Shi 1 shared papers
• Xin Chen 1 shared papers
• Xudong Qin 1 shared papers
• Xuran Cai 1 shared papers