Papers matching “hardware-software system” 11
Not finding it? Sign in to also search OpenAlex live.
-
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 -
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 -
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
11 results