chrisbartoloburlo
PhD Student at the Gran Sasso Science Institute.
Gran Sasso Science InstituteL'Aquila, Italy
Pinned Repositories
cots
cots-artefact
This is the repository for COTS, a model-based testing tool for RESTful applications.
ecoop2021-artifact
A monitor synthesis tool for session types.
fqueues
Never queue again in your life.
openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
scp2022-artifact
setts-interface
stmonitor
A monitor synthesis tool for session types.
tailcallspp
openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
chrisbartoloburlo's Repositories
chrisbartoloburlo/stmonitor
A monitor synthesis tool for session types.
chrisbartoloburlo/ecoop2021-artifact
A monitor synthesis tool for session types.
chrisbartoloburlo/cots
chrisbartoloburlo/cots-artefact
This is the repository for COTS, a model-based testing tool for RESTful applications.
chrisbartoloburlo/fqueues
Never queue again in your life.
chrisbartoloburlo/openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
chrisbartoloburlo/scp2022-artifact
chrisbartoloburlo/setts-interface
chrisbartoloburlo/tailcallspp