Nesredin Mahmud

According to our database, Nesredin Mahmud authored at least 9 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

2019

Design of Assured and Efficient Safety-critical Systems.

Nesredin Mahmud

PhD thesis, 2019

2018

Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications.

Nesredin Mahmud, Guillermo Rodríguez-Navas, Hamid Faragardix, Saad Mubeen, Cristina Seceleanu

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic.

Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems.

Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn

Proceedings of the FM 2016: Formal Methods, 2016

ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking.

Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

2015

ReSA: An ontology-based requirement specification language tailored to automotive systems.

Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

2014

The Multi-Resource Server for predictable execution on multi-core platforms.

Rafia Inam, Nesredin Mahmud, Moris Behnam, Thomas Nolte, Mikael Sjödin

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Evaluating industrial applicability of virtualization on a distributed multicore platform.

Nesredin Mahmud, Kristian Sandström, Aneta Vulgarakis

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014