English

Sök på liu.se

Utbildning
Forskning
Samverkan

Hem

Om LiU
Aktuellt
Jobba på LiU
Kontakt

English

Utbildning
Forskning
Samverkan
Om LiU
Aktuellt
Jobba på LiU
Kontakt
Stäng menyn

Start
Ahmed Rezine

Fotografi av Ahmed Rezine

Ahmed Rezine

Universitetslektor, Docent

Kontakt

ahmed.rezine@liu.se
013-28 19 38
1938
0000-0002-0440-4753

Organisation

Institutionen för datavetenskap (IDA)
Programvara och system (SAS)

Besöksadress

Campus Valla, B-huset, Ingång 29, Rum 329:232

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

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

Till publikationsdatabas

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

Visa alla taggar Göm alla taggar

Dela på

Facebook Twitter LinkedIn Email

Linköpings universitet

581 83 Linköping

infocenter@liu.se
013-28 10 00

LiU:s integritetspolicy

Webbplatsansvarig: webmaster@liu.se

Följ oss

Facebook
Twitter
Instagram
LinkedIn

Hitta hit

Kartinformation

Campus Norrköping

Campus Lidingö

Snabblänkar

Regler och styrdokument

Universitetsbibliotek

Internt