Till innehållet
English
Sök
Sök på liu.se
Meny
Utbildning
Forskning
Samverkan
Hem
Om LiU
Aktuellt
Jobba på LiU
Kontakt
Start
Ahmed Rezine
Ahmed Rezine
Universitetslektor, Docent
Publikationer
Forskning
Utbildning
Presentation
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
Taggar
Medarbetare
Wallenberg Autonomous Systems Program - WASP
Inbyggda system (ESLAB)
Programvara och system (SAS)
Institutionen för datavetenskap (IDA)
Linköpings universitet (LIU)
Ahmed Rezine (ahmre43)
Universitetslektor
Docent
Dela på
Facebook
Twitter
LinkedIn
Email