Publications
Number of publications matching the search criterion: 11
Licentiate Thesis (1)
Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models Nesredin Mahmud
Conference/Workshop Paper (7)
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)
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)
The Multi-Resource Server for Predictable Execution on Multi-core Platforms Rafia Inam, Nesredin Mahmud, Moris Behnam, Thomas Nolte, Mikael Sjödin 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'14)
Report - MRTC (3)
Optimized Allocation of Fault-tolerant Embedded Software with End-to-end Timing Constraints (May 2019) Nesredin Mahmud, Cristina Seceleanu, Hamid Reza Faragardi, Guillermo Rodriguez-Navas, Saad Mubeen
Semantic Analysis of Embedded System Requirements Speci fications (May 2017) Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
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)
