Blogs (61) >>
Tue 17 Jul 2018 15:00 - 15:30 at Bangkok - Session 2 Chair(s): Frank S. de Boer

Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behavior) by means of monitors generated from formal specifications. Distributed runtime verification is runtime verification in connection with distributed systems: it comprises both monitoring of distributed systems and using distributed systems for monitoring.

Aggregate computing is a programming paradigm based on a reference computing machine that is the aggregate collection of devices that cooperatively carry out a computational process: the details of behaviour, position and number of devices are largely abstracted away, to be replaced with a space-filling computational environment.

In this position paper we argue, by means of simple examples, that aggregate computing is particularly well suited for implementing distributed monitors.

Our aim is to foster further research on how to generate aggregate computing monitors from suitable formal specifications.

Tue 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Session 2VORTEX at Bangkok
Chair(s): Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University
14:00
30m
Talk
SNITCH: dynamic dependent Information flow for independent Java bytecode
VORTEX
P: Eduardo Geraldo , João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa
14:30
30m
Talk
Implementing security protocol monitors
VORTEX
15:00
30m
Talk
On Distributed runtime verification by aggregate computing
VORTEX
Giorgio Audrito Università di Torino, P: Ferruccio Damiani University of Turin, Volker Stolz Høgskulen på Vestlandet, Mirko Viroli University of Bologna