Smart Service Engineering

Seite 1 von 1.

1. Sören Tempel; Tobias Brandt; Christoph Lüth; Christian Dietrich; Rolf Drechsler

   Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

2. Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler

   Symbolic Execution of Binary Code based on Formal ISA Semantics

   In: 4th International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution, April 14-16, Lisbon, Portugal, 2024.

3. Sören Tempel; Tobias Brandt; Christoph Lüth

   Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture

   In: 24th International Symposium on Trends in Functional Programming (TFP). International Symposium on Trends in Functional Programming (TFP-2023), January 12-15, Boston, MA, USA, 2023.

4. Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler

   Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models

   In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2023), September 13-15, Turin, Italy, 2023.

5. Tobias Brandt; Dieter Hutter; Christian Maeder; Rainer Müller

   Towards a secure and reliable IT-ecosystem in seaports

   In: IAME 2021 Conference 'Accelerating Transitions'. Conference of the International Association of Maritime Economists (IAME-2021), November 24-27, Rotterdam, Netherlands, arxiv.org/abs/2111.13436, 2021.

• 1