FERRARI, GIAN-LUIGI Statistiche

FERRARI, GIAN-LUIGI  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 196 (tempo di esecuzione: 0.362 secondi).
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
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.
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