Christian Bartolo Burlò

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 10

Top Topics

Communication Protocols

Probabilistic Approaches

Publish Subscribe

Top Venues

Dagstuhl Artifacts Ser.

Publications

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
COTS: Connected OpenAPI Test Synthesis for RESTful Applications. COORDINATION (2024)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
COTS: Connected OpenAPI Test Synthesis for RESTful Applications. CoRR (2024)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
PSTMonitor: Monitor Synthesis from Probabilistic Session Types. CoRR (2022)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
PSTMonitor: Monitor synthesis from probabilistic session types. Sci. Comput. Program. 222 (2022)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
Towards Probabilistic Session-Type Monitoring. COORDINATION (2021)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
On the Monitorability of Session Types, in Theory and Practice (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
On the Monitorability of Session Types, in Theory and Practice (Extended Version). CoRR (2021)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
Towards Probabilistic Session-Type Monitoring. CoRR (2021)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
On the Monitorability of Session Types, in Theory and Practice. ECOOP (2021)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). FORTE (2020)