Not finding it? Sign in to also search OpenAlex live.
-
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 -
Empirical analysis of upper bounds of robustness distributions using adversarial attacks2025 Leiden Repository (Leiden University) article Computer Science Adversarial Robustness in Machine Learning Open access
A. Berg, Nils Eberhardt, Anton W. Bosman, H. Duwe, Jan N. van Rijn, Holger H. Hoos
0citations
4 results