Christian Bartolo Burlò | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Adrian Francalanza
20 publications
Emilio Tuosto
14 publications
Alceste Scalas
12 publications
Catia Trubiani
7 publications

research

∙ 12/14/2022

PSTMonitor: Monitor Synthesis from Probabilistic Session Types

We present PSTMonitor, a tool for the run-time verification of quantitat...

0 Christian Bartolo Burlò, et al. ∙

research

∙ 07/19/2021

Towards Probabilistic Session-Type Monitoring

We present a tool-based approach for the runtime analysis of communicati...

0 Christian Bartolo Burlò, et al. ∙