Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 21

Licentiate Thesis (2)

Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models (Apr 2017)
Predrag Filipovikj

Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models
Nesredin Mahmud

Journal article (2)

Automated SMT-based Consistency Checking of Industrial Critical Requirements (Jan 2018)
Predrag Filipovikj, Guillermo Rodriguez-Navas, Mattias Nyberg , Cristina Seceleanu
Applied Computing Review (ACR)

Component Models for Reasoning (Nov 2013)
Cristina Seceleanu, Ivica Crnkovic
The Computer Journal (Comput. J.)

Conference/Workshop Paper (15)

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)

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models (Oct 2017)
Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson , Cristina Seceleanu
29th Nordic Workshop on Programming Theory (NWPT'17)

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)

SMT-based Consistency Analysis of Industrial Systems Requirements (Apr 2017) -- Best Paper Award--
Predrag Filipovikj, Guillermo Rodriguez-Navas, Mattias Nyberg , Cristina Seceleanu
32nd ACM SIGAPP Symposium On Applied Computing (SAC2017)

Increasing Embedded Systems’ Quality through Automated Specification and Analysis of Requirements and Behavioral Models (Jan 2017) -- Best Paper Award--
Predrag Filipovikj
43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017)

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)

Integrating Pattern-based Formal Requirements Specification in an Industrial Tool-chain (Jun 2016)
Predrag Filipovikj, Trevor Jagerfield , Mattias Nyberg , Guillermo Rodriguez-Navas, Cristina Seceleanu
The 10th IEEE International Workshop on Quality Oriented Reuse of Software (QUORS'16)

Formal methods in collaborative projects (Apr 2016)
Anna Zamansky , Guillermo Rodriguez-Navas, Mark Adams , Maria Spichkova
Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

Cyber-physical Systems: Interoperability and Distributed Intelligence (Sep 2015)
Cristina Seceleanu
39th IEEE Annual Computer Software and Applications Conference (COMPSAC 2015)

Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing (Aug 2015)
Guillermo Rodriguez-Navas, Avenir Kobetski , Daniel Sundmark, Thomas Gustafsson
12th IEEE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS 2015)

Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL (Jul 2015)
Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)

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)

Reassessing the Pattern-Based Approach for Formalizing Requirements in the Automotive Domain (Aug 2014)
Predrag Filipovikj, Mattias Nyberg , Guillermo Rodriguez-Navas
22nd IEEE International Requirements Engineering Conference (RE'14)

Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach (Jun 2014)
Guillermo Rodriguez-Navas, Cristina Seceleanu, Hans Hansson, Mattias Nyberg , Oscar Ljungkrantz , Henrik Lönn
51st Annual Design Automation Conference on Design Automation Conference (DAC)

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
MRTC Report, Mälardalen Real-Time Research Centre (MRTC2017)

Items per page: