DEGANO, PIERPAOLO
DEGANO, PIERPAOLO
A formal framework for secure and complying services
2014 Basile, Davide; Degano, Pierpaolo*; Ferrari, Gian -Luigi
Automata for analysing service contracts
2014 Basile, Davide*; Degano, Pierpaolo; Ferrari, Gian Luigi
Automata for specifying and orchestrating service contracts
2016 Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi
Controller synthesis of service contracts with variability
2020 Basile, Davide; ter Beek, Maurice H.; Degano, Pierpaolo; Legay, Axel; Ferrari, Gian-Luigi; Gnesi, Stefania; Di Giandomenico, Felicita
From orchestration to choreography through contract automata
2014 Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi; Tuosto, Emilio
Playing with our CAT and communication-centric applications
2016 Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi; Tuosto, Emilio
Relating two automata-based models of orchestration and choreography
2016 Basile, D.*; Degano, P.; Ferrari, G.L.; Tuosto, E.
Secure and unfailing services
2013 Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi
Specifying variability in service contracts
2017 Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania; Degano, Pierpaolo; Ferrari, Gian-Luigi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A formal framework for secure and complying services | 2014 | Basile, Davide; Degano, Pierpaolo*; Ferrari, Gian -Luigi | |
| Automata for analysing service contracts | 2014 | Basile, Davide*; Degano, Pierpaolo; Ferrari, Gian Luigi | |
| Automata for specifying and orchestrating service contracts | 2016 | Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi | |
| Controller synthesis of service contracts with variability | 2020 | Basile, Davide; ter Beek, Maurice H.; Degano, Pierpaolo; Legay, Axel; Ferrari, Gian-Luigi; Gnesi, Stefania; Di Giandomenico, Felicita | |
| From orchestration to choreography through contract automata | 2014 | Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi; Tuosto, Emilio | |
| Playing with our CAT and communication-centric applications | 2016 | Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi; Tuosto, Emilio | |
| Relating two automata-based models of orchestration and choreography | 2016 | Basile, D.*; Degano, P.; Ferrari, G.L.; Tuosto, E. | |
| Secure and unfailing services | 2013 | Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi | |
| Specifying variability in service contracts | 2017 | Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania; Degano, Pierpaolo; Ferrari, Gian-Luigi |