Interactive, distributed, and embedded systems often behave stochastically, for example,
when inputs, message delays, or failures conform to a probability distribution. However …

The ever-increasing deployment of autonomous Cyber-Physical Systems (CPSs)(eg,
autonomous cars, UAV) exacerbates the need for efficient formal verification methods. In this …

Interactions via social media platforms have made it possible for anyone, irrespective of
physical location, to gain access to quick information on events taking place all over the …

Petri net a scientific modelling language that is used to visually represent a system. It'sa
commanding language that may be utilized to express concurrent system processes. Users …

This paper presents a major new release of S BIP, an extensible statistical model checker for
Metric (MTL) and Linear-time Temporal Logic (LTL) properties on respectively Generalized …

Statistical model checking (SMC) is a simulation-based formal verification technique to deal
with the scalability problem faced by traditional model checking. The main workflow of SMC …

The phenomenon of cooperation among independent systems to achieve common goals
has been growing. In this regard, the concept of system of systems (SoS), wherein numerous …

Statistical model checking estimates probabilities and expectations of interest in probabilistic
system models by using random simulations. Its results come with statistical guarantees …

Analyzing the behavior of sensors is becoming one of the key challenges due to their
increasing use for decision making in IoT systems. The paper proposes an approach for a …

This work is concerned with validation of cyber-physical systems (CPS) via sampling of input
signal spaces. Such a space is infinite and in general too difficult to treat symbolically …