FERRARI, GIAN-LUIGI Statistiche
FERRARI, GIAN-LUIGI
DIPARTIMENTO DI INFORMATICA
Controller synthesis of service contracts with variability
In corso di stampa Basile, D.; ter Beek, M. H.; Degano, P.; Legay, A.; Ferrari, G. -L.; Gnesi, S.; Di Giandomenico, F.
Declarative Secure Placement of FaaS Orchestrations in the Cloud-Edge Continuum
2023-01-01 Bocci, A; Forti, S; Ferrari, Gian-Luigi; Brogi, A
Secure Partitioning of Cloud Applications, with Cost Look-Ahead
2023-01-01 Bocci, Alessandro; Forti, Stefano; Guanciale, Roberto; Ferrari, Gian-Luigi; Brogi, Antonio
Internet Festival - Forme di Futuro
2022-01-01 De Cesare, Adriana; Ferrari, GIAN-LUIGI; Giua, Claudio; Vaccarelli, Anna
Secure Partitioning of Composite Cloud Applications
2022-01-01 Bocci, Alessandro; Guanciale, Roberto; Forti, Stefano; Ferrari, Gian-Luigi; Brogi, Antonio
Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations
2022-01-01 Bocci, A.; Forti, S.; Ferrari, G. -L.; Brogi, A.
Modelling and analysing IoT systems
2021-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Placing FaaS in the Fog, securely
2021-01-01 Bocci, A.; Forti, S.; Ferrari, G. -L.; Brogi, A.
Secure FaaS Orchestration in the Fog: How Far Are We?
2021-01-01 Bocci, A.; Forti, S.; Ferrari, GIAN-LUIGI; Brogi, Antonio
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities
2021-01-01 Basile, D.; ter Beek, M. H.; Degano, P.; Legay, A.; Ferrari, G. -L.; Gnesi, S.; Di Giandomenico, F.
A formal approach to the engineering of domain-specific distributed systems
2020-01-01 De Nicola, R.; Ferrari, G.; Pugliese, R.; Tiezzi, F.
Controller synthesis of service contracts with variability
2020-01-01 Basile, D.; ter Beek, M. H.; Degano, P.; Legay, A.; Ferrari, G. -L.; Gnesi, S.; Di Giandomenico, F.
Secure apps in the Fog: Anything to declare?
2020-01-01 Brogi, A.; Ferrari, G. -L.; Forti, Stefano
Secure Cloud-Edge Deployments, with Trust
2020-01-01 Forti, S.; Ferrari, G. -L.; Brogi, A.
Secure Cloud-Edge Deployments, with Trust
2020-01-01 Forti, S.; Ferrari, G. -L.; Brogi, A.
Security Metrics at Work on the Things in IoT Systems
2020-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Storie da cui s'impara. L'avventura pisana dell'Informatica
2020-01-01 Ferrari, GIAN-LUIGI
Storie da cui si Impara: Prefazione
2020-01-01 Ferrari, GIAN-LUIGI
WEB
2020-01-01 Ferrari, GIAN-LUIGI; Danelutto, Marco; DE SENSI, Daniele
Automata-Based Behavioural Contracts with Action Correlation
2019-01-01 Basile, D.; Pugliese, R.; Tiezzi, F.; Degano, P.; Ferrari, G. -L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Controller synthesis of service contracts with variability | In corso di stampa | Basile, D.; ter Beek, M. H.; Degano, P.; Legay, A.; Ferrari, G. -L.; Gnesi, S.; Di Giandomenico, F. | |
| Declarative Secure Placement of FaaS Orchestrations in the Cloud-Edge Continuum | 1-gen-2023 | Bocci, A; Forti, S; Ferrari, Gian-Luigi; Brogi, A | |
| Secure Partitioning of Cloud Applications, with Cost Look-Ahead | 1-gen-2023 | Bocci, Alessandro; Forti, Stefano; Guanciale, Roberto; Ferrari, Gian-Luigi; Brogi, Antonio | |
| Internet Festival - Forme di Futuro | 1-gen-2022 | De Cesare, Adriana; Ferrari, GIAN-LUIGI; Giua, Claudio; Vaccarelli, Anna | |
| Secure Partitioning of Composite Cloud Applications | 1-gen-2022 | Bocci, Alessandro; Guanciale, Roberto; Forti, Stefano; Ferrari, Gian-Luigi; Brogi, Antonio | |
| Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations | 1-gen-2022 | Bocci, A.; Forti, S.; Ferrari, G. -L.; Brogi, A. | |
| Modelling and analysing IoT systems | 1-gen-2021 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| Placing FaaS in the Fog, securely | 1-gen-2021 | Bocci, A.; Forti, S.; Ferrari, G. -L.; Brogi, A. | |
| Secure FaaS Orchestration in the Fog: How Far Are We? | 1-gen-2021 | Bocci, A.; Forti, S.; Ferrari, GIAN-LUIGI; Brogi, Antonio | |
| Supervisory Synthesis of Configurable Behavioural Contracts with Modalities | 1-gen-2021 | Basile, D.; ter Beek, M. H.; Degano, P.; Legay, A.; Ferrari, G. -L.; Gnesi, S.; Di Giandomenico, F. | |
| A formal approach to the engineering of domain-specific distributed systems | 1-gen-2020 | De Nicola, R.; Ferrari, G.; Pugliese, R.; Tiezzi, F. | |
| Controller synthesis of service contracts with variability | 1-gen-2020 | Basile, D.; ter Beek, M. H.; Degano, P.; Legay, A.; Ferrari, G. -L.; Gnesi, S.; Di Giandomenico, F. | |
| Secure apps in the Fog: Anything to declare? | 1-gen-2020 | Brogi, A.; Ferrari, G. -L.; Forti, Stefano | |
| Secure Cloud-Edge Deployments, with Trust | 1-gen-2020 | Forti, S.; Ferrari, G. -L.; Brogi, A. | |
| Secure Cloud-Edge Deployments, with Trust | 1-gen-2020 | Forti, S.; Ferrari, G. -L.; Brogi, A. | |
| Security Metrics at Work on the Things in IoT Systems | 1-gen-2020 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| Storie da cui s'impara. L'avventura pisana dell'Informatica | 1-gen-2020 | Ferrari, GIAN-LUIGI | |
| Storie da cui si Impara: Prefazione | 1-gen-2020 | Ferrari, GIAN-LUIGI | |
| WEB | 1-gen-2020 | Ferrari, GIAN-LUIGI; Danelutto, Marco; DE SENSI, Daniele | |
| Automata-Based Behavioural Contracts with Action Correlation | 1-gen-2019 | Basile, D.; Pugliese, R.; Tiezzi, F.; Degano, P.; Ferrari, G. -L. |