Context: Security testing is a challenging and effort-demanding task in IoT scenarios. The
heterogeneous devices expose different vulnerabilities that can influence the methods and …

We present an extensive collection of quantitative models to facilitate the development,
comparison, and benchmarking of new verification algorithms and tools. All models have a …

Heat pipe cooled reactor with static conversion is gaining more and more attention because
of its unique advantages such as mobility, high reliability, simple structure, long lifetime, and …

Time sensitive networking (TSN) is an emerging technology for in-vehicle networks, which
has strict timing constraints and dependability requirements. The performance and efficiency …

Abstract nuXmv is a well-known symbolic model checker, which implements various state-of-
the-art algorithms for the analysis of finite-and infinite-state transition systems and temporal …

Monitorability underpins the technique of runtime verification because it delineates what
properties can be verified at runtime. Although many monitorability definitions exist, few are …

Monitorability underpins the technique of Runtime Verification because it delineates what
properties can be verified at runtime. Although many monitorability definitions exist, few are …

The substitution of traditional occupancy detecting sensors with an Autonomous Positioning
System (APS) is a promising solution to contain costs and improve performance of current …

Model checkers provide algorithms for proving that a mathematical model of a system
satisfies a given specification. In case of a violation, a counterexample that shows the …

Robust autonomy and interaction of robots with their environment, even in rare or new
situations, is an ultimate goal of robotics research. We settle on Statistical Model Checking …