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 |