Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 7

Conference/Workshop Paper (5)

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 (2)

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

Items per page: