Folgen
Christian Bartolo Burlò
Christian Bartolo Burlò
PhD Student, Gran Sasso Science Institute
Bestätigte E-Mail-Adresse bei gssi.it
Titel
Zitiert von
Zitiert von
Jahr
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
202021
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
82021
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
62020
PSTMonitor: Monitor synthesis from probabilistic session types
CB Burlò, A Francalanza, A Scalas, C Trubiani, E Tuosto
Science of Computer Programming 222, 102847, 2022
42022
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
22021
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8