My research falls in the following categories. Also see my publications. research Probabilistic model checking Model checking of Markov models Dynamic fault trees Static and dynamic fault tree analysis Parameter synthesis Analysis of parametric Markov models
