Fotografi av Ahmed Rezine

Ahmed Rezine

Universitetslektor, Docent

Publikationer

2025

Anahita Baninajjar, Amin Aminifar, Kamran Hosseini, Amir Aminifar, Ahmed Rezine (2025) Robustness and Privacy Interplay in Patient Membership Inference
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar (2025) Formal Local Implication Between Two Neural Networks
Ayla Babazade, Soheil Samii, Ahmed Rezine (2025) Integrated Cost Optimization and Preemptable Scheduling for Real-Time Ethernet Applications 2025 IEEE 31ST INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, RTCSA, s. 158-168 (Konferensbidrag) Vidare till DOI

2024

Anahita Baninajjar, Ahmed Rezine, Amir Aminifar (2024) VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees INTERNATIONAL CONFERENCE ON MACHINE LEARNING (Konferensbidrag)
Ying Zhang, Aodi He, Jiaying Li, Ahmed Rezine, Zebo Peng, Erik Larsson, Tao Yang, Jianhui Jiang, Huawei Li (2024) On Modeling and Detecting Trojans in Instruction Sets IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 43, s. 3226-3239 (Artikel i tidskrift) Vidare till DOI

Forskning

Om avdelningen

Kollegor vid SaS

Om institutionen