1 citations · 1 across the 3 of their papers we have counts for
3 papers
Bounded Invariant Checking for Stateflow
Predrag Filipovikj, Gustav Ung, Dilian Gurov +1
Stateflow models are complex software models, often used as part of industrial safety-critical software solutions designed with Matlab Simulink. Being part of safety-critical solut…
Bounded Invariant Checking for Stateflow Programs
Predrag Filipovikj, Dilian Gurov, Mattias Nyberg
Stateflow models are complex software models, often used as part of safety-critical software solutions designed with Matlab Simulink. They incorporate design principles that are ty…
An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models
Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu +2
Early design artifacts of embedded systems, such as architectural models, represent convenient abstractions for reasoning about a system's structure and functionality. One such exa…