Employees often use enterprise social media (ESM) for communication, collaboration, and
knowledge sharing, leading to ESM networks–that is, social networks of interrelated …

This paper is about shipping runtime verification to the masses. It presents the crucial
technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild …