Ahmed Rezine

Universitetslektor, Docent

Publikationer

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

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

2021

Parosh Aziz Abdulla, Frederic Haziza, Lukas Holik, Bengt Jonsson, Ahmed Rezine (2021) Correction: An integrated specification and verification technique for highly concurrent data structures (vol 19, pg 549, 2017) International Journal on Software Tools for Technology Transfer, Vol. 23, Artikel 825 (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.