Predrag Filipovikj
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
392014
Simulink to UPPAAL statistical model checker: Analyzing automotive industrial systems
P Filipovikj, N Mahmud, R Marinescu, C Seceleanu, O Ljungkrantz, ...
International Symposium on Formal Methods, 748-756, 2016
182016
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
132016
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
82017
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
82017
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
72018
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
52013
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
32019
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
12019
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
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
Automated Approaches for Formal Verification of Embedded Systems Artifacts
P Filipovikj
Mälardalen University, 2019
2019
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
Increasing Embedded Systems´ Quality through Automated Specification and Analysis of Requirements and Behavioral Models
P Filipovikj
43rd International Conference on Current Trends in Theory and Practice of …, 2017
2017
Erratum to: Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems
P Filipovikj, N Mahmud, R Marinescu, C Seceleanu, O Ljungkrantz, ...
International Symposium on Formal Methods, E1-E1, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–19