Cyber-Physical Systems

Publications

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