Page 1 of 2.
Sören Tempel; Vladimir Herdt; Rolf Drechsler
In: IEEE Internet of Things Journal (IoT), Vol. o.a. IEEE, 2023.
Sören Tempel; Tobias Brandt; Christoph Lüth
In: 24th International Symposium on Trends in Functional Programming (TFP). International Symposium on Trends in Functional Programming (TFP-2023), …
Niklas Bruns; Sallar Ahmadi-Pour; Sören Tempel; Rolf Drechsler
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …
Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler
In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2023), September 13-15, Turin, Italy, 2023.
Sören Tempel; Rolf Drechsler
In: ROIT Summit. RIOT Summit, September 18-19, Frankfurt am Main, Germany, 2023.
In: 27th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC), January 17-20, …
In: Journal of Systems Architecture: Embedded Software Design (JSA), Vol. 125, Elsevier, 2022.
In: IEEE Embedded Systems Letters (ESL), IEEE, 2022.
Jan Zielasko; Sören Tempel; Vladimir Herdt; Rolf Drechsler
In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.
In: Automated Technology for Verification and Analysis (ATVA). International Symposium on Automated Technology for Verification and Analysis …