Hongfei Fu

Email
hongfeifu at cs.rwth-aachen.de
Address
Room 4207
Ahornstraße 55
D-52074 Aachen
Phone
+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.

 

2019
DOI [bibtex]
@article{D2019,
title = {Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems},
author = {Mingzhang Huang and Hongfei Fu and Joost-Pieter Katoen},
publisher = {Elsevier},
journal = {Information and computation},
volume = {268},
pages = {pages 104431},
type = {Journal Article},
year = {2019},
doi = {10.1016/j.ic.2019.05.004},
url = { https://publications.rwth-aachen.de/record/768514},
}×
[issue] 		Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen. Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems, Information and computation 268, pages 104431, Elsevier, 2019.
2014
fulltext PDF [bibtex]
@phdthesis{V2014,
title = {Verifying probabilistic systems: new algorithms and complexity results},
author = {Hongfei Fu},
publisher = {RWTH, Department of Computer Science},
booktitle = {Aachener Informatik-Berichte},
volume = {2014,16},
institution = {Zugl.: Aachen, Techn. Hochsch.},
pages = {XII, 152 S.},
type = {PhD Thesis},
year = {2014},
url = { https://publications.rwth-aachen.de/record/465418},
}×
[issue] 		Hongfei Fu. Verifying probabilistic systems: new algorithms and complexity results, PhD Thesis, Zugl.: Aachen, Techn. Hochsch., Volume 2014,16 of Aachener Informatik-Berichte, XII, 152 S., RWTH, Department of Computer Science, 2014.
DOI [bibtex]
@conference{MCBRPCTMDP2014,
title = {Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes},
author = {Hongfei Fu},
publisher = {Springer},
booktitle = {LNCS},
volume = {8412},
pages = {73-87},
type = {Conference Paper},
year = {2014},
doi = {10.1007/978-3-642-54830-7_5},
url = { https://publications.rwth-aachen.de/record/465753},
}×
[issue] 		Hongfei Fu. Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes, Foundations of software science and computation structures (FOSSACS 2014), Volume 8412 of LNCS, 73-87, Springer, 2014.
2013
DOI [bibtex]
@conference{AC2013,
title = {Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata},
author = {Hongfei Fu},
publisher = {ACM},
pages = {323-332},
type = {Conference Paper},
year = {2013},
doi = {10.1145/2461328.2461376},
url = { https://publications.rwth-aachen.de/record/225919},
}×
[issue] 		Hongfei Fu. Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata, 16. International Conference on Hybrid Systems: Computation and Control, 323-332, ACM, 2013.
2012
DOI [bibtex]
@conference{CGMMDP2012,
title = {Computing Game Metrics on Markov Decision Processes},
author = {Hongfei Fu},
publisher = {Springer},
booktitle = {LNCS},
volume = {7392},
pages = {227-238},
type = {Conference Paper},
year = {2012},
doi = {10.1007/978-3-642-31585-5_23},
url = { https://publications.rwth-aachen.de/record/197765},
}×
[issue] 		Hongfei Fu. Computing Game Metrics on Markov Decision Processes, 39. international colloquium (ICALP 2012), Volume 7392 of LNCS, 227-238, Springer, 2012.
2011
DOI [bibtex]
@conference{MCEBPP2011,
title = {Model Checking EGF on Basic Parallel Processes},
author = {Hongfei Fu},
publisher = {Springer},
booktitle = {LNCS},
volume = {6996},
pages = {120-134},
type = {Conference Paper},
year = {2011},
doi = {10.1007/978-3-642-24372-1_10},
url = { https://publications.rwth-aachen.de/record/206919},
}×
[issue] 		Hongfei Fu. Model Checking EGF on Basic Parallel Processes, Automated technolgoy for verification and analysis : 9. international symposium (ATVA 2011), Volume 6996 of LNCS, 120-134, Springer, 2011.
DOI [bibtex]
@conference{DPSPPAFSS2011,
title = {Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems},
author = {Hongfei Fu and Joost-Pieter Katoen},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH},
booktitle = {Leibniz International Proceedings in Informatics},
volume = {13},
pages = {445-456},
type = {Conference Paper},
year = {2011},
doi = {10.4230/LIPIcs.FSTTCS.2011.445},
url = { https://publications.rwth-aachen.de/record/225365},
}×
[issue] 		Hongfei Fu, Joost-Pieter Katoen. Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems, Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011), Volume 13 of Leibniz International Proceedings in Informatics, 445-456, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2011.