Tue 18 Jul 2023 10:50 - 11:10 at Madrona Seminar Room (Gates 371) - VORTEX 1

Stream Runtime Verification (SRV) has been recently proposed for monitoring input streams of data while producing output streams in response. The Aggregate Programming (AP) paradigm for collection of distributed devices has been used to implement distributed runtime verification of spatial and temporal Boolean properties. In this paper we outline how distributed SRV could be implemented by AP and the new opportunities AP could bring to the field of distributed SRV.

Tue 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00
10:30
20m
Talk
Runtime Monitoring of Human Behaviour with Aggregate Computing on Android
VORTEX
Volker Stolz Høgskulen på Vestlandet, Giorgio Audrito Università di Torino
Media Attached
10:50
20m
Talk
On Stream Runtime Verification and Aggregate Programming
VORTEX
Ferruccio Damiani University of Turin, Gianluca Torta Dipartimento di Informatica - Università di Torino, Italy
11:10
20m
Talk
Combining Static and Runtime Verification with AC and Coq
VORTEX
Giorgio Audrito Università di Torino, Daniel Haures University of Turin, Italy