Steffen Märcker
Steffen Märcker
Faculty of Computer Science, TU Dresden
Verified email at
Cited by
Cited by
Computing conditional probabilities in Markovian models efficiently
C Baier, J Klein, S Klüppelholz, S Märcker
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
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
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: Essays Dedicated to Symeon …, 2011
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
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
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
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
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
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: 5th International Symposium, NFM 2013, Moffett Field …, 2013
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, ...
Formal Methods for Industrial Critical Systems: 17th International Workshop …, 2012
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
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, ...
Proceedings of the 2016 Post-Moore's Era Supercomputing (PMES) Workshop, 2016
Computing conditional probabilities: implementation and evaluation
S Märcker, C Baier, J Klein, S Klüppelholz
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
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
Model checking techniques for design and analysis of future hardware and software systems
S Märcker
Exploring standard-cell designs for reconfigurable nanotechnologies: a formal approach
M Raitza, S Märcker, S Rai, A Kumar
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 23-28, 2022
Formal analysis of camouflaged reconfigurable circuits
S Märcker, M Raitza, S Rai, G Galderisi, T Mikolajick, J Trommer, A Kumar
2023 21st IEEE Interregional NEWCAS Conference (NEWCAS), 1-5, 2023
Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation
S Märcker
Technische Universität Dresden, 2021
Charakterisierung erkennbarer Baumreihen über starken Bimonoiden durch gewichtete MSO-Logik
S Märcker
Master’s thesis, Universität Leipzig, 2010
Tutorial: How to Use Model Checking to Analyze Circuits at the Transistor Level
M Raitza, S Märcker
Proceedings of the 2023 International Conference on Hardware/Software …, 2023
The system can't perform the operation now. Try again later.
Articles 1–20