Sören Tempel

I am a Computer Science researcher in the Group of Computer Architecture (AGRA) at the University of Bremen where I am currently pursuing a PhD degree. I received my MSc in Computer Science in June 2020. My research currently focuses on the verification of RISC-V embedded systems using symbolic execution techniques. More broadly, I am also interested in security aspects of devices used in the low-end Internet of Things.

Publications

For more information, refer to my ORCID iD.

  1. Sören Tempel, Vladimir Herdt, and Rolf Drechsler. In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes. 2021 Forum for Specification and Design Languages (FDL). [PDF] [Artifacts]
  2. Vladimir Herdt, Daniel Große, Sören Tempel, and Rolf Drechsler. Adaptive simulation with Virtual Prototypes in an open-source RISC-V evaluation platform. Journal of Systems Architecture - Embedded Software Design (JSA). [DOI]
  3. Sören Tempel, Vladimir Herdt, and Rolf Drechsler. Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing. 2021 58th ACM/IEEE Design Automation Conference (DAC). [PDF]
  4. Sören Tempel, Vladimir Herdt, and Rolf Drechsler. An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes. 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE). [PDF]
  5. Vladimir Herdt, Sören Tempel, Daniel Große, and Rolf Drechsler. Mutation-based Compliance Testing for RISC-V. 2021 26th Asia and South Pacific Design Automation Conference (ASP-DAC). [DOI] [PDF] [Presentation]
  6. Vladimir Herdt, Daniel Große, Sören Tempel, and Rolf Drechsler. Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime. 2020 IEEE 38th International Conference on Computer Design (ICCD). [DOI] [PDF] [Presentation]

Teaching

Contact

You can reach me via mail: ${last name}@uni-bremen.de. If encryption is desired, use my PGP key.