Predrag Filipovikj

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 11

Top Topics

Industrial Systems

Top Venues

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

Publications

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