Ten tips to succeed in global software engineering education: What do the students say? - Predrag Filipovikj; Juraj Feljan; Ivica Crnkovic (CTGDSD@ICSE, 2013)

Reassessing the pattern-based approach for formalizing requirements in the automotive domain. - Predrag Filipovikj; Mattias Nyberg; Guillermo Rodríguez-Navas (RE, 2014)

Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain. - Predrag Filipovikj; Trevor Jagerfield; Mattias Nyberg; Guillermo Rodríguez-Navas; Cristina Cerschi Seceleanu (COMPSAC Workshops, 2016)

Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. - Predrag Filipovikj; Nesredin Mahmud; Raluca Marinescu; Cristina Seceleanu; Oscar Ljungkrantz; Henrik Lönn (FM, 2016)

SMT-based consistency analysis of industrial systems requirements. - Predrag Filipovikj; Guillermo Rodríguez-Navas; Mattias Nyberg; Cristina Seceleanu (SAC, 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)

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models. - Raluca Marinescu; Predrag Filipovikj; Eduard Paul Enoiu; Jonatan Larsson; Cristina Seceleanu (CoRR, 2018)

Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners. - Predrag Filipovikj; Cristina Seceleanu (ENASE, 2019)

Bounded invariance checking of simulink models. - Predrag Filipovikj; Guillermo Rodríguez-Navas; Cristina Seceleanu (SAC, 2019)

Automated Approaches for Formal Verification of Embedded Systems Artifacts. - Predrag Filipovikj (2019)

Service Realizability Check as a Technique to Support a Service Security Assurance Case. - Predrag Filipovikj; Aida Causevic; Elena Lisova (ICIT, 2020)

Bounded Invariant Checking for Stateflow Programs. - Predrag Filipovikj; Dilian Gurov; Mattias Nyberg (CoRR, 2021)

Bounded Invariant Checking for Stateflow. - Predrag Filipovikj; Gustav Ung; Dilian Gurov; Mattias Nyberg (FMAS/ASYDE@SEFM, 2022)

Identifying Redundancies and Gaps Across Testing Levels During Verification of Automotive Software. - Rohini Bisht; Selomie Kindu Ejigu; Gregory Gay 002; Predrag Filipovikj (ICSTW, 2023)

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 (ISoLA (3), 2024)