Ahmed Rezine

Universitetslektor, Docent

Publikationer

2025

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

2023

Anahita Baninajjar, Kamran Hosseini, Ahmed Rezine, Amir Aminifar (2023) SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks ICASSP 2023: 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (Konferensbidrag)

Vidare till DOI

2022

Adrian Horga, Ahmed Rezine, Sudipta Chattopadhyay, Petru Ion Eles, Zebo Peng (2022) Symbolic identification of shared memory based bank conflicts for GPUs Journal of systems architecture, Vol. 127, Artikel 102518 (Artikel i tidskrift)

Vidare till DOI

Forskning

Cybersäkerhet

Välkommen till cybersäkerhetsplattformen vid Institutionen för datavetenskap vid Linköpings universitet. Här hittar du information om forskning och utbildning inom cybersäkerhet, samt forskare och lärare som är aktiva inom fältet.

Om avdelningen

En person sitter framför en datorskärm och hanterar en golvrobot

Programvara och system (SAS)

Programvara och system är en avdelning vid Institutionen för datavetenskap för forskning och utbildning inom programvaruteknik och datorsystem. Forskningen omfattar både grundforskning och projekt i samarbete med industrin.