About Me
I am a Post-Doc researcher associated with groups Automation of Logic of MPI Saarbrücken and Dependable Systems and Software of Saarland University, under direction of Professor Holger Hermanns, since Nov. 2012.
Research Interests
Concurrency, Probabilistic Process Algebra, Verification and Model Checking.
Publications
- Probably Safe or Live. LICS 2014. To appear. (With Joost-Pieter Katoen and Lijun Zhang)
- Incremental Bisimulation Abstraction Refinement (Long Version). ACM Transaction on Embedded Computing, 2014. To appear. (With Lijun Zhang, Holger Hermanns, and Jens Chr. Godskesen)
- Bisimulations and Logical Characterizations on Continuous-time Markov Decision Processes. VMCAI 2014. LNCS 8318:98-117. (With Lijun Zhang and Jens Chr. Godskesen)
- Revisiting Weak Simulation for Substochastic Markov Chains. QEST 2013. LNCS 8054:209-224. (With David N. Jansen and Lijun Zhang)
- Incremental Bisimulation Abstraction Refinement. ACSD 2013:11-20. IEEE.(With Lijun Zhang, Holger Hermanns, and Jens Chr. Godskesen)
- Bisimulations Meet PCTL Equivalences for Probabilistic Automata (Long Version). Logical Methods in Computer Science 9(2), 2013. (With Lijun Zhang, Jens Chr. Godskesen, and Flemming Nielson)
- Broadcast Abstraction in a Stochastic Calculus for Mobile Networks. IFIP TCS 2012. LNCS 7604:342-356. (With Jens Chr. Godskesen)
- Bisimulations Meet PCTL Equivalences for Probabilistic Automata. CONCUR 2011. LNCS 6901:108-123. (With Lijun Zhang and Jens Chr. Godskesen)
- A Stochastic Broadcast Pi-Calculus. QAPL 2011: 74-88.(With Flemming Nielson and Bo Friis Nielsen)
- Probabilistic Mobility Models for Mobile and Wireless Networks. IFIP TCS 2010:86-100. (With Jens Chr. Godskesen)
- A Probabilistic Calculus for Mobile and Ad Hoc Networks (Abstract). NWPT 2009. (With Jens Chr. Godskesen)
Teaching
- Instructor(WS, 2013): Quantitative Model Checking
- PA (Fall, 2011): Introduction to Scripting, Databases and System Architecture
- TA (Spring, 2010): Algorithms and Data Structures