Revisiting a pioneering concurrent stochastic problem: the Erlangen mainframe by Garavel, H, Hermanns, H, Parker, D

Probabilistic CEGAR by Hermanns, H, Wachter, B, Zhang, L

INFAMY: An Infinite−State Markov Model Checker by Hahn, E, Hermanns, H, Wachter, B, Zhang, L

PARAM: A Model Checker for Parametric Markov Models by Hahn, E, Hermanns, H, Wachter, B, Zhang, L

PASS: Abstraction Refinement for Infinite Probabilistic Models by Hahn, E, Hermanns, H, Wachter, B, Zhang, L

Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains by Hahn, E, Hermanns, H, Wachter, B, Zhang, L

Probabilistic Logical Characterization by Hermanns, H, Parma, A, Segala, R, Wachter, B, Zhang, L

Multi-objective robust strategy synthesis for Interval Markov decision processes by Hahn, E, Hashemi, V, Hermanns, H, Lahijanian, M, Turrini, A

Intraneural Application of microRNA-1 Mimetic Nucleotides Does Not Resolve Neuropathic Pain After Chronic Constriction Injury in Rats by Kuebart A, Wollborn V, Huhn R, Hermanns H, Werdehausen R, Brandenburger T

Get full text