Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 10

Licentiate Thesis (1)

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

Conference/Workshop Paper (7)

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)

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)

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)

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)

Ten Tips to Succeed in Global Software Engineering Education: What Do the Students Say? (May 2013)
Predrag Filipovikj, Juraj Feljan, Ivica Crnkovic
Collaborative Teaching of Globally Distributed Software Development - Community Building Workshop (CTGDSD3)

Report - MRTC (1)

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

Student Thesis (1)

Connecting a Design Framework for Service-oriented Systems with UPPAAL model-checker (Jun 2013)
Predrag Filipovikj

Items per page: