Page 3 of 8.
Niklas Bruns; Vladimir Herdt; Rolf Drechsler
In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.
Jan Zielasko; Sören Tempel; Vladimir Herdt; Rolf Drechsler
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: 3rd International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution, September 15-16, London, United Kingdom, 2022.
In: RIOT Summit 2022. RIOT Summit, 7th get-together of the friendly Operating System for the Internet of Things, September 5-6, Hamburg, Germany, …
Sallar Ahmadi-Pour; Vladimir Herdt; Rolf Drechsler
In: Journal of Systems Architecture: Embedded Software Design (JSA), Vol. 133, Elsevier, 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.
Shubham Rai; Siddharth Garg; Christian Pilato; Vladimir Herdt; Elmira Moussavi; Dominik Sisejkovic; Ramesh Karri; Rolf Drechsler; Farhad Merchant; Akash Kumar
Vladimir Herdt; Rolf Drechsler
In: Workshop on Interdependent Challenges of Reliability, Security and Quality (RESCUE). Workshop on Interdependent Challenges of Reliability, …