Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Predrag Filipovikj · SciRah

Researcher profile · Semantic Scholar

Predrag Filipovikj

Share profile

Predrag Filipovikj — researcher profile on SciRah

h-index: 6
Works: 22
Citations: 165

Most-cited papers

Reassessing the pattern-based approach for formalizing requirements in the automotive domain
Predrag Filipovikj, M. Nyberg, G. Rodríguez-Navas
2014IEEE International Requirements Engineering Conference46 citations
Semantic Scholar
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems
Predrag Filipovikj, Nesredin Mahmud, R. Marinescu, C. Seceleanu +2 more
2016World Congress on Formal Methods34 citations
Semantic Scholar
Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain
Predrag Filipovikj, Trevor Jagerfield, M. Nyberg, G. Rodríguez-Navas +1 more
2016Annual International Computer Software and Applications Conference23 citations
Semantic Scholar
SMT-based consistency analysis of industrial systems requirements
Predrag Filipovikj, G. Rodríguez-Navas, M. Nyberg, C. Seceleanu
2017ACM Symposium on Applied Computing18 citations
Semantic Scholar
Automated SMT-based consistency checking of industrial critical requirements
Predrag Filipovikj, G. Rodríguez-Navas, M. Nyberg, C. Seceleanu
2018SIAP11 citations
Semantic Scholar
Ten tips to succeed in global software engineering education: What do the students say?
Predrag Filipovikj, Juraj Feljan, I. Crnkovic
20132013 3rd International Workshop on Collaborative Teaching of Globally Distributed Software Development (CTGDSD)7 citations
Semantic Scholar
Bounded invariance checking of simulink models
Predrag Filipovikj, G. Rodríguez-Navas, C. Seceleanu
2019ACM Symposium on Applied Computing6 citations
Semantic Scholar
Analyzing Industrial Simulink Models by Statistical Model Checking
Predrag Filipovikj, Nesredin Mahmud, R. Marinescu, G. Rodríguez-Navas +3 more
20176 citations
Semantic Scholar
Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners
Predrag Filipovikj, C. Seceleanu
2019International Conference on Evaluation of Novel Approaches to Software Engineering4 citations Open access
Semantic Scholar
Automated Approaches for Formal Verification of Embedded Systems Artifacts
Predrag Filipovikj
20192 citations
Semantic Scholar
Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models
Predrag Filipovikj
20172 citations
Semantic Scholar
Identifying Redundancies and Gaps Across Testing Levels During Verification of Automotive Software
R. Bisht, Selomie Kindu Ejigu, Gregory Gay, Predrag Filipovikj
2023International Conference on Software Testing, Verification and Validation Workshops1 citations Open access
Semantic Scholar
Bounded Invariant Checking for Stateflow Programs
Predrag Filipovikj, D. Gurov, M. Nyberg
2021arXiv.org1 citations
Semantic Scholar
Service Realizability Check as a Technique to Support a Service Security Assurance Case
Predrag Filipovikj, Aida Čaušević, Elena Lisova
2020International Conference on Industrial Technology1 citations
Semantic Scholar
Bounded Verification of Simulink Models
Predrag Filipovikj, G. Rodríguez-Navas, C. Seceleanu
20181 citations
Semantic Scholar
Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience
Predrag Filipovikj, G. Rodríguez-Navas, C. Seceleanu
2018Electronic Communication of The European Association of Software Science and Technology1 citations
Semantic Scholar
An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models
R. Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson +1 more
2018Nordic Workshop Programming Theory1 citations
Semantic Scholar
Connecting a Design Framework for Service-oriented Systems with UPPAAL model-checker
Predrag Filipovikj
20131 citations
Semantic Scholar
SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models
Predrag Filipovikj, Nesredin Mahmud, C. Seceleanu, G. Rodríguez-Navas +2 more
2024Leveraging Applications of Formal Methods0 citations
Semantic Scholar
Bounded Invariant Checking for Stateflow
Predrag Filipovikj, Gustav Ung, D. Gurov, M. Nyberg
2022FMAS/ASYDE@SEFM0 citations Open access
Semantic Scholar
Increasing Embedded Systems´ Quality through Automated Specification and Analysis of Requirements and Behavioral Models
Predrag Filipovikj
20170 citations
Semantic Scholar
Erratum to: Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems
Predrag Filipovikj, Nesredin Mahmud, R. Marinescu, C. Seceleanu +2 more
2016World Congress on Formal Methods0 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

C. Seceleanu×12
Invite
C. Seceleanu — researcher profile on SciRah
G. Rodríguez-Navas×9
Invite
G. Rodríguez-Navas — researcher profile on SciRah
M. Nyberg×6
Invite
M. Nyberg — researcher profile on SciRah
Nesredin Mahmud×4
Invite
Nesredin Mahmud — researcher profile on SciRah

×4

Invite

R. Marinescu — researcher profile on SciRah

Oscar Ljungkrantz×4

Invite

Oscar Ljungkrantz — researcher profile on SciRah

Invite

H. Lönn — researcher profile on SciRah

Invite

D. Gurov — researcher profile on SciRah

Trevor Jagerfield×1

Invite

Trevor Jagerfield — researcher profile on SciRah

Juraj Feljan×1

Invite

Juraj Feljan — researcher profile on SciRah

Invite

I. Crnkovic — researcher profile on SciRah

Invite

R. Bisht — researcher profile on SciRah