Smart Service Engineering

Seite 1 von 1.

1. 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), …

2. 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.

3. 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, …

• 1