FORTI, STEFANO Statistiche
FORTI, STEFANO
DIPARTIMENTO DI INFORMATICA
An Overview of Neuro-Symbolic Frameworks for Software Development
2026-01-01 Ferrante, Luca; Forti, Stefano; Soldani, Jacopo
Declarative traffic engineering for Low-Latency and reliable networking
2026-01-01 Massa, Jacopo; Forti, Stefano; Paganelli, Federica; Dazzi, Patrizio; Brogi, Antonio; Clemm, Alexander; Eckert, Toerless
ECLYPSE: A Python Framework for Simulation and Emulation of the Cloud‐Edge Continuum
2026-01-01 Massa, Jacopo; De , ; Caro, Valerio; Forti, Stefano; Dazzi, Patrizio; Bacciu, Davide; Brogi, Antonio
Engineering carbon-aware software services
2026-01-01 Angiolini, Marco; Forti, Stefano; Soldani, Jacopo; Brogi, Antonio
Failure-resilient and carbon-efficient deployment of microservices over the cloud-edge continuum
2026-01-01 Ponce, Francisco; Gazza, Simone; D'Iapico, Andrea; Amadini, Roberto; Brogi, Antonio; Forti, Stefano; Giallorenzo, Saverio; Plebani, Pierluigi; Usai, Davide; Vitali, Monica; Zavattaro, Gianluigi; Soldani, Jacopo
Time to Go Green: Carbon-Aware Request Scheduling in Software Services
2026-01-01 Danushi, Ornela; Soldani, Jacopo; Forti, Stefano; Brogi, Antonio
A Constraint-Based Approach to Optimise QoS- and Energy-Aware Cloud-Edge Application Deployments
2025-01-01 Gazza, Simone; Amadini, Roberto; Brogi, Antonio; D'Iapico, Andrea; Forti, Stefano; Giallorenzo, Saverio; Plebani, Pierluigi; Ponce, Francisco; Soldani, Jacopo; Vitali, Monica; Zavattaro, Gianluigi
Application Placement with Constraint Relaxation
2025-01-01 Azzolini, Damiano; Duca, Marco; Gallo, Francesco; Ielo, Antonio; Forti, Stefano
Carbon-Aware Software Services
2025-01-01 Forti, Stefano; Soldani, Jacopo; Brogi, Antonio
Carbon-Efficient Software Design and Development: A Systematic Literature Review
2025-01-01 Danushi, Ornela; Forti, Stefano; Soldani, Jacopo
Combining Declarative and Linear Programming for Application Management in the Cloud-Edge Continuum
2025-01-01 Massa, Jacopo; Forti, Stefano; Dazzi, Patrizio; Brogi, Antonio
Continuous reasoning for adaptive container image distribution in the cloud–edge continuum
2025-01-01 Azzolini, Damiano; Forti, Stefano; Ielo, Antonio
Declarative application management with Kubernetes
2025-01-01 Forti, Stefano; Rontani, Alessandro; Aliprandi, Carlo; Frattini, Giovanni; Gagliardi, Simone; Volpini, Marco; Brogi, Antonio
Declarative Deployment Planning for Green Pulverised Collective Computational Systems
2025-01-01 Brogi, Antonio; Casadei, Roberto; Farabegoli, Nicolas; Forti, Stefano; Viroli, Mirko
Enhancing Failure Resilience of Cloud-Edge Microservices: The FREEDA Approach
2025-01-01 Ponce, F.; Forti, S.; Soldani, J.; Brogi, A.
Towards Declarative Traffic Engineering for Guaranteed Latency-Based Forwarding
2025-01-01 Massa, Jacopo; Forti, Stefano; Paganelli, Federica; Dazzi, Patrizio; Brogi, Antonio; Clemm, Alexander; Eckert, Toerless
A declarative reasoning approach to conflict management in Intent-Based Networking
2024-01-01 Massa, J.; Forti, S.; Paganelli, F.; Dazzi, P.; Brogi, A.
A Distributed Tool for Monitoring and Benchmarking a National Federated Cloud
2024-01-01 Bisicchia, Giuseppe; Forti, Stefano; Colla, Alberto; Pisa, Claudio; Barchiesi, Alessandro; Brogi, Antonio
A Logic Programming Approach to VM Placement
2024-01-01 Andreoli, Remo; Forti, Stefano; Pannocchi, Luigi; Cucinotta, Tommaso; Brogi, Antonio
An Interview with Martin Robillard - 2024 SIGSOFT Awardee
2024-01-01 Forti, Stefano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An Overview of Neuro-Symbolic Frameworks for Software Development | 1-gen-2026 | Ferrante, Luca; Forti, Stefano; Soldani, Jacopo | |
| Declarative traffic engineering for Low-Latency and reliable networking | 1-gen-2026 | Massa, Jacopo; Forti, Stefano; Paganelli, Federica; Dazzi, Patrizio; Brogi, Antonio; Clemm, Alexander; Eckert, Toerless | |
| ECLYPSE: A Python Framework for Simulation and Emulation of the Cloud‐Edge Continuum | 1-gen-2026 | Massa, Jacopo; De , ; Caro, Valerio; Forti, Stefano; Dazzi, Patrizio; Bacciu, Davide; Brogi, Antonio | |
| Engineering carbon-aware software services | 1-gen-2026 | Angiolini, Marco; Forti, Stefano; Soldani, Jacopo; Brogi, Antonio | |
| Failure-resilient and carbon-efficient deployment of microservices over the cloud-edge continuum | 1-gen-2026 | Ponce, Francisco; Gazza, Simone; D'Iapico, Andrea; Amadini, Roberto; Brogi, Antonio; Forti, Stefano; Giallorenzo, Saverio; Plebani, Pierluigi; Usai, Davide; Vitali, Monica; Zavattaro, Gianluigi; Soldani, Jacopo | |
| Time to Go Green: Carbon-Aware Request Scheduling in Software Services | 1-gen-2026 | Danushi, Ornela; Soldani, Jacopo; Forti, Stefano; Brogi, Antonio | |
| A Constraint-Based Approach to Optimise QoS- and Energy-Aware Cloud-Edge Application Deployments | 1-gen-2025 | Gazza, Simone; Amadini, Roberto; Brogi, Antonio; D'Iapico, Andrea; Forti, Stefano; Giallorenzo, Saverio; Plebani, Pierluigi; Ponce, Francisco; Soldani, Jacopo; Vitali, Monica; Zavattaro, Gianluigi | |
| Application Placement with Constraint Relaxation | 1-gen-2025 | Azzolini, Damiano; Duca, Marco; Gallo, Francesco; Ielo, Antonio; Forti, Stefano | |
| Carbon-Aware Software Services | 1-gen-2025 | Forti, Stefano; Soldani, Jacopo; Brogi, Antonio | |
| Carbon-Efficient Software Design and Development: A Systematic Literature Review | 1-gen-2025 | Danushi, Ornela; Forti, Stefano; Soldani, Jacopo | |
| Combining Declarative and Linear Programming for Application Management in the Cloud-Edge Continuum | 1-gen-2025 | Massa, Jacopo; Forti, Stefano; Dazzi, Patrizio; Brogi, Antonio | |
| Continuous reasoning for adaptive container image distribution in the cloud–edge continuum | 1-gen-2025 | Azzolini, Damiano; Forti, Stefano; Ielo, Antonio | |
| Declarative application management with Kubernetes | 1-gen-2025 | Forti, Stefano; Rontani, Alessandro; Aliprandi, Carlo; Frattini, Giovanni; Gagliardi, Simone; Volpini, Marco; Brogi, Antonio | |
| Declarative Deployment Planning for Green Pulverised Collective Computational Systems | 1-gen-2025 | Brogi, Antonio; Casadei, Roberto; Farabegoli, Nicolas; Forti, Stefano; Viroli, Mirko | |
| Enhancing Failure Resilience of Cloud-Edge Microservices: The FREEDA Approach | 1-gen-2025 | Ponce, F.; Forti, S.; Soldani, J.; Brogi, A. | |
| Towards Declarative Traffic Engineering for Guaranteed Latency-Based Forwarding | 1-gen-2025 | Massa, Jacopo; Forti, Stefano; Paganelli, Federica; Dazzi, Patrizio; Brogi, Antonio; Clemm, Alexander; Eckert, Toerless | |
| A declarative reasoning approach to conflict management in Intent-Based Networking | 1-gen-2024 | Massa, J.; Forti, S.; Paganelli, F.; Dazzi, P.; Brogi, A. | |
| A Distributed Tool for Monitoring and Benchmarking a National Federated Cloud | 1-gen-2024 | Bisicchia, Giuseppe; Forti, Stefano; Colla, Alberto; Pisa, Claudio; Barchiesi, Alessandro; Brogi, Antonio | |
| A Logic Programming Approach to VM Placement | 1-gen-2024 | Andreoli, Remo; Forti, Stefano; Pannocchi, Luigi; Cucinotta, Tommaso; Brogi, Antonio | |
| An Interview with Martin Robillard - 2024 SIGSOFT Awardee | 1-gen-2024 | Forti, Stefano |