On the monitorability of session types, in theory and practice C Bartolo Burlò, A Francalanza, A Scalas Schloss Dagstuhl–Leibniz-Zentrum für Informatik GmbH, 2021 | 20 | 2021 |
Towards Probabilistic Session-Type Monitoring C Bartolo Burlò, A Francalanza, A Scalas, C Trubiani, E Tuosto International Conference on Coordination Languages and Models, 106-120, 2021 | 8 | 2021 |
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper) C Bartolo Burlò, A Francalanza, A Scalas International Conference on Formal Techniques for Distributed Objects …, 2020 | 6 | 2020 |
PSTMonitor: Monitor synthesis from probabilistic session types CB Burlò, A Francalanza, A Scalas, C Trubiani, E Tuosto Science of Computer Programming 222, 102847, 2022 | 4 | 2022 |
On the monitorability of session types, in theory and practice (artifact) CB Burlò, A Francalanza, A Scalas Dagstuhl Artifacts Series 7 (2), 2: 1--2: 3, 2021 | 2 | 2021 |
COTS: Connected OpenAPI Test Synthesis for RESTful Applications CB Burlò, A Francalanza, A Scalas, E Tuosto arXiv preprint arXiv:2404.19614, 2024 | | 2024 |
COTS: Connected OpenAPI Test Synthesis for RESTful Applications C Bartolo Burlò, A Francalanza, A Scalas, E Tuosto arXiv e-prints, arXiv: 2404.19614, 2024 | | 2024 |
On the Monitorability of Session Types, in Theory and Practice (Artifact) C Bartolo Burlò, A Francalanza, A Scalas Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2021 | | 2021 |