ahmre43

Ahmed Rezine

Universitetslektor, Docent

Publikationer

2024

Anahita Baninajjar, Ahmed Rezine, Amir Aminifar (2024) VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees INTERNATIONAL CONFERENCE ON MACHINE LEARNING (Konferensbidrag)

Ying Zhang, Aodi He, Jiaying Li, Ahmed Rezine, Zebo Peng, Erik Larsson, Tao Yang, Jianhui Jiang, Huawei Li (2024) On Modeling and Detecting Trojans in Instruction Sets IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 43, s. 3226-3239 (Artikel i tidskrift)

Vidare till DOI

2023

Anahita Baninajjar, Kamran Hosseini, Ahmed Rezine, Amir Aminifar (2023) SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks

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 (Artikel i tidskrift)

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, Vol. 23, Artikel 825 (Artikel i tidskrift)

Vidare till DOI

Om avdelningen

En person sitter framför en datorskärm och hanterar en golvrobot

Programvara och system (SAS)

Programvara och system är en avdelning vid Institutionen för datavetenskap för forskning och utbildning inom programvaruteknik och datorsystem. Forskningen omfattar både grundforskning och projekt i samarbete med industrin.

Kollegor vid SaS

Fotografi av Zeeshan Afzal

Platshållare för saknad bild till Love Arreborn

Fotografi av Klas Arvidsson

Universitetsadjunkt

Fotografi av Adeel Asghar

Fotografi av Mikael Asplund

Biträdande professor

Fotografi av Ayla Babazade

Fotografi av Amin Bajand

Fotografi av Aseel Berglund

Universitetslektor, Docent

Fotografi av Lena Buffoni

Universitetslektor, Docent

Fotografi av Valency Colaco

Platshållare för saknad bild till Hanna Ekstam Ahlberg

Hanna Ekstam Ahlberg

Fotografi av Eric Ekström

Universitetsadjunkt

Fotografi av Petru Eles

Professor emeritus

Fotografi av Emma Enocksson Svensson

Emma Enocksson Svensson

Universitetsadjunkt

Fotografi av August Ernstsson

August Ernstsson

Universitetsadjunkt

Fotografi av Reyhane Falanji

Reyhane Falanji

Fotografi av Dominik Frey

Fotografi av Peter Fritzson

Professor emeritus

Fotografi av Máté Földiák

Máté Földiák

Fotografi av Pontus Haglund

Universitetsadjunkt

Platshållare för saknad bild till Jonathan Hjort

Fotografi av Christoffer Holm

Christoffer Holm

Fotografi av Abdelazim Hussien

Abdelazim Hussien

Fotografi av Torbjörn Jonsson

Torbjörn Jonsson

Universitetsadjunkt, Enhetschef

Platshållare för saknad bild till Filip Josefsson

Filip Josefsson

Platshållare för saknad bild till Dag Jönsson

Fotografi av Mariam Kamkar

Professor emerita

Fotografi av Christoph Kessler

Christoph Kessler

Professor, Avdelningschef

Fotografi av Shahrzad Khayatbashi

Shahrzad Khayatbashi

Fotografi av Sajad Khosravi

Platshållare för saknad bild till Niklas Lanzén

Platshållare för saknad bild till Sebastian Litzinger

Sebastian Litzinger

Fotografi av Willem Meijer

Fotografi av Torvald Mårtensson

Torvald Mårtensson

Adjungerad universitetslektor

Fotografi av Simin Nadjm-Tehrani

Simin Nadjm-Tehrani

Professor, Enhetschef

Fotografi av Erik von Nastase

Erik von Nastase

Fotografi av Magnus Nielsen

Platshållare för saknad bild till Aron Nikku

Fotografi av Viktor Olsson

Fotografi av Helena Orädd

Platshållare för saknad bild till Yungang Pan

Fotografi av Zebo Peng

Proprefekt, Professor, Enhetschef

Fotografi av Roland Plaka

Fotografi av Adrian Pop

Förste forskningsingenjör, Docent

Fotografi av Masoud Sadrnezhaad

Masoud Sadrnezhaad

Platshållare för saknad bild till Soheil Samii

Biträdande professor

Fotografi av Kristian Sandahl

Kristian Sandahl

Platshållare för saknad bild till Sonia Sangari

Fotografi av Martin Sjölund

Martin Sjölund

Universitetslektor

Platshållare för saknad bild till Charilaos Skandylas

Charilaos Skandylas

Fotografi av Filip Strömbäck

Filip Strömbäck

Universitetslektor

Platshållare för saknad bild till Daniel Ståhl

Adjungerad universitetslektor, Docent

Platshållare för saknad bild till Xin Sun

Fotografi av Xiaopeng Teng

Fotografi av Animesh Thakur

Platshållare för saknad bild till John Tinnerholm

John Tinnerholm

Fotografi av Klervie Toczé

Fotografi av John Törnblom

Platshållare för saknad bild till Federica Uccello

Federica Uccello

Platshållare för saknad bild till Ahmad Usman

Fotografi av Daniel Varro

Professor, Enhetschef

Fotografi av Yiran Wang

Platshållare för saknad bild till Johannes Wilson

Johannes Wilson

Fotografi av Andreas Wrisley

Andreas Wrisley

Platshållare för saknad bild till Per Östlund

Om institutionen

Föreställer E-huset på Campus Valla.

Institutionen för datavetenskap (IDA)

En av de största datavetenskapliga institutionerna i norra Europa med forskning och utbildning inom AI, människa-datorinteraktion, programvaruteknik och datorsystem, och data science. Verksamheten är inriktad mot både teknisk och filosofisk fakultet.

Taggar