Presentation title

Distributed runtime verification for CPSs

Authors

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Gianluca Torta and Mirko Viroli

Institution(s)

University of Turin, University of Bologna, Western Norway University of Applied Sciences

Presentation type

Presentation of a research group from one or more scientific institutions

Abstract

This talk quickly introduces the activities of the System Modelling, Verification and Reuse (MoVeRe) research group of the Department of Computer Science of the University of Turin, and then it reports on recent research results described in the papers.

---

Additional material

• Presentation slides: [pdf]

For more details on this presentation please click the button below: