-
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 -
CompDSE: A Methodology for Design Space Exploration of Computing Subsystems Within Complex Cyber‐Physical Systems2025 IET Cyber-Physical Systems Theory & Applications article Computer Science Embedded Systems Design Techniques Open access
Faezeh Sadat Saadatmand, Todor P. Stefanov, Ignacio González Alonso, Andy D. Pimentel, Benny Åkesson
0citations -
Unraveling Parallelism in Automated Workload Modeling for Distributed Cyber-Physical Systems2025 Euromicro Conference on Digital System Design (DSD) conference-paper Computer Science Embedded Systems Design Techniques Open access
Faezeh Sadat Saadatmand, Todor P. Stefanov, Andy D. Pimentel, Benny Åkesson, Ignacio González Alonso
0citations
11 results