Many enterprises nowadays use business processes, based on the BPEL standard, to
achieve their goals. These are complex, often distributed, processes. Monitoring the …

This paper presents an approach for predictive security analysis in a business process
execution environment. It is based on operational formal models and leverages process and …

Enforcing security in process-aware information systems at runtime requires the monitoring
of systems' operation using process information. Analysis of this information with respect to …

We monitor asynchronous distributed component-based systems with multi-party
interactions. We consider independent components whose interactions are managed by …

This paper presents the functional specification language fuzzy temporal logic context free
(FTL-CFree), a real runtime language designed to enable industry to model and verify …

Critical infrastructures such as road vehicles and railways are undergoing a major change,
which increases the dependency of their operation and control on Information Technology …

Security analysis is growing in complexity with the increase in functionality, connectivity, and
dynamics of current electronic business processes. To tackle this complexity, the application …

Abstract Systems of systems that collaborate for a common purpose are called cooperating
systems. Typical examples of novel cooperating systems are electronic health systems and …

Enforcing security in process-aware information systems at runtime requires the monitoring
of systems' operation using process information. Analysis of this information with respect to …

Computer and network security has become of paramount importance in our everyday lives.
Cyber attacks can lead to a wide range of undesirable situations ranging from breaches of …