Publications
Page 2 of 2.
Sören Tempel; Vladimir Herdt; Rolf Drechsler
In: Automated Technology for Verification and Analysis (ATVA). International Symposium on Automated Technology for Verification and Analysis …
In: RIOT Summit 2022. RIOT Summit, 7th get-together of the friendly Operating System for the Internet of Things, September 5-6, Hamburg, Germany, …
In: 3rd International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution, September 15-16, London, United Kingdom, 2022.
Vladimir Herdt; Sören Tempel; Daniel Große; Rolf Drechsler
In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …
In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, Grenoble, France, 2021.
In: 58th Design Automation Conference (DAC). Design Automation Conference (DAC-2021), December 5-9, San Francisco, CA, USA, 2021.
Vladimir Herdt; Daniel Große; Sören Tempel; Rolf Drechsler
In: Journal of Systems Architecture: Embedded Software Design (JSA), Elsevier, 2021.
In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2021), September 8-10, Antibes/Hybrid, France, …
In: 4th Workshop on RISC-V Activities. Workshop on RISC-V Activities, December 2, virtuell, 2021.
In: 38th IEEE International Conference on Computer Design (ICCD). IEEE International Conference on Computer Design (ICCD-2020), October 18-21, …
Overview
Team
Projects
News
Jobs
Office: Shannon Kittrell, B.A. Phone: +49 631 20575 4010fbei-sek@dfki.de
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Research Department Embedded Intelligence Trippstadter Str. 122 67663 Kaiserslautern Germany