Evaluating industrial applicability of virtualization on a distributed multicore platform. - Nesredin Mahmud; Kristian Sandström; Aneta Vulgarakis (ETFA, 2014)

The Multi-Resource Server for predictable execution on multi-core platforms. - Rafia Inam; Nesredin Mahmud; Moris Behnam; Thomas Nolte; Mikael Sjödin (RTAS, 2014)

ReSA: An ontology-based requirement specification language tailored to automotive systems. - Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz (SIES, 2015)

ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking. - Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz (FedCSIS, 2016)

Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. - Predrag Filipovikj; Nesredin Mahmud; Raluca Marinescu; Cristina Seceleanu; Oscar Ljungkrantz; Henrik Lönn (FM, 2016)

Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic. - Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz (SEFM, 2017)

Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications. - Nesredin Mahmud; Guillermo Rodríguez-Navas; Hamid Faragardix; Saad Mubeen; Cristina Seceleanu (APSEC, 2018)

Design of Assured and Efficient Safety-critical Systems. - Nesredin Mahmud (2019)

SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. - Predrag Filipovikj; Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodríguez-Navas; Oscar Ljungkrantz; Henrik Lönn (ISoLA (3), 2024)