Markus Siegle

Available identifiers

Publication	Date of Publication	Type
Rate lifting for stochastic process algebra by transition context augmentation	2024-11-15	Paper
Rate lifting for stochastic process algebra -- exploiting structural properties	2023-06-02	Paper
Solving systems of bilinear equations for transition rate reconstruction	2022-06-17	Paper
It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models	2021-12-08	Paper
Lattice structures for bisimilar probabilistic automata	2021-06-21	Paper
Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.	2019-10-24	Paper
On lifetime optimization of Boolean parallel systems with Erlang repair distributions	2019-09-13	Paper
Markov reward models and Markov decision processes in discrete and continuous time: performance evaluation and optimization	2015-01-12	Paper
Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states	2014-07-18	Paper
Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications	2010-11-03	Paper
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA	2009-02-03	Paper
Model Checking Software	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4813205	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4471933	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4800174	2003-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q4518904	2000-12-03	Paper
Markov Chain Aggregation with Error Bounds on Transient Distributions	N/A	Paper

This page was built for person: Markus Siegle