| 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 | 63 | 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 | 47 | 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 | 41 | 2011 |
| 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 | 37 | 2018 |
| 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 | 37 | 2017 |
| 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 | 37 | 2016 |
| 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 | 28 | 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 | 14 | 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 | 13 | 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 | 12 | 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 | 10 | 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 | 9 | 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 | 8 | 2017 |
| Model checking techniques for design and analysis of future hardware and software systems S Märcker | 6 | 2021 |
| 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 | 6 | 2012 |
| 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 | 4 | 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 | 3 | 2023 |
| Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation S Märcker Technische Universität Dresden, 2021 | 1 | 2021 |
| Charakterisierung erkennbarer Baumreihen über starken Bimonoiden durch gewichtete MSO-Logik S Märcker Master’s thesis, Universität Leipzig, 2010 | 1 | 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 | | 2023 |
