| On the monitorability of session types, in theory and practice CB Burlò, A Francalanza, A Scalas 35th European Conference on Object-Oriented Programming, 20: 1--20: 30, 2021 | 24 | 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 | 10 | 2021 |
| PSTMonitor: Monitor synthesis from probabilistic session types CB Burlò, A Francalanza, A Scalas, C Trubiani, E Tuosto Science of Computer Programming 222, 102847, 2022 | 8 | 2022 |
| 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 |
| COTS: Connected OpenAPI Test Synthesis for RESTful Applications CB Burlò, A Francalanza, A Scalas, E Tuosto International Conference on Coordination Models and Languages, 75-92, 2024 | 2 | 2024 |
| 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 C Bartolo Burlò, A Francalanza, A Scalas, E Tuosto arXiv e-prints, arXiv: 2404.19614, 2024 | | 2024 |
Adrian FrancalanzaUniversity of MaltaE-mailová adresa ověřena na: um.edu.mt