| 2024 | ISoLA | SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. | Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodrguez-Navas, Oscar Ljungkrantz, Henrik Lnn |
| 2018 | APSEC | Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications. | Nesredin Mahmud, Guillermo Rodrguez-Navas, Hamid Faragardix, Saad Mubeen, Cristina Seceleanu |
| 2017 | SEFM | Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic. | Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz |
| 2016 | FedCSIS | ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking. | Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz |
| 2016 | FM | Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. | Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lnn |
| 2014 | ETFA | Evaluating industrial applicability of virtualization on a distributed multicore platform. | Nesredin Mahmud, Kristian Sandstrm, Aneta Vulgarakis |
| 2014 | RTAS | The Multi-Resource Server for predictable execution on multi-core platforms. | Rafia Inam, Nesredin Mahmud, Moris Behnam, Thomas Nolte, Mikael Sjdin |