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
https://portal.mardi4nfdi.de/entity/Q4994709	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