| 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 |
| 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 |
Adrian FrancalanzaUniversity of MaltaGeverifieerd e-mailadres voor um.edu.mt
