1 – 5 of 5
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
2024) 41st International Conference on Machine Learning, ICML 2024 In Proceedings of Machine Learning Research 235. p.2846-2856(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On Modeling and Detecting Trojans in Instruction Sets
(
- Contribution to journal › Article
- 2023
-
Mark
SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks
2023) IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2021
-
Mark
Breaking silos to guarantee control stability with communication over ethernet TSN
(
- Contribution to journal › Article
- 2018
-
Mark
Stability-aware integrated routing and scheduling for control applications in Ethernet networks
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding