Massive software applications possess complex data structures or parse complex data
structures; in such cases, vulnerabilities in the software become inevitable. The …

To achieve trust and continuity in the smart contracts-based business process execution, the
verification of such smart contracts is mandatory. A blockchain-based smart contract should …

Over the last 20 years, runtime verification (RV) has grown into a diverse and active field,
which has stimulated the development of numerous theoretical frameworks and practical …

While Large Language Models (LLMs) have seen widespread applications across
numerous fields, their limited interpretability poses concerns regarding their safe operations …

This article addresses the need of applying testing activities with the purpose of checking the
consistency and the correctness of distributed and dynamically adaptable systems whose …

Tabular requirements assist with the specification of software requirements using an “if-then”
paradigm and are supported by many tools. For example, the Requirements Table block in …

We investigate the problem of monitoring partially observable systems with nondeterministic
and probabilistic dynamics. In such systems, every state may be associated with a risk, eg …

Automatic train control systems are complex and software-intensive cyber–physical systems.
Hazard prediction at runtime for such systems has emerged as an essential research topic …

Recent trends in the engineering of software-intensive systems increasingly promote the
adoption of computation at the edge of the network, in the proximity of where sensing and …

AI-based autonomous systems are increasingly relying on machine learning (ML)
components to perform a variety of complex tasks in perception, prediction, and control. The …