Steffen Märcker
Steffen Märcker
Faculty of Computer Science, TU Dresden
Bestätigte E-Mail-Adresse bei tu-dresden.de
Titel
Zitiert von
Zitiert von
Jahr
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
472014
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
332011
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
292018
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
282016
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
212018
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
192017
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
182014
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
152015
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
122012
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
112013
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, ...
82016
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
62012
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
52017
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
22020
Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation
S Märcker
Technische Universität Dresden, 2021
12021
Charakterisierung erkennbarer Baumreihen über starken Bimonoiden durch gewichtete MSO-Logik
S Märcker
Master’s thesis, Universität Leipzig, 2010
12010
Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems
S Märcker
2021
PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates
S Märcker
Technische Universität Dresden, 2021
2021
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20