Christian Bartolo Burl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2020–2024
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | Coordination | COTS: Connected OpenAPI Test Synthesis for RESTful Applications. | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas, Emilio Tuosto |
| 2021 | Coordination | Towards Probabilistic Session-Type Monitoring. | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto |
| 2021 | ECOOP | On the Monitorability of Session Types, in Theory and Practice. | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas |
| 2020 | FORTE | Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas |