The advanced technology used for develo** modern automotive systems increases their
complexity, making their correctness assurance very tedious. To enable analysis by …

We present an overview of Plasma Lab, a modular statistical model checking (SMC) platform
that facilitates multiple SMC algorithms, multiple modelling and query languages and has …

Safety, resilience and performance are crucial properties in intelligent hybrid systems, in
particular if they are used in critical infrastructures or safety-critical systems. In this paper, we …

Abstract Model-driven development frameworks such as MATLAB Simulink are widely used
in industrial design processes to conquer the increasing complexity of embedded control …

The evolution of automotive systems has been rapid. Nowadays, electronic brains control
dozens of functions in vehicles, like braking, cruising, etc. Model-based design approaches …

Currently, Simulink models can be verified rigorously against design errors or statistical
properties. In this paper, we show how Simulink models can be formally analyzed for …

In recent publications, statistical model checking (SMC) has been proposed as a method for
verifying the performance of finite-set model predictive control (FS-MPC) algorithms applied …

Abstract Wireless Sensor Networks (WSNs) consist of networks composed of tiny devices
equipped with sensing, processing, storage, and wireless communication capabilities. WSN …

The evolution of automotive systems has been rapid. Nowadays, electronic brains control
dozens of functions in vehicles, like braking, cruising, etc. Model-based design approaches …

We study incomplete stochastic systems that are missing some parts of their design, or are
lacking information about some components. It is interesting to get early analysis results of …