Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas (FORTE, 2020)

Towards Probabilistic Session-Type Monitoring. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas; Catia Trubiani; Emilio Tuosto (COORDINATION, 2021)

On the Monitorability of Session Types, in Theory and Practice. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas (ECOOP, 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 (Artifact). - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas (Dagstuhl Artifacts Ser., 2021)

PSTMonitor: Monitor synthesis from probabilistic session types. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas; Catia Trubiani; Emilio Tuosto (Sci. Comput. Program., 2022)

COTS: Connected OpenAPI Test Synthesis for RESTful Applications. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas; Emilio Tuosto (COORDINATION, 2024)