Markus Siegle

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

Holger Hermanns, J. Meyer-Kayser, Markus Siegle · University of Twente Research Information · 1999 · 127 citations

Engineering, Computer Science, Mathematics +12

Compositional performance modelling with the TIPPtool

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

Computing, Computer Science, Computer Systems +4

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

Computing, Computer Science, Formal Methods +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

Computing, Computer Engineering, Computer Science +17

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 · 77 citations

Engineering, Computer Engineering, Computer Science +12