activity
20212024
most citedPSTMonitor: Monitor Synthesis from Probabilistic Session Types

7 citations · 14 across the 3 of their papers we have counts for

collaborators
Showing cs.PLShow all

2 papers · 1 filter

cs.PL2022★ 7 cited

PSTMonitor: Monitor Synthesis from Probabilistic Session Types

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas +2

We present PSTMonitor, a tool for the run-time verification of quantitative specifications of message-passing applications, based on probabilistic session types. The key element of…

cs.PL2021★ 6 cited

Towards Probabilistic Session-Type Monitoring

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas +2

We present a tool-based approach for the runtime analysis of communicating processes grounded on probabilistic binary session types. We synthesise a monitor out of a probabilistic…