Steffen Märcker
Steffen Märcker
Faculty of Computer Science, TU Dresden
Geverifieerd e-mailadres voor tu-dresden.de
Titel
Geciteerd door
Geciteerd door
Jaar
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
392014
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 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
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
222016
A hardware/software stack for heterogeneous systems
J Castrillon, M Lieber, S Klueppelholz, M Völp, N Asmussen, U Assmann, ...
IEEE Transactions on Multi-Scale Computing Systems 4 (3), 243-259, 2017
182017
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
162018
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
152014
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
122015
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
Weighted tree automata over valuation monoids and their characterization by weighted logics, Algebraic Foundations in Computer Science: essays Dedicated to Symeon Bozapalidis …
M Droste, D Götze, S Märcker, I Meinecke
Springer-Verlag, Berlin, Heidelberg, 2011
82011
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
72013
The orchestration stack: the impossible task of designing software for unknown future post-CMOS hardware
M Völp, S Klüppelholz, J Castrillon, H Härtig, N Asmussen, U Aßmann, ...
[sn], 2016
52016
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
Optimal decision making for sperm chemotaxis in the presence of noise
JA Kromer, S Märcker, S Lange, C Baier, BM Friedrich
arXiv preprint arXiv:1711.04858, 2017
12017
Charakterisierung erkennbarer Baumreihen über starken Bimonoiden durch gewichtete MSO-Logik
S Märcker
Master’s thesis, Universität Leipzig, 2010
12010
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
Supporting Information: Decision making improves sperm chemotaxis in the presence of noise
JA Kromer, S Märcker, S Lange, C Baier, BM Friedrich
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–18