Nesredin is a PhD student at IDT, Mälardalen Univerisity. He studied Intellignet Embedded System master program at Mälardalen Univerisity, Sweden. He did his mater thesis on 'Distributed Industrial Application for Virtualized Multicore Framework' at ABB Corporate Research Center, Västerås.
His domain of research is on applications of formal methods for the specification, analysis and verification of embedded systems. Currently, he is working on formal verifiation of industrial Simulink models and a formal language, ReSA for the specification of embedded systems requirements using constrained natural language.
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
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)
ReSA: An Ontology-based Requirement Specification Language Tailored to Automotive Systems (Jun 2015) Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz 10th IEEE International Symposium on Industrial Embedded Systems (SIES'15)
Evaluating Industrial Applicability of Virtualization on a Distributed Multicore Platform (Sep 2014) Nesredin Mahmud, Kristian Sandström, Aneta Vulgarakis Feljan The 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014)