The increasing complexity and connectivity of automotive systems have raised concerns
about their vulnerability to security breaches. As a result, the integration of formal methods …

Static analysis tools have showcased their importance and usefulness in automated
detection of defects. However, the tools are known to generate a large number of alarms …

This paper addresses the control problem of complex temporal logic tasks for nonlinear
systems. A new control barrier function (CBF) called time‐varying extent‐compatible control …

Thorough verification is a part of the design process of instrumentation and control systems if
they must comply with crucial safety requirements. Model checking can be applied to the …

In recent years, enormous investments in Automated Driving Systems (ADSs) have distinctly
advanced ADS technologies. Despite promises made by several high profile auto-makers, it …

With the advent of autonomous driving systems, the system verification has great importance
for the safety. Since the engineers usually make highly accurate simulations, they require …

In recent years, the enormous investments in Automated Driving Systems (ADSs) have
distinctly advanced ADS technologies. Despite promises made by several high profile …

Automation systems within nuclear laboratories are intended to work under harsh operating
conditions. Selective Production of Exotic Species (SPES) is a nuclear research facility …

With the growing advances in Internet of Things (IoT) technology, it has become an
indispensable part of many areas like home automation, industries, medical equipment, etc …

Software complexity of vehicles is constantly growing especially with additional autonomous
driving features being introduced. This increases the risk for bugs in the system, when the …