• On Distributed Runtime Verification by Aggregate Computing 

      Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Viroli, Mirko (Journal article; Peer reviewed, 2019)
      Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specifications. Distributed runtime verification is ...
    • On Preemption and Overdetermination in Formal Theories of Causality 

      Dyrkolbotn, Sjur Kristoffer (Journal article; Peer reviewed, 2017)
      One of the key challenges when looking for the causes of a complex event is to determine the causal status of factors that are neither individually necessary nor individually sufficient to produce that event. In order to ...