Not finding it? Sign in to also search OpenAlex live.
-
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Security and Verification in Computing Open access
Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers
0citations -
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model2025 IEEE Computer Society Annual Symposium on VLSI conference-paper Computer Science Embedded Systems Design Techniques
Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more
0citations -
A secure hardware-software solution based on RISC-V, logic locking and microkernel2020 International Workshop on Software and Compilers for Embedded Systems (SCOPES) conference-paper Computer Science Security and Verification in Computing
Dominik Šišejković, Farhad Merchant, Lennart M. Reimann, Rainer Leupers, Massimiliano Giacometti, Sascha Kegreiß
21citations -
Enhancing HW-SW Confidentiality Verification for Embedded Processors with SoftFlow’s Advanced Memory Range Feature2024 IFIP advances in information and communication technology conference-paper Computer Science Security and Verification in Computing
Lennart M. Reimann, Jonathan Wiesner, Karol Jaszczyk, Chiara Ghinami, Dominik Germek, Farhad Merchant, +1 more
0citations -
Introducing Instruction-Accurate Simulators for Performance Estimation of Autotuning Workloads2025 ACM/IEEE Design Automation Conference (DAC) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access
Rebecca Pelke, Nils Bosbach, Lennart M. Reimann, Rainer Leupers
0citations -
A Survey of Recent Developments in Testability, Safety and Security of RISC-V Processors2023 Proceedings/Proceedings - European Test Workshop conference-paper Computer Science Embedded Systems Design Techniques Open access
Jens Anders, Pablo Andreu, Bernd Becker, Steffen Becker, Riccardo Cantoro, Nikolaos Ioannis Deligiannis, +13 more
17citations -
Design Space Exploration for Distributed Cyber-Physical Systems: State-of-the-art, Challenges, and Directions2022 Euromicro Conference on Digital System Design (DSD) conference-paper Computer Science Embedded Systems Design Techniques Open access
Marius Herget, Faezeh Sadat Saadatmand, Martin C. Bor, Ignacio González Alonso, Todor P. Stefanov, Benny Åkesson, +1 more
13citations -
FPGA-based Acceleration of Lidar Point Cloud Processing and Detection on the Edge2023 IEEE Intelligent Vehicles Symposium conference-paper Computer Science Embedded Systems Design Techniques cited by 1 patent
Cecilia Latotzke, Amarin Kloeker, Simon Schoening, Mazen Slimi, Lutz Eckstein, Tobias Gemmeke
8citations -
A modular and verifiable software architecture for interconnected medical systems in intensive care2023 Annals of Computer Science and Information Systems conference-paper Medicine Healthcare Technology and Patient Monitoring Open access
Marc Wiartalla, Florian Ottersbach, Mateusz Buglowski, Stefan Kowalewski, André Stollenwerk
1citations -
Closed-Loop Real-Time Simulation of the Thermal and Electromagnetic Behavior in Electric Drive Trains: Optimizing Model Accuracy for Virtual Prototyping2025 SAE technical papers on CD-ROM/SAE technical paper series conference-paper Engineering Real-time simulation and control systems
Fabian Jonczyk, Yannick Bergheim, Sung-Yong Lee, Malte Strop, Fabian Prochotta, Jakob Andert
1citations