Nesredin is a PhD student from the Networked and Embedded Systems (NES) division, at Mälardalen Univerisity, Sweden. He studied Intellignet Embedded System master program at Mälardalen Univerisity in 2013, completing his thesis on Distributed Industrial Application for Virtualized Multicore Framework at ABB Corporate Research Center, Västerås.
My domain of research is on applications of formal methods for the specification, analysis and verification of embedded systems. He has conducted an empirical study at Volvo regarding the challenges of requirements specification for automotive systems, which resulted the ReSA framework - a constrained natural language and a tool chain, based on Ontology, Type System, Boolean Satisfiability.
He has also researched on formal analysis of Simulink models using Statistical Model Checking for large models. Nesredin is interested in model-based development, timed systems, hybrid systems, design space exploration, software allocation, distributed systems, and virtualization in the domain of embedded systems/cyber physical systems.
Power-aware Allocation of Fault-tolerant Multi-rate AUTOSAR Applications (Dec 2018) Nesredin Mahmud, Guillermo Rodriguez-Navas, Hamid Reza Faragardi, Saad Mubeen, Cristina Seceleanu 25th Asia-Pacific Software Engineering Conference (APSEC'18)
Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic (Aug 2017) Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz Software Engineering and Formal Methods (SEFM)
Analyzing Industrial Simulink Models by Statistical Model Checking (Mar 2017) Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Guillermo Rodriguez-Navas, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn MRTC Report, Mälardalen Real-Time Research Centre (MRTC2017)
ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking (Nov 2016) Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz 35th Annual IEEE Software Engineering Workshop (FedCSIS Conference) (SEW-36)
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems (Nov 2016) Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn 21st International Symposium on Formal Methods (FM2016)