PSTMonitor: Monitor synthesis from probabilistic session types▪

Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas; Catia Trubiani; Emilio Tuosto

doi:10.1016/j.scico.2022.102847

PSTMonitor: Monitor synthesis from probabilistic session types▪

Christian Bartolo Burlò
, Adrian Francalanza
, Alceste Scalas
, Catia Trubiani
, Emilio Tuosto

Research output: Contribution to journal › Journal article › Research › peer-review

90 Downloads (Orbit)

Abstract

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 PSTMonitor is the detection of executions that deviate from expected probabilistic behaviour. Besides presenting PSTMonitor and its operation, the paper analyses its feasibility in terms of the runtime overheads it induces.

Original language	English
Article number	102847
Journal	Science of Computer Programming
Volume	222
ISSN	0167-6423
DOIs	https://doi.org/10.1016/j.scico.2022.102847
Publication status	Published - 2022

Keywords

Runtime verification
Probabilistic session types
Monitor synthesis

Access to Document

10.1016/j.scico.2022.102847

FulltextSubmitted manuscript, 449 KB
FulltextAccepted author manuscript, 686 KBLicence: CC BY-NC-ND

OpenUrl availability

Full text

Cite this

@article{563624341f664479a04ef81db787a01a,

title = "PSTMonitor: Monitor synthesis from probabilistic session types▪",

abstract = "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 PSTMonitor is the detection of executions that deviate from expected probabilistic behaviour. Besides presenting PSTMonitor and its operation, the paper analyses its feasibility in terms of the runtime overheads it induces. ",

keywords = "Runtime verification, Probabilistic session types, Monitor synthesis",

author = "\{Bartolo Burl{\`o}\}, Christian and Adrian Francalanza and Alceste Scalas and Catia Trubiani and Emilio Tuosto",

year = "2022",

doi = "10.1016/j.scico.2022.102847",

language = "English",

volume = "222",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

}

TY - JOUR

T1 - PSTMonitor: Monitor synthesis from probabilistic session types▪

AU - Bartolo Burlò, Christian

AU - Francalanza, Adrian

AU - Scalas, Alceste

AU - Trubiani, Catia

AU - Tuosto, Emilio

PY - 2022

Y1 - 2022

N2 - 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 PSTMonitor is the detection of executions that deviate from expected probabilistic behaviour. Besides presenting PSTMonitor and its operation, the paper analyses its feasibility in terms of the runtime overheads it induces.

AB - 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 PSTMonitor is the detection of executions that deviate from expected probabilistic behaviour. Besides presenting PSTMonitor and its operation, the paper analyses its feasibility in terms of the runtime overheads it induces.

KW - Runtime verification

KW - Probabilistic session types

KW - Monitor synthesis

U2 - 10.1016/j.scico.2022.102847

DO - 10.1016/j.scico.2022.102847

M3 - Journal article

SN - 0167-6423

VL - 222

JO - Science of Computer Programming

JF - Science of Computer Programming

M1 - 102847

ER -

PSTMonitor: Monitor synthesis from probabilistic session types▪

Abstract

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this