Software model checking as well as runtime verification are verification techniques which
are widely used for checking temporal properties of software systems. Even though they are …

Distributed systems today offer rich features with numerous semantics that users depend on.
Bugs can cause a system to silently violate its semantics without apparent anomalies. Such …

We present the implementation of a prototype tool that runtime checks specifications written
in a maximally-expressive safety fragment of the linear-time modal μ-calculus called MAX …

Runtime Verification is a lightweight automatic verification technique. We introduce
Assumption-Based Runtime Verification framework, which is capable for monitoring partially …

Distributed systems today offer rich features with numerous semantics that users depend on.
Bugs can cause a system to silently violate its semantics without apparent anomalies. Such …

Runtime verification (RV) helps to find software bugs by monitoring formally specified
properties during testing. A key problem in using RV during testing is how to reduce the …

Partitioning hypervisor solutions are becoming increasingly popular, to ensure stringent
security and safety requirements related to isolation between co-hosted applications and to …

Dynamic program analyses are essential to creating safe, reliable, and productive
computing environments. However, these analyses are challenging and time-consuming to …

O uso incorreto de APIs de criptografia pode causar vulnerabilidades em software. Portanto,
recentemente, foram propostas ferramentas baseadas em análise estática para detecção de …

A software architectural tactic is a design decision for realizing quality goals at the
architectural level. With the evolution of code, the designed architectural tactics might be …