Automated Approaches for Formal Verification of Embedded Systems Artifacts (May 2019) Predrag Filipovikj
Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models (Apr 2017) Predrag Filipovikj
Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience (Oct 2018) Predrag Filipovikj, Guillermo Rodriguez-Navas, Cristina Seceleanu Electronic Communications of the EASST Vol. 75 (ECEASST)
Automated SMT-based Consistency Checking of Industrial Critical Requirements (Jan 2018) Predrag Filipovikj, Guillermo Rodriguez-Navas, Mattias Nyberg , Cristina Seceleanu Applied Computing Review (ACR)
Service Realizability Check as a Technique to Support a Service Security Assurance Case (Feb 2020) Predrag Filipovikj, Aida Causevic, Elena Lisova 21st IEEE International Conference on Industrial Technology (ICIT'20)
Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners (May 2019) Predrag Filipovikj, Cristina Seceleanu 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019)
Bounded Invariance Checking of Simulink Models (Apr 2019) Predrag Filipovikj, Guillermo Rodriguez-Navas, Cristina Seceleanu The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)
An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models (Oct 2017) Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson , Cristina Seceleanu 29th Nordic Workshop on Programming Theory (NWPT'17)
SMT-based Consistency Analysis of Industrial Systems Requirements (Apr 2017) -- Best Paper Award-- Predrag Filipovikj, Guillermo Rodriguez-Navas, Mattias Nyberg , Cristina Seceleanu 32nd ACM SIGAPP Symposium On Applied Computing (SAC2017)
Increasing Embedded Systems’ Quality through Automated Specification and Analysis of Requirements and Behavioral Models (Jan 2017) -- Best Paper Award-- Predrag Filipovikj 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017)
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems (Nov 2016) Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn 21st International Symposium on Formal Methods (FM2016)
Integrating Pattern-based Formal Requirements Specification in an Industrial Tool-chain (Jun 2016) Predrag Filipovikj, Trevor Jagerfield , Mattias Nyberg , Guillermo Rodriguez-Navas, Cristina Seceleanu The 10th IEEE International Workshop on Quality Oriented Reuse of Software (QUORS'16)
Reassessing the Pattern-Based Approach for Formalizing Requirements in the Automotive Domain (Aug 2014) Predrag Filipovikj, Mattias Nyberg , Guillermo Rodriguez-Navas 22nd IEEE International Requirements Engineering Conference (RE'14)
Ten Tips to Succeed in Global Software Engineering Education: What Do the Students Say? (May 2013) Predrag Filipovikj, Juraj Feljan, Ivica Crnkovic Collaborative Teaching of Globally Distributed Software Development - Community Building Workshop (CTGDSD3)
Bounded Verification of Simulink Models (Dec 2018) Predrag Filipovikj, Guillermo Rodriguez-Navas, Cristina Seceleanu
Analyzing Industrial Simulink Models by Statistical Model Checking (Mar 2017) Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Guillermo Rodriguez-Navas, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn MRTC Report, Mälardalen Real-Time Research Centre (MRTC2017)
Connecting a Design Framework for Service-oriented Systems with UPPAAL model-checker (Jun 2013) Predrag Filipovikj