Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics. - Manfred Droste; Doreen Götze; Steffen Märcker; Ingmar Meinecke (Algebraic Foundations in Computer Science, 2011)

Waiting for Locks: How Long Does It Usually Take? - Christel Baier; Marcus Daum; Benjamin Engel; Hermann Härtig; Joachim Klein 001; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (FMICS, 2012)

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code - Christel Baier; Marcus Daum; Benjamin Engel; Hermann Härtig; Joachim Klein 001; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (SSV, 2012)

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select. - Christel Baier; Benjamin Engel; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (NASA Formal Methods, 2013)

Probabilistic Model Checking and Non-standard Multi-objective Reasoning. - Christel Baier; Clemens Dubslaff; Sascha Klüppelholz; Marcus Daum; Joachim Klein 001; Steffen Märcker; Sascha Wunderlich (FASE, 2014)

Computing Conditional Probabilities in Markovian Models Efficiently. - Christel Baier; Joachim Klein 001; Sascha Klüppelholz; Steffen Märcker (TACAS, 2014)

Locks: Picking key methods for a scalable quantitative analysis. - Christel Baier; Marcus Daum; Benjamin Engel; Hermann Härtig; Joachim Klein 001; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (J. Comput. Syst. Sci., 2015)

Advances in Symbolic Probabilistic Model Checking with PRISM. - Joachim Klein 001; Christel Baier; Philipp Chrszon; Marcus Daum; Clemens Dubslaff; Sascha Klüppelholz; Steffen Märcker; David Müller 001 (TACAS, 2016)

Computing Conditional Probabilities: Implementation and Evaluation. - Steffen Märcker; Christel Baier; Joachim Klein 001; Sascha Klüppelholz (SEFM, 2017)

Decision making improves sperm chemotaxis in the presence of noise. - Justus A. Kromer; Steffen Märcker; Steffen Lange; Christel Baier; Benjamin M. Friedrich (PLoS Comput. Biol., 2018)

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. - Joachim Klein 001; Christel Baier; Philipp Chrszon; Marcus Daum; Clemens Dubslaff; Sascha Klüppelholz; Steffen Märcker; David Müller 001 (Int. J. Softw. Tools Technol. Transf., 2018)

A Hardware/Software Stack for Heterogeneous Systems. - Jerónimo Castrillón; Matthias Lieber; Sascha Klüppelholz; Marcus Völp; Nils Asmussen; Uwe Aßmann; Franz Baader; Christel Baier; Gerhard P. Fettweis; Jochen Fröhlich; Andrés Goens; Sebastian Haas; et al. (IEEE Trans. Multi Scale Comput. Syst., 2018)

Quantitative Characterization of Reconfigurable Transistor Logic Gates. - Michael Raitza; Steffen Märcker; Jens Trommer; Andre Heinzig; Sascha Klüppelholz; Christel Baier; Akash Kumar 001 (IEEE Access, 2020)

Model checking techniques for design and analysis of future hardware and software systems. - Steffen Märcker (2020)

Exploring Standard-Cell Designs for Reconfigurable Nanotechnologies: A Formal Approach. - Michael Raitza; Steffen Märcker; Shubham Rai; Akash Kumar 001 (DATE, 2022)

Tutorial: How to Use Model Checking to Analyze Circuits at the Transistor Level. - Michael Raitza; Steffen Märcker (CODES+ISSS, 2023)

Formal Analysis of Camouflaged Reconfigurable Circuits. - Steffen Märcker; Michael Raitza; Shubham Rai; Giulio Galderisi; Thomas Mikolajick; Jens Trommer; Akash Kumar 001 (NEWCAS, 2023)