Steffen Märcker

E-mail

Phone

Fax

Visitor's Address

steffen.maercker@tu-dresden.de

+49 351 463-40822

 

Helmholtzstrasse 18, BAR-III64

Steffen Märcker has been working on a new approach based on formal methods to predict the performance of circuits built form novel devices, e.g., GeNW RFETs. He is going to extend the approach to other upcoming device types, such as FeFETs, with a focus on applications in neuromorphic computing.

Publications

  • 2020

  • 14. M. Raitza and S. Märcker and J. Trommer and A. Heinzig and S. Klüppelholz and C. Baier and A. Kumar, "Quantitative Characterization of Reconfigurable Transistor Logic Gates" , In IEEE Access, pp. 1-1, June 2020. [Bibtex & Downloads]
  • 2018

  • 13. Jeronimo Castrillon and Matthias Lieber and Sascha Klüppelholz and Marcus Völp and Nils Asmussen and Uwe Assmann and Franz Baader and Christel Baier and Gerhard Fettweis and Jochen Fröhlich and Andrés Goens and Sebastian Haas and Dirk Habich and Hermann Härtig and Mattis Hasler and Immo Huismann and Tomas Karnagel and Sven Karol and Akash Kumar and Wolfgang Lehner and Linda Leuschner and Siqi Ling and Steffen Märcker and Christian Menard and Johannes Mey and Wolfgang Nagel and Benedikt Nöthen and Rafael Peñaloza and Michael Raitza and Jörg Stiller and Annett Ungethüm and Axel Voigt and Sascha Wunderlich, "A Hardware/Software Stack for Heterogeneous Systems" , In IEEE Transactions on Multi-Scale Computing Systems, vol. 4, no. 3, pp. 243-259, Jul 2018. [doi] [Bibtex & Downloads]
  • 12. Justus A. Kromer and Steffen Märcker and Steffen Lange and Christel Baier and Benjamin M. Friedrich, "Decision making improves sperm chemotaxis in the presence of noise" , In PLOS Computational Biology (Sarah D Olson) , Public Library of Science (PLoS), vol. 14, no. 4, pp. e1006109, Apr 2018. [doi] [Bibtex & Downloads]
  • 2017

  • 11. Kromer, J. A. and Märcker, S. and Lange, S. and Baier, C. and Friedrich, B. M., "Optimal decision making for sperm chemotaxis in the presence of noise" , In ArXiv e-prints, Nov 2017. [Bibtex & Downloads]
  • 10. Steffen Märcker and Christel Baier and Joachim Klein and Sascha Klüppelholz, "Computing Conditional Probabilities: Implementation and Evaluation" , In Proceeding: Proc. of the 15th International Conference on Software Engineering and Formal Methods (SEFM), 2017. [Bibtex & Downloads]
  • 9. Joachim Klein and Christel Baier and Philipp Chrszon and Marcus Daum and Clemens Dubslaff and Sascha Klüppelholz and Steffen Märcker and David Müller, "Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata" , In International Journal on Software Tools for Technology Transfer, pp. 1–16, 2017. [Bibtex & Downloads]
  • 8. Kromer, Justus A and Märcker, Steffen and Lange, Steffen and Baier, Christel and Friedrich, Benjamin M, "Optimal decision making for sperm chemotaxis in the presence of noise" , In arXiv preprint arXiv:1711.04858, 2017. [Bibtex & Downloads]
  • 2016

  • 7. Marcus Völp, Sascha Klüppelholz, Jeronimo Castrillon, Hermann Härtig, Nils Asmussen, Uwe Assmann, Franz Baader, Christel Baier, Gerhard Fettweis, Jochen Fröhlich, Andres Goens, Sebastian Haas, Dirk Habich, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Wolfgang Lehner, Linda Leuschner, Matthias Lieber, Siqi Ling, Steffen Märcker, Johannes Mey, Wolfgang Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, "The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware" , Proceedings of the 1st International Workshop on Post-Moore s Era Supercomputing (PMES), Co-located with The International Conference for High Performance Computing, Networking, Storage and Analysis (SC16), Salt Lake City, USA, Nov 2016. [Bibtex & Downloads]
  • 6. Joachim Klein and Christel Baier and Philipp Chrszon and Marcus Daum and Clemens Dubslaff and Sascha Klüppelholz and Steffen Märcker and David Müller, "Advances in Symbolic Probabilistic Model Checking with PRISM" , In Proceeding: Proc. of the 22th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, vol. 9636, pp. 349–366, 2016. [Bibtex & Downloads]
  • 2015

  • 5. Baier, Christel and Daum, Marcus and Engel, Benjamin and Härtig, Hermann and Klein, Joachim and Klüppelholz, Sascha and Märcker, Steffen and Tews, Hendrik and Völp, Marcus, "Locks: Picking key methods for a scalable quantitative analysis" , In Journal of Computer and System Sciences, Elsevier, vol. 81, no. 1, pp. 258–287, 2015. [doi] [Bibtex & Downloads]
  • 2012

  • 1. Baier, Christel and Daum, Marcus and Engel, Benjamin and Härtig, Hermann and Klein, Joachim and Klüppelholz, Sascha and Märcker, Steffen and Tews, Hendrik and Völp, Marcus, "Waiting for locks: How long does it usually take?" , Springer, 2012. [doi] [Bibtex & Downloads]