BASILE, DAVIDE Statistiche
BASILE, DAVIDE
DIPARTIMENTO DI INFORMATICA
Specifying Variability in Service Contracts
2017-01-01 Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Playing with our CAT and Communication-Centric Applications
2016-01-01 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Tuosto, E.
Relating Two Automata-based Models of Orchestration and Choreography.
2016-01-01 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Tuosto, E.
A formal framework for secure and complying services
2014-01-01 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Automata for Analysing Service Contracts
2014-01-01 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Automata for Service Contracts
2014-01-01 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
From orchestration to choreography through contract automata
2014-01-01 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Tuosto, E.
Secure and Unfailing Services
2013-01-01 Degano, Pierpaolo; Basile, Davide; Ferrari, GIAN-LUIGI
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Specifying Variability in Service Contracts | 1-gen-2017 | Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| Playing with our CAT and Communication-Centric Applications | 1-gen-2016 | Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Tuosto, E. | |
| Relating Two Automata-based Models of Orchestration and Choreography. | 1-gen-2016 | Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Tuosto, E. | |
| A formal framework for secure and complying services | 1-gen-2014 | Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| Automata for Analysing Service Contracts | 1-gen-2014 | Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| Automata for Service Contracts | 1-gen-2014 | Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| From orchestration to choreography through contract automata | 1-gen-2014 | Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Tuosto, E. | |
| Secure and Unfailing Services | 1-gen-2013 | Degano, Pierpaolo; Basile, Davide; Ferrari, GIAN-LUIGI |