Steffen Märcker

According to our database1, Steffen Märcker authored at least 12 papers between 2011 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
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.
STTT, 2018

Decision making improves sperm chemotaxis in the presence of noise.
PLoS Computational Biology, 2018

2017
Computing Conditional Probabilities: Implementation and Evaluation.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016
Advances in Symbolic Probabilistic Model Checking with PRISM.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015
Locks: Picking key methods for a scalable quantitative analysis.
J. Comput. Syst. Sci., 2015

2014
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

2013
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.
Proceedings of the NASA Formal Methods, 2013

2012
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

2011
Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics.
Proceedings of the Algebraic Foundations in Computer Science, 2011


  Loading...