Publications

From Saarbrücken

[HahnHZ11] Hahn, E. M.; Han, T. and Zhang, L. Synthesis for PCTL in Parametric Markov Decision Processes. In NFM, Springer, LNCS , 2011.

[CalinCDHZ10] Calin, G.; Crouzen, P.; D'Argenio, P. R; Hahn, E. M. and Zhang, L. Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. In SPIN, pages 193-211, 2010.

[HahnHWZ10] Hahn, E. M.; Hermanns, H.; Wachter, B. and Zhang, L. PARAM: A Model Checker for Parametric Markov Models. In CAV, pages 660-664, 2010.

[HahnHZ10] Hahn, E.; Hermanns, H. and Zhang, L. Probabilistic reachability for parametric Markov models. In STTT: 1-17, 2010.

[HahnHZ09] Hahn, E.; Hermanns, H. and Zhang, L. Probabilistic Reachability for Parametric Markov Models. In Model Checking Software, pages 88-106, Springer, LNCS 5578, 2009.

External papers using PARAM

[BartocciGKRS11] Bartocci, E.; Grosu, R.; Katsaros, P.; Ramakrishnan, C. R. and Smolka, S. A. Model Repair for Probabilistic Systems. In TACAS, 2011.