Bounded Invariant Checking for Stateflow
Filipovikj, Predrag, Ung, Gustav, Gurov, Dilian, Nyberg, Mattias
Published in Electronic proceedings in theoretical computer science (27.09.2022)
Published in Electronic proceedings in theoretical computer science (27.09.2022)
Get full text
Journal Article
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems
Filipovikj, Predrag, Mahmud, Nesredin, Marinescu, Raluca, Seceleanu, Cristina, Ljungkrantz, Oscar, Lönn, Henrik
Published in FM 2016: Formal Methods (2016)
Published in FM 2016: Formal Methods (2016)
Get full text
Book Chapter
Conference Proceeding
Bounded Invariant Checking for Stateflow
Filipovikj, Predrag, Ung, Gustav, Gurov, Dilian, Nyberg, Mattias
Published in arXiv.org (28.09.2022)
Published in arXiv.org (28.09.2022)
Get full text
Paper
Journal Article
Service Realizability Check as a Technique to Support a Service Security Assurance Case
Filipovikj, Predrag, Causevic, Aida, Lisova, Elena
Published in 2020 IEEE International Conference on Industrial Technology (ICIT) (01.02.2020)
Published in 2020 IEEE International Conference on Industrial Technology (ICIT) (01.02.2020)
Get full text
Conference Proceeding
Identifying Redundancies and Gaps Across Testing Levels During Verification of Automotive Software
Bisht, Rohini, Ejigu, Selomie Kindu, Gay, Gregory, Filipovikj, Predrag
Published in 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (01.04.2023)
Published in 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (01.04.2023)
Get full text
Conference Proceeding
Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain
Filipovikj, Predrag, Jagerfield, Trevor, Nyberg, Mattias, Rodriguez-Navas, Guillermo, Seceleanu, Cristina
Published in 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) (01.06.2016)
Published in 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) (01.06.2016)
Get full text
Conference Proceeding
Journal Article
An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models
Marinescu, Raluca, Filipovikj, Predrag, Enoiu, Eduard Paul, Larsson, Jonatan, Seceleanu, Cristina
Year of Publication 04.02.2018
Year of Publication 04.02.2018
Get full text
Journal Article
Ten tips to succeed in global software engineering education: What do the students say?
Filipovikj, Predrag, Feljan, Juraj, Crnkovic, Ivica
Published in 2013 3rd International Workshop on Collaborative Teaching of Globally Distributed Software Development (CTGDSD) (01.05.2013)
Published in 2013 3rd International Workshop on Collaborative Teaching of Globally Distributed Software Development (CTGDSD) (01.05.2013)
Get full text
Conference Proceeding