Steffen Märcker
Steffen Märcker
Faculty of Computer Science, TU Dresden
Verified email at tu-dresden.de
Title
Cited by
Cited by
Year
Computing conditional probabilities in Markovian models efficiently
C Baier, J Klein, S Klüppelholz, S Märcker
International Conference on Tools and Algorithms for the Construction and …, 2014
422014
Weighted tree automata over valuation monoids and their characterization by weighted logics
M Droste, D Götze, S Märcker, I Meinecke
Algebraic Foundations in Computer Science, 30-55, 2011
322011
Advances in symbolic probabilistic model checking with PRISM
J Klein, C Baier, P Chrszon, M Daum, C Dubslaff, S Klüppelholz, ...
International Conference on Tools and Algorithms for the Construction and …, 2016
272016
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
J Klein, C Baier, P Chrszon, M Daum, C Dubslaff, S Klüppelholz, ...
International Journal on Software Tools for Technology Transfer 20 (2), 179-194, 2018
252018
Decision making improves sperm chemotaxis in the presence of noise
JA Kromer, S Märcker, S Lange, C Baier, BM Friedrich
PLoS computational biology 14 (4), e1006109, 2018
192018
A hardware/software stack for heterogeneous systems
J Castrillon, M Lieber, S Klüppelholz, M Völp, N Asmussen, U Assmann, ...
IEEE Transactions on Multi-Scale Computing Systems 4 (3), 243-259, 2017
182017
Probabilistic model checking and non-standard multi-objective reasoning
C Baier, C Dubslaff, S Klüppelholz, M Daum, J Klein, S Märcker, ...
International Conference on Fundamental Approaches to Software Engineering, 1-16, 2014
162014
Locks: Picking key methods for a scalable quantitative analysis
C Baier, M Daum, B Engel, H Härtig, J Klein, S Klüppelholz, S Märcker, ...
Journal of Computer and System Sciences 81 (1), 258-287, 2015
132015
Waiting for locks: How long does it usually take?
C Baier, M Daum, B Engel, H Härtig, J Klein, S Klüppelholz, S Märcker, ...
International Workshop on Formal Methods for Industrial Critical Systems, 47-62, 2012
112012
A probabilistic quantitative analysis of probabilistic-write/copy-select
C Baier, B Engel, S Klüppelholz, S Märcker, H Tews, M Völp
NASA Formal Methods Symposium, 307-321, 2013
102013
The orchestration stack: the impossible task of designing software for unknown future post-CMOS hardware
M Volp, S Klüppelholz, J Castrillon, H Härtig, N Asmussen, U Aßmann, ...
72016
Chiefly symmetric: Results on the scalability of probabilistic model checking for operating-system code
C Baier, M Daum, B Engel, H Härtig, J Klein, S Klüppelholz, S Märcker, ...
arXiv preprint arXiv:1211.6196, 2012
52012
Computing conditional probabilities: implementation and evaluation
S Märcker, C Baier, J Klein, S Klüppelholz
International Conference on Software Engineering and Formal Methods, 349-366, 2017
42017
Charakterisierung erkennbarer Baumreihen über starken Bimonoiden durch gewichtete MSO-Logik
S Märcker
Master’s thesis, Universität Leipzig, 2010
12010
Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation
S Märcker
Technische Universität Dresden, 2021
2021
PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates
S Märcker
Technische Universität Dresden, 2021
2021
Quantitative Characterization of Reconfigurable Transistor Logic Gates
M Raitza, S Märcker, J Trommer, A Heinzig, S Klüppelholz, C Baier, ...
IEEE Access 8, 112598-112614, 2020
2020
Advances in probabilistic model checking with PRISM
IJ Klein, P Chrszon, IM Daum, C Dubslaff, IS Klüppelholz, S Märcker, ...
2018
Supporting Information: Decision making improves sperm chemotaxis in the presence of noise
JA Kromer, S Märcker, S Lange, C Baier, BM Friedrich
The system can't perform the operation now. Try again later.
Articles 1–19