Steffen Märcker

17 papers A 3B 2C 1Misc 1Journal 5Unranked 4

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	Formal Analysis of Camouflaged Reconfigurable Circuits. NEWCAS Steffen Märcker, Michael Raitza, Shubham Rai, Giulio Galderisi, Thomas Mikolajick, Jens Trommer, Akash Kumar
2023	Misc	`conf`	Tutorial: How to Use Model Checking to Analyze Circuits at the Transistor Level. CODES+ISSS Michael Raitza, Steffen Märcker
2022	A	`conf`	Exploring Standard-Cell Designs for Reconfigurable Nanotechnologies: A Formal Approach. DATE Michael Raitza, Steffen Märcker, Shubham Rai, Akash Kumar
2020	—	`—`	Model checking techniques for design and analysis of future hardware and software systems. Steffen Märcker
2020	J	`jnl`	Quantitative Characterization of Reconfigurable Transistor Logic Gates. IEEE Access Michael Raitza, Steffen Märcker, Jens Trommer, Andre Heinzig, Sascha Klüppelholz, Christel Baier, Akash Kumar
2018	J	`jnl`	A Hardware/Software Stack for Heterogeneous Systems. IEEE Trans. Multi Scale Comput. Syst. 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, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich
2018	J	`jnl`	Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. Int. J. Softw. Tools Technol. Transf. Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
2018	J	`jnl`	Decision making improves sperm chemotaxis in the presence of noise. PLoS Comput. Biol. Justus A. Kromer, Steffen Märcker, Steffen Lange, Christel Baier, Benjamin M. Friedrich
2017	B	`conf`	Computing Conditional Probabilities: Implementation and Evaluation. SEFM Steffen Märcker, Christel Baier, Joachim Klein, Sascha Klüppelholz
2016	A	`conf`	Advances in Symbolic Probabilistic Model Checking with PRISM. TACAS Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
2015	J	`jnl`	Locks: Picking key methods for a scalable quantitative analysis. J. Comput. Syst. Sci. Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2014	A	`conf`	Computing Conditional Probabilities in Markovian Models Efficiently. TACAS Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker
2014	B	`conf`	Probabilistic Model Checking and Non-standard Multi-objective Reasoning. FASE Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich
2013	—	`conf`	A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select. NASA Formal Methods Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2012	—	`conf`	Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code SSV Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2012	C	`conf`	Waiting for Locks: How Long Does It Usually Take? FMICS Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2011	—	`conf`	Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics. Algebraic Foundations in Computer Science Manfred Droste, Doreen Götze, Steffen Märcker, Ingmar Meinecke