Ahmed Rezine

Associate Professor, Docent

Forskarassistent

Publications

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, p. 158-168 (Conference paper)

Continue to DOI

2024

Anahita Baninajjar, Ahmed Rezine, Amir Aminifar (2024) VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees INTERNATIONAL CONFERENCE ON MACHINE LEARNING (Conference paper)

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, p. 3226-3239 (Article in journal)

Continue to 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) (Conference paper)

Continue to 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, Article 102518 (Article in journal)

Continue to DOI

Research

Cybersecurity

Welcome to the cybersecurity platform at the Department of Computer and Information Science at Linköping University. Here you can find information about research and education in cybersecurity, as well as researchers and teachers active in the field.

About the division

A person sits in front of a computer screen and handles a floor robot

Software and Systems (SAS)

The SAS division is part of the Department of Computer and Information Science. The division conducts research and education in software engineering and computer systems, covering both basic research and projects in cooperation with industry.