Follow
Predrag Filipovikj
Predrag Filipovikj
Test Method Engineer | Scania CV AB
Verified email at scania.com - Homepage
Title
Cited by
Cited by
Year
Reassessing the pattern-based approach for formalizing requirements in the automotive domain
P Filipovikj, M Nyberg, G Rodriguez-Navas
2014 IEEE 22nd International Requirements Engineering Conference (RE), 444-450, 2014
562014
Simulink to UPPAAL statistical model checker: Analyzing automotive industrial systems
P Filipovikj, N Mahmud, R Marinescu, C Seceleanu, O Ljungkrantz, ...
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
302016
Integrating pattern-based formal requirements specification in an industrial tool-chain
P Filipovikj, T Jagerfield, M Nyberg, G Rodriguez-Navas, C Seceleanu
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC …, 2016
212016
SMT-based consistency analysis of industrial systems requirements
P Filipovikj, G Rodriguez-Navas, M Nyberg, C Seceleanu
Proceedings of the Symposium on Applied Computing, 1272-1279, 2017
152017
Automated SMT-based consistency checking of industrial critical requirements
P Filipovikj, G Rodriguez-Navas, M Nyberg, C Seceleanu
ACM SIGAPP Applied Computing Review 17 (4), 15-28, 2018
112018
Analyzing industrial simulink models by statistical model checking
P Filipovikj, N Mahmud, R Marinescu, G Rodriguez-Navas, C Seceleanu, ...
Mälardalen Real-Time Research Centre, Mälardalen University, 2017
102017
Bounded invariance checking of simulink models
P Filipovikj, G Rodriguez-Navas, C Seceleanu
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2168-2177, 2019
92019
Ten tips to succeed in global software engineering education: What do the students say?
P Filipovikj, J Feljan, I Crnković
2013 3rd International Workshop on Collaborative Teaching of Globally …, 2013
82013
Specifying industrial system requirements using specification patterns: A case study of evaluation with practitioners
P Filipovikj, C Seceleanu
ENASE 2019: 14th International Conference on Evaluation of Novel Approaches …, 2019
32019
Bounded invariant checking for stateflow programs
P Filipovikj, D Gurov, M Nyberg
arXiv preprint arXiv:2103.06248, 2021
22021
Automated approaches for formal verification of embedded systems artifacts
P Filipovikj
Mälardalen University, 2019
22019
An energy-aware mutation testing framework for EAST-ADL architectural models
R Marinescu, P Filipovikj, EP Enoiu, J Larsson, C Seceleanu
arXiv preprint arXiv:1802.01089, 2018
12018
Bounded Verification of Simulink Models
P Filipovikj, G Rodriguez-Navas, C Seceleanu
Technical Report. http://www. es. mdh. se/publications/5343, 2018
12018
Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models
P Filipovikj
Mälardalen University Press, 2017
12017
Connecting a Design Framework for Service-oriented Systems with UPPAAL model-checker
P Filipovikj
12013
Comparison between centralised and decentralised systems and how they cope with different threats
P Filipovikj, C Holmstedt
Abgerufen am 22 (08), 2013, 2012
12012
Bounded Invariant Checking for Stateflow
P Filipovikj, G Ung, D Gurov, M Nyberg
arXiv preprint arXiv:2209.14028, 2022
2022
Service Realizability Check as a Technique to Support a Service Security Assurance Case
P Filipovikj, A Čaušević, E Lisova
2020 IEEE International Conference on Industrial Technology (ICIT), 973-980, 2020
2020
Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience
P Filipovikj, G Rodriguez-Navas, C Seceleanu
Electronic Communications of the EASST 75, 2018
2018
43rd International Conference on Current Trends in Theory and Practice of Computer Science
P Filipovikj, G Rodriguez-Navas, C Seceleanu
Electronic Communications of the EASST 75, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20