Markus Siegle

Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains

Holger Hermanns, J. Meyer-Kayser, Markus Siegle · 1999 · 127 citations

Compositional performance modelling with the TIPPtool

Holger Hermanns, Ulrich Herzog, Ulrich Klehmet et al. · Performance Evaluation · 2000 · 97 citations · Full text

Engineering, Program Analysis, Process Control +9

A tool for model-checking Markov chains

Joost-Pieter Katoen, J. Meyer-Kayser, Markus Siegle et al. · International Journal on Software Tools for Technology Transfer · 2003 · 87 citations · Full text

Engineering, Program Analysis, Automated Reasoning +9

Distributed performance monitoring: methods, tools, and applications

Richard Hofmann, Rainer Klar, Bernd Mohr et al. · IEEE Transactions on Parallel and Distributed Systems · 1994 · 82 citations

Engineering, Software Systems, Computer Architecture +20

On the use of MTBDDs for performability analysis and verification of stochastic systems

Holger Hermanns, Marta Kwiatkowska, Gethin Norman et al. · The Journal of Logic and Algebraic Programming · 2003 · 76 citations · Full text

Stochastic Hybrid System, Reliability Engineering, Engineering +13