Marcus Gerhold

Research output

Research output per year 2015 2016 2018 2023 2024 2025

• 11 Conference contribution
• 3 Article
• 1 Chapter
• 1 Poster
• 3 More
  • 1 Conference article
  • 1 PhD Thesis - Research UT, graduation UT
  • 1 Working paper

Research output per year

Research output per year

Search results

• 2023

  Reproduction Report for SV-COMP 2023

  Gerhold, M. & Hartmanns, A., 21 Mar 2023, (Submitted) ArXiv.org, 7 p.

  Research output: Working paper

  File

  • Score 100%
  • Experimental Research 100%
  • Benchmarking 100%
  • Computational 100%
  • Experiment 100%
  19 Downloads (Pure)