Markus Siegle

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Rate lifting for stochastic process algebra by transition context augmentation ACM Transactions on Modeling and Computer Simulation	2024-11-15	Paper
Rate lifting for stochastic process algebra -- exploiting structural properties Quantitative Evaluation of Systems	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 Lecture Notes in Computer Science	2021-12-08	Paper
Lattice structures for bisimilar probabilistic automata	2021-06-21	Paper
Lattice structures for bisimilar probabilistic automata (available as arXiv preprint)	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 Operations Research Proceedings	2019-09-13	Paper
Markov reward models and Markov decision processes in discrete and continuous time: performance evaluation and optimization Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems	2015-01-12	Paper
Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states Information and Computation	2014-07-18	Paper
Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications Formal Methods in System Design	2010-11-03	Paper
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA Lecture Notes in Computer Science	2009-02-03	Paper
Model Checking Software Lecture Notes in Computer Science	2007-05-02	Paper
scientific article; zbMATH DE number 2090710 (Why is no real title available?)	2004-08-13	Paper
scientific article; zbMATH DE number 2079828 (Why is no real title available?)	2004-07-30	Paper
scientific article; zbMATH DE number 1890701 (Why is no real title available?)	2003-04-02	Paper
scientific article; zbMATH DE number 1538048 (Why is no real title available?)	2000-12-03	Paper
Markov Chain Aggregation with Error Bounds on Transient Distributions (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Markus Siegle