Photo of Ahmed Rezine

Ahmed Rezine

Associate Professor, Docent

Forskarassistent

Presentation

Publications

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

Continue to 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, Vol. 23, Article 825

Continue to 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, p. 48-56

Continue to 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, p. 714-727

Continue to DOI

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.

Colleagues at SaS

Photo of Azeem Ahmad

Principal Research Engineer

Simon Ahrenstedt

Antonia Arvanitaki

Photo of Klas Arvidsson

Photo of Adeel Asghar

Photo of Mikael Asplund

Senior Associate Professor

Photo of Ayla Babazade

Photo of Aseel Berglund

Associate Professor

Jonatan Billger

Photo of Lena Buffoni

Associate Professor, Docent

Photo of Valency Colaco

Hanna Ekstam Ahlberg

Photo of Eric Ekström

Photo of Petru Eles

Professor Emeritus

Tobias Elfstrand

Photo of John Enblom

Alexander Engström

Photo of Emma Enocksson Svensson

Emma Enocksson Svensson

Photo of August Ernstsson

August Ernstsson

Photo of Reyhane Falanji

Reyhane Falanji

Photo of Peter Fritzson

Professor Emeritus

Photo of Máté Földiák

Máté Földiák

Karl-Erik Gladysz

Photo of Pontus Haglund

Viggo Hermansson

Photo of José Antonio Hernández López

José Antonio Hernández López

Photo of Christoffer Holm

Christoffer Holm

Photo of Kamran Hosseini

Kamran Hosseini

Photo of Abdelazim Hussien

Abdelazim Hussien

Gustav Johansson

Oscar Johansson

Photo of Martin Jonson

Photo of Torbjörn Jonsson

Torbjörn Jonsson

Lecturer, Head of Unit

Photo of Mariam Kamkar

Professor Emerita

Mattias Karlsson

Photo of Christoph Kessler

Christoph Kessler

Professor, Head of Division

Photo of Sajad Khosravi

Mikael Lundgren

Photo of Willem Meijer

Torvald Mårtensson

Adjunct Associate Professor

Photo of Simin Nadjm-Tehrani

Simin Nadjm-Tehrani

Professor, Head of Unit

Photo of Magnus Nielsen

Madeleine Nilsson

Photo of Viktor Olsson

Photo of Helena Orädd

Arunkumar Palanisamy

Photo of Zebo Peng

Deputy Head of Department, Professor, Head of Unit

Photo of Roland Plaka

Photo of Adrian Pop

Principal Research Engineer, Docent

Hillevi Ragnemalm

Photo of Rodrigo Saar de Moraes

Rodrigo Saar de Moraes

Senior Associate Professor

Photo of Kristian Sandahl

Kristian Sandahl

Professor, Head of Unit

Photo of Navya Sivaraman

Navya Sivaraman

Photo of Martin Sjölund

Martin Sjölund

Associate Professor

Charilaos Skandylas

Photo of Filip Strömbäck

Filip Strömbäck

Associate Professor

Adjunct Associate Professor

Photo of Axel Sundelin

August Svensson

Photo of Xiaopeng Teng

John Tinnerholm

Photo of Klervie Toczé

Jacob Törnberg Zeinetz

Photo of John Törnblom

Simon Törnqvist

Photo of Daniel Varro

Photo of Jonas Wallgren

Photo of Yiran Wang

Johannes Wilson

Tove Winddotter

Photo of Andreas Wrisley

Andreas Wrisley

Erik von Nastase

About the department

Image of Building E, Campus Valla.

Department of Computer and Information Science (IDA)

The Department of Computer and Information Science is one of the largest departments in northern Europe in its field. Research activity covers artificial intelligence, human-computer interaction, software and computer systems, and data science.

Tags