Nesredin Mahmud

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 4

Top Topics

Industrial Systems

Specification Language

Path Consistency

Top Venues

Publications

Nesredin Mahmud, Guillermo Rodríguez-Navas, Hamid Faragardix, Saad Mubeen, Cristina Seceleanu
Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications. APSEC (2018)
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic. SEFM (2017)
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. FM (2016)
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking. FedCSIS (2016)
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
ReSA: An ontology-based requirement specification language tailored to automotive systems. SIES (2015)
Rafia Inam, Nesredin Mahmud, Moris Behnam, Thomas Nolte, Mikael Sjödin
The Multi-Resource Server for predictable execution on multi-core platforms. RTAS (2014)
Nesredin Mahmud, Kristian Sandström, Aneta Vulgarakis
Evaluating industrial applicability of virtualization on a distributed multicore platform. ETFA (2014)