Many modern cities strive to integrate information technology into every aspect of city life to
create so-called smart cities. Smart cities rely on a large number of application areas and …

This chapter surveys runtime verification research related to distributed systems. We report
solutions that study how to monitor system with some distributed characteristic, solutions that …

Runtime monitoring is a general approach to verifying system properties at runtime by
comparing system events against a specification formalizing which event sequences are …

Runtime verification is an area of formal methods that studies the dynamic analysis of
execution traces against formal specifications. Typically, the two main activities in runtime …

Data provenance---a record of the origin and evolution of data in a system---is a useful tool
for forensic analysis. However, existing provenance collection mechanisms fail to achieve …

With the rapid increase in cloud services collecting and using user data to offer personalized
experiences, ensuring that these services comply with their privacy policies has become a …

Machine learnt systems inherit biases against protected classes, historically disparaged
groups, from training data. Usually, these biases are not explicit, they rely on subtle …

Runtime monitoring is a versatile technique for detecting property violations in safety-critical
(SC) systems. Although instrumentation of the system under monitoring is a common …

Each organization faces threats and risks in daily operations. One of the main risks is how to
assess the security level to protect from the increasing risks associated with technology …

Existing automated compliance checking (ACC) efforts are limited in their automation and
reasoning capabilities; the state of the art in ACC still uses ad hoc reasoning …