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 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 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
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 Vidare till DOI
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 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
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