Hongfei Fu

hongfeifu at cs.rwth-aachen.de
Room 4207
Ahornstraße 55
D-52074 Aachen
+49 241 80 21202

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen. Currently, my primary research interest is formal verification of jump Markov processes.


DOI [bibtex] [issue] Hongfei Fu, Joost-Pieter Katoen, Mingzhang Huang. Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems, Information and computation 268, pages 104431, Elsevier, 2019.
fulltext PDF [bibtex] [issue] Hongfei Fu. Verifying probabilistic systems, PhD Thesis, Zugl.: Aachen, Techn. Hochsch., Volume 2014,16 of Aachener Informatik-Berichte, XII, 152 S., RWTH, Department of Computer Science, 2014.
DOI [bibtex] [issue] Hongfei Fu. Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes, Volume 8412 of LNCS, 73-87, Springer, 2014.
DOI [bibtex] [issue] Hongfei Fu. Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata, Proceedings of the 16th International Conference on Hybrid Systems, 323-332, ACM, 2013.
DOI [bibtex] [issue] Hongfei Fu. Computing Game Metrics on Markov Decision Processes, Automata, languages, and programming (ICALP 2012), Volume 7392 of LNCS, 227-238, Springer, 2012.
DOI [bibtex] [issue] Hongfei Fu. Model Checking EGF on Basic Parallel Processes, Automated technolgoy for verification and analysis (ATVA 2011), Volume 6996 of LNCS, 120-134, Springer, 2011.
DOI [bibtex] [issue] Hongfei Fu, Joost-Pieter Katoen. Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011) [Elektronische Ressource] / Indian Association for Research in Computing Science (IARCS). Hrsg., Volume 13 of Leibniz International Proceedings in Informatics, 445-456, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2011.