Predrag Filipovikj

According to our database, Predrag Filipovikj authored at least 15 papers between 2013 and 2024.

Collaborative distances:

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

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

2023

Identifying Redundancies and Gaps Across Testing Levels During Verification of Automotive Software.

Rohini Bisht, Selomie Kindu Ejigu, Gregory Gay, Predrag Filipovikj

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022

Bounded Invariant Checking for Stateflow.

Predrag Filipovikj, Gustav Ung, Dilian Gurov, Mattias Nyberg

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

2021

Bounded Invariant Checking for Stateflow Programs.

Predrag Filipovikj, Dilian Gurov, Mattias Nyberg

CoRR, 2021

2020

Service Realizability Check as a Technique to Support a Service Security Assurance Case.

Predrag Filipovikj, Aida Causevic, Elena Lisova

Proceedings of the 2020 IEEE International Conference on Industrial Technology, 2020

2019

Automated Approaches for Formal Verification of Embedded Systems Artifacts.

Predrag Filipovikj

PhD thesis, 2019

Bounded invariance checking of simulink models.

Predrag Filipovikj, Guillermo Rodríguez-Navas, Cristina Seceleanu

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners.

Predrag Filipovikj, Cristina Seceleanu

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models.

Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson, Cristina Seceleanu

CoRR, 2018

2017

Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience.

Predrag Filipovikj, Guillermo Rodríguez-Navas, Cristina Seceleanu

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017

SMT-based consistency analysis of industrial systems requirements.

Predrag Filipovikj, Guillermo Rodríguez-Navas, Mattias Nyberg, Cristina Seceleanu

Proceedings of the Symposium on Applied Computing, 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

Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain.

Predrag Filipovikj, Trevor Jagerfield, Mattias Nyberg, Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2014

Reassessing the pattern-based approach for formalizing requirements in the automotive domain.

Predrag Filipovikj, Mattias Nyberg, Guillermo Rodríguez-Navas

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

2013

Ten tips to succeed in global software engineering education: What do the students say?

Predrag Filipovikj, Juraj Feljan, Ivica Crnkovic

Proceedings of the 3rd International Workshop on Collaborative Teaching of Globally Distributed Software Development, 2013