Hongfei Fu
- hongfeifu@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.
Publications
2019
- Journal article
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems
Information and computation
2014
- Conference paper
Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes
Foundations of software science and computation structures
- PhD thesis
Verifying probabilistic systems : new algorithms and complexity results
Zugl.: Aachen, Techn. Hochsch.
Advisers: Joost-Pieter Katoen
2013
- Conference paper
Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata
Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control
2012
- Conference paper
Computing Game Metrics on Markov Decision Processes
Automata, languages, and programming
2011
- Conference paper
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]
- Conference paper
Model Checking EGF on Basic Parallel Processes
Automated technolgoy for verification and analysis