Christian Bartolo Burlò

According to our database, Christian Bartolo Burlò authored at least 6 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

PSTMonitor: Monitor synthesis from probabilistic session types.

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

Sci. Comput. Program., 2022

2021

On the Monitorability of Session Types, in Theory and Practice (Artifact).

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas

Dagstuhl Artifacts Ser., 2021

On the Monitorability of Session Types, in Theory and Practice (Extended Version).

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas

CoRR, 2021

On the Monitorability of Session Types, in Theory and Practice.

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

Towards Probabilistic Session-Type Monitoring.

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

Proceedings of the Coordination Models and Languages, 2021

2020

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020