Predrag Filipovikj

15 papers A 1B 2Misc 2Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2024 — conf
SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models.
ISoLA (3)
Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodríguez-Navas, Oscar Ljungkrantz, Henrik Lönn
2023 — conf
Identifying Redundancies and Gaps Across Testing Levels During Verification of Automotive Software.
ICSTW
Rohini Bisht, Selomie Kindu Ejigu, Gregory Gay, Predrag Filipovikj
2022 — conf
Bounded Invariant Checking for Stateflow.
FMAS/ASYDE@SEFM
Predrag Filipovikj, Gustav Ung, Dilian Gurov, Mattias Nyberg
2021 J jnl
Bounded Invariant Checking for Stateflow Programs.
CoRR
Predrag Filipovikj, Dilian Gurov, Mattias Nyberg
2020 — conf
Service Realizability Check as a Technique to Support a Service Security Assurance Case.
ICIT
Predrag Filipovikj, Aida Causevic, Elena Lisova
2019 — —
Automated Approaches for Formal Verification of Embedded Systems Artifacts.
Predrag Filipovikj
2019 Misc conf
Bounded invariance checking of simulink models.
SAC
Predrag Filipovikj, Guillermo Rodríguez-Navas, Cristina Seceleanu
2019 B conf
Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners.
ENASE
Predrag Filipovikj, Cristina Seceleanu
2018 J jnl
An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models.
CoRR
Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson, Cristina Seceleanu
2017 J jnl
Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Predrag Filipovikj, Guillermo Rodríguez-Navas, Cristina Seceleanu
2017 Misc conf
SMT-based consistency analysis of industrial systems requirements.
SAC
Predrag Filipovikj, Guillermo Rodríguez-Navas, Mattias Nyberg, Cristina Seceleanu
2016 — conf
Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain.
COMPSAC Workshops
Predrag Filipovikj, Trevor Jagerfield, Mattias Nyberg, Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu
2016 B conf
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems.
FM
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn
2014 A conf
Reassessing the pattern-based approach for formalizing requirements in the automotive domain.
RE
Predrag Filipovikj, Mattias Nyberg, Guillermo Rodríguez-Navas
2013 — conf
Ten tips to succeed in global software engineering education: What do the students say?
CTGDSD@ICSE
Predrag Filipovikj, Juraj Feljan, Ivica Crnkovic