According to our database1, Steffen Märcker authored at least 12 papers between 2011 and 2018.
Legend:Book In proceedings Article PhD thesis Other
A Hardware/Software Stack for Heterogeneous Systems.
IEEE Trans. Multi-Scale Computing Systems, 2018
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.
Decision making improves sperm chemotaxis in the presence of noise.
PLoS Computational Biology, 2018
Computing Conditional Probabilities: Implementation and Evaluation.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Advances in Symbolic Probabilistic Model Checking with PRISM.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Locks: Picking key methods for a scalable quantitative analysis.
J. Comput. Syst. Sci., 2015
Computing Conditional Probabilities in Markovian Models Efficiently.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Probabilistic Model Checking and Non-standard Multi-objective Reasoning.
Proceedings of the Fundamental Approaches to Software Engineering, 2014
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.
Proceedings of the NASA Formal Methods, 2013
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Waiting for Locks: How Long Does It Usually Take?
Proceedings of the Formal Methods for Industrial Critical Systems, 2012
Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics.
Proceedings of the Algebraic Foundations in Computer Science, 2011