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.
EMOZIONABILI: INTELLIGENZA ARTIFICIALE GENERATIVA TRA EMOZIONI RACCONTI E MUSICA
In corso di stampa Ferrari, Gian-Luigi
Emozionali: Prefazione
In corso di stampa Capuano, Giuseppe; Ferrari, Gian-Luigi; Antonietta Scognamiglio, Maria
Il diritto alla comunicazione e la tecnologia
In corso di stampa Ferrari, Gian-Luigi
L’esoscheletro cognitivo: tecnologie generative per l’inclusione e l’empatia digitale
In corso di stampa Ferrari, Gian-Luigi
Klaim in the Making
2024-01-01 Ferrari, Gian-Luigi; Bettini, Lorenzo; Loreti, Michele; Pugliese, Rosario; Tiezzi, Francesco; Tuosto, Emilio
Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING
2024-01-01 Rubino, Francesco; Bodei, Chiara; Ferrari, GIAN-LUIGI
Declarative Secure Placement of FaaS Orchestrations in the Cloud-Edge Continuum
2023-01-01 Bocci, A; Forti, S; Ferrari, Gian-Luigi; Brogi, A
Risk Estimation in IoT Systems
2023-01-01 Bodei, Chiara; Ferrari, Gian-Luigi; Galletta, Letterio; Degano, Pierpaolo
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
L'Informatica alle origini
2022-01-01 Ferrari, Gian-Luigi
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.
| 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. | |
| EMOZIONABILI: INTELLIGENZA ARTIFICIALE GENERATIVA TRA EMOZIONI RACCONTI E MUSICA | In corso di stampa | Ferrari, Gian-Luigi | |
| Emozionali: Prefazione | In corso di stampa | Capuano, Giuseppe; Ferrari, Gian-Luigi; Antonietta Scognamiglio, Maria | |
| Il diritto alla comunicazione e la tecnologia | In corso di stampa | Ferrari, Gian-Luigi | |
| L’esoscheletro cognitivo: tecnologie generative per l’inclusione e l’empatia digitale | In corso di stampa | Ferrari, Gian-Luigi | |
| Klaim in the Making | 1-gen-2024 | Ferrari, Gian-Luigi; Bettini, Lorenzo; Loreti, Michele; Pugliese, Rosario; Tiezzi, Francesco; Tuosto, Emilio | |
| Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING | 1-gen-2024 | Rubino, Francesco; Bodei, Chiara; Ferrari, GIAN-LUIGI | |
| Declarative Secure Placement of FaaS Orchestrations in the Cloud-Edge Continuum | 1-gen-2023 | Bocci, A; Forti, S; Ferrari, Gian-Luigi; Brogi, A | |
| Risk Estimation in IoT Systems | 1-gen-2023 | Bodei, Chiara; Ferrari, Gian-Luigi; Galletta, Letterio; Degano, Pierpaolo | |
| 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 | |
| L'Informatica alle origini | 1-gen-2022 | Ferrari, Gian-Luigi | |
| 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. |