Steffen Märcker

According to our database, Steffen Märcker authored at least 17 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal Analysis of Camouflaged Reconfigurable Circuits.

Steffen Märcker, Michael Raitza, Shubham Rai, Giulio Galderisi, Thomas Mikolajick, Jens Trommer, Akash Kumar

Proceedings of the 21st IEEE Interregional NEWCAS Conference, 2023

Tutorial: How to Use Model Checking to Analyze Circuits at the Transistor Level.

Michael Raitza, Steffen Märcker

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2023

2022

Exploring Standard-Cell Designs for Reconfigurable Nanotechnologies: A Formal Approach.

Michael Raitza, Steffen Märcker, Shubham Rai, Akash Kumar

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2020

Model checking techniques for design and analysis of future hardware and software systems.

Steffen Märcker

PhD thesis, 2020

Quantitative Characterization of Reconfigurable Transistor Logic Gates.

Michael Raitza, Steffen Märcker, Jens Trommer, Andre Heinzig, Sascha Klüppelholz, Christel Baier, Akash Kumar

IEEE Access, 2020

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, 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

IEEE Trans. Multi Scale Comput. Syst., 2018

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller

Int. J. Softw. Tools Technol. Transf., 2018

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

2017

Computing Conditional Probabilities: Implementation and Evaluation.

Steffen Märcker, Christel Baier, Joachim Klein, Sascha Klüppelholz

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Advances in Symbolic Probabilistic Model Checking with PRISM.

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Locks: Picking key methods for a scalable quantitative analysis.

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

J. Comput. Syst. Sci., 2015

2014

Computing Conditional Probabilities in Markovian Models Efficiently.

Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Probabilistic Model Checking and Non-standard Multi-objective Reasoning.

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.

Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

Proceedings of the NASA Formal Methods, 2013

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, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Waiting for Locks: How Long Does It Usually Take?

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2011

Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics.

Manfred Droste, Doreen Götze, Steffen Märcker, Ingmar Meinecke

Proceedings of the Algebraic Foundations in Computer Science, 2011