Cloud management systems provide abstractions and APIs for programmatically configuring
cloud infrastructures. Unfortunately, residual software bugs in these systems can potentially …

VeriDevOps offers a methodology and a set of integrated mechanisms that significantly
improve automation in DevOps to protect systems at operations time and prevent security …

Understanding the runtime behavioral aspects of a software system is fundamental for
several software engineering tasks, such as testing and code comprehension. For this …

Unmanned aerial vehicles (UAVs) are becoming increasingly pervasive in everyday life,
supporting diverse use cases such as aerial photography, delivery of goods, or disaster …

The growing adoption of unmanned aerial vehicles (UAVs) for tasks such as eCommerce,
aerial surveillance, and environmental monitoring introduces the need for new safety …

Cloud computing systems fail in complex and unforeseen ways due to unexpected
combinations of events and interactions among hardware and software components. These …

Abstract [Context] Complex and heterogeneous software systems need to be monitored as
their full behavior often only emerges at runtime, eg, when interacting with other systems or …

As software architecture design is evolving to a microservice paradigm, RESTful APIs are
being established as the preferred choice to build applications. In such a scenario, there is a …

Runtime monitoring is critical for ensuring safe operation and for enabling self-adaptive
behavior of Cyber-Physical Systems (CPS). Monitors are established by identifying runtime …

Abstract Cyber–Physical Systems (CPS) are increasingly used in safety–critical scenarios
where ensuring their correct behavior at runtime becomes a crucial task. Therefore, the …