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

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

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

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

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

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

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

Multi-objective robust strategy synthesis for Interval Markov decision processes od 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 od Kuebart A, Wollborn V, Huhn R, Hermanns H, Werdehausen R, Brandenburger T

Preuzmi cijeli tekst