41 – 50 of 218
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
On Modeling and Detecting Trojans in Instruction Sets
Zhang, Ying ; He, Aodi ; Li, Jiaying ; Rezine, Ahmed ; Peng, Zebo ; Larsson, Erik LU
; Yang, Tao
; Jiang, Jianhui
and Li, Huawei
(2024)
In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
43(10).
p.3226-3239
- Contribution to journal › Article
-
Mark
VNN : verification-friendly neural networks with hard robustness guarantees
Baninajjar, Anahita LU
; Rezine, Ahmed
and Aminifar, Amir
LU
(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
- 2023
-
Mark
Tools in and out of sight : an analysis informed by Cultural-Historical Activity Theory of audio-haptic activities involving people with visual impairments supported by technology
(2023)
- Thesis › Doctoral thesis (compilation)
-
Mark
Critical scenario identification for realistic testing of autonomous driving systems
Song, Qunying LU
; Tan, Kaige
; Runeson, Per
LU
and Persson, Stefan
LU
(2023)
In Software Quality Journal
31(2).
p.441-469
- Contribution to journal › Article
-
Mark
Taming Cloud Integrated Systems in the Wild
Peng, Haorui LU
(2023)
- Thesis › Doctoral thesis (compilation)
-
Mark
Workload Characterization and Traffic Analysis for Reconfigurable Intelligent Surfaces within 6G Wireless Systems
- Contribution to journal › Article
-
Mark
Hybrid planning for challenging construction problems : An Answer Set Programming approach
- Contribution to journal › Article
-
Mark
Attack Resilient Cloud-Based Control Systems for Industry 4.0
Akbarian, Fatemeh LU ; Tärneberg, William LU ; Fitzgerald, Emma LU
and Kihl, Maria
LU
(2023)
In IEEE Access
11.
p.27865-27882
- Contribution to journal › Article
-
Mark
SafeDeep : a scalable robustness verification framework for deep neural networks
Baninajjar, Anahita LU
; Hosseini, Kamran
; Rezine, Ahmed
and Aminifar, Amir
LU
(2023)
IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2023
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards optimization of anomaly detection in DevOps
Hrusto, Adha LU
; Engström, Emelie
LU
and Runeson, Per
LU
(2023)
In Information and Software Technology
160.
- Contribution to journal › Article