Blar i Institutt for datateknologi, elektroteknologi og realfag på forfatter "Damiani, Ferruccio"

Viser treff 1-3 av 3

    • Adaptive distributed monitors of spatial properties for cyber–physical systems 

      Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Stolz, Volker; Viroli, Mirko (Peer reviewed; Journal article, 2021)
      Cyber–physical systems increasingly feature highly-distributed and mobile deployments of devices spread over large physical environments: in these contexts, it is generally very difficult to engineer trustworthy critical ...

    • Distributed runtime verification by past-CTL and the field calculus 

      Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Torta, Gianluca; Viroli, Mirko (Peer reviewed; Journal article, 2022)
      Recent trends in the engineering of software-intensive systems increasingly promote the adoption of computation at the edge of the network, in the proximity of where sensing and actuation are performed. Applications are ...

    • 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 ...