Presentation title

Methodologies for large-scale smart cyber-physical systems

Authors

Nicola Bombieri, Franco Fummi, Luca Geretti, Graziano Pravadelli, Davide Quaglia and Tiziano Villa

Institution(s)

Universita' di Verona

Presentation type

Presentation of a research group from one or more scientific institutions

Abstract

The Electronic Systems Design group at the Department of Computer Science of the University of Verona consists of six permanent members, four PhD students and several post-docs. The group covers expertize in several fields needed to design and verify large-scale smart cyber-physical systems. The presentation will address recent advances related to formal and simulation-based verification, analog abstraction, safety and security analysis and network synthesis with application to Industry 4.0, embedded vision and graph algorithms computation.

---

Additional material

• Presentation slides: [pdf]

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