Ahmed Rezine

Publikationer

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 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 (STTT), Vol. 23, Artikel 825 Vidare till DOI

Zeinab Ganjei, Ahmed Rezine, Petru Ion Eles, Zebo Peng (2021) Verifying Safety of Parameterized Heard-Of Algorithms

Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng (2021) Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN IEEE design & test, Vol. 38, s. 48-56 Vidare till DOI

2020

Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Ion Eles, Jianhui Jiang (2020) Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 39, s. 714-727 Vidare till DOI