Archivio Istituzionale della RicercaMARCHETTO, GUIDO
MARCHETTO, GUIDO
Dipartimento di Automatica e Informatica
015020
(User-friendly) formal requirements verification in the context of ISO26262
2020 Makartetskiy, Denis; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Virgilio, Matteo; Leri, Denise; Denti, Paolo; Finizio, Roberto
A blocking probability study for the Aethereal network-on-chip
2016 Marchetto, Guido; Tahir, Sarosh; Grosso, Michelangelo
A Collaborative and Distributed Learning-Based Solution to Autonomously Plan Computer Networks
2023 Monaco, Doriana; Sacco, Alessio; Alberti, Enrico; Marchetto, Guido; Esposito, Flavio
A Distributed Reinforcement Learning Approach for Energy and Congestion-Aware Edge Networks
2020 Sacco, Alessio; Esposito, Flavio; Marchetto, Guido
A Federated Learning Approach to Routing in Challenged SDN-Enabled Edge Networks
2020 Sacco, Alessio; Esposito, Flavio; Marchetto, Guido
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks
2021 Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin; Ksentini, Adlen
A framework for user-friendly verification-oriented VNF modeling
2017 Marchetto, Guido; Sisto, Riccardo; Virgilio, Matteo; Yusupov, Jalolliddin
A Framework for Verification-Oriented User-Friendly Network Function Modeling
2019 Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
A novel approach for security function graph configuration and deployment
2021 Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.
A Policy-Based Architecture for Container Migration in Software Defined Infrastructures
2019 Tao, Xu; Flavio, Esposito; Sacco, Alessio; Marchetto, Guido
A Proposal for End-to-End QoS Provisioning in Software-Defined-Networks
2017 Lucrezia, Francesco; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Gerola, Matteo; Santuari, Michele
A Scalable Approach for Supporting Streaming Media: Design, Implementation and Experiments
2007 D., Agrawal; Baldi, Mario; M., Corr; G., Fontana; T. H., Truong; Marchetto, Guido; V. T., Nguyen; Y., Ofek; D., Severina; O., Zadedyurina
A Scalable Solution for Engineering Streaming Traffic in the Future Internet
2007 Baldi, Mario; Marchetto, Guido; Yoram, Ofek
A Self-Learning Strategy for Task Offloading in UAV Networks
2022 Sacco, Alessio; Esposito, Flavio; Marchetto, Guido; Montuschi, Paolo
A Transmission Layer Aware Network Design for Fixed and Flexible Grid Optical Networks
2015 Ahmad, Arsalan; Bianco, Andrea; Chouman, Hussein; Curri, Vittorio; Marchetto, Guido; Tahir, Sarosh
A VNF modeling approach for verification purposes
2019 Marchetto, G.; Sisto, R.; Virgilio, M.; Yusupov, J.
ADELE: An Architecture for Steering Traffic and Computations via Deep Learning in Challenged Edge Networks
2019 Gaballo, Alessandro; Flocco, Matteo; Flavio, Esposito; Marchetto, Guido
An architecture for adaptive task planning in support of IoT-based machine learning applications for disaster scenarios
2020 Sacco, Alessio; Flocco, Matteo; Esposito, Flavio; Marchetto, Guido
An Efficient Data Exchange Algorithm for Chained Network Functions
2014 Cerrato, Ivano; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Virgilio, Matteo
An efficient data exchange mechanism for chained network functions
2018 Cerrato, Ivano; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Virgilio, Matteo; Bonafiglia, Roberto
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| (User-friendly) formal requirements verification in the context of ISO26262 / Makartetskiy, Denis; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Virgilio, Matteo; Leri, Denise; Denti, Paolo; Finizio, Roberto. - In: ENGINEERING SCIENCE AND TECHNOLOGY, AN INTERNATIONAL JOURNAL. - ISSN 2215-0986. - ELETTRONICO. - 23:3(2020), pp. 494-506. [10.1016/j.jestch.2019.09.005] | 1-gen-2020 | Denis MakartetskiyGuido MarchettoRiccardo SistoFulvio ValenzaMatteo Virgilio + | 1-s2.0-S2215098619306147-main.pdf |
| A blocking probability study for the Aethereal network-on-chip / Marchetto, Guido; Tahir, Sarosh; Grosso, Michelangelo. - STAMPA. - (2016), pp. 104-109. (Intervento presentato al convegno IEEE International Design & Test Symposium (IDT) tenutosi a Hammamet, Tunisia nel December 2016) [10.1109/IDT.2016.7843023]. | 1-gen-2016 | MARCHETTO, GUIDOTAHIR, SAROSHGROSSO, MICHELANGELO | - |
| A Collaborative and Distributed Learning-Based Solution to Autonomously Plan Computer Networks / Monaco, Doriana; Sacco, Alessio; Alberti, Enrico; Marchetto, Guido; Esposito, Flavio. - ELETTRONICO. - (2023). (Intervento presentato al convegno 26th Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN 2023) tenutosi a Paris (FRA) nel 06-09 March 2023) [10.1109/ICIN56760.2023.10073505]. | 1-gen-2023 | Doriana MonacoAlessio SaccoEnrico AlbertiGuido Marchetto + | A_Collaborative_and_Distributed_Learning-Based_Solution_to_Autonomously_Plan_Computer_Networks (1).pdf; ICIN_23___Collab_RL_for_planning__short_.pdf |
| A Distributed Reinforcement Learning Approach for Energy and Congestion-Aware Edge Networks / Sacco, Alessio; Esposito, Flavio; Marchetto, Guido. - ELETTRONICO. - (2020), pp. 546-547. (Intervento presentato al convegno 2020 16th International Conference on Emerging Networking EXperiments and Technologies (CoNEXT) tenutosi a Virtual Event nel November 2020) [10.1145/3386367.3431670]. | 1-gen-2020 | Sacco, AlessioMarchetto, Guido + | CoNEXT_2020_camera_ready.pdf; 3386367.3431670.pdf |
| A Federated Learning Approach to Routing in Challenged SDN-Enabled Edge Networks / Sacco, Alessio; Esposito, Flavio; Marchetto, Guido. - ELETTRONICO. - (2020), pp. 150-154. (Intervento presentato al convegno 2020 6th IEEE Conference on Network Softwarization (NetSoft) tenutosi a Ghent, Belgium, Belgium nel 29 June-3 July 2020) [10.1109/NetSoft48620.2020.9165506]. | 1-gen-2020 | Alessio SaccoGuido Marchetto + | Blaster_certified.pdf; Netsoft_2020___Blaster.pdf |
| A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks / Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin; Ksentini, Adlen. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - 17:2(2021), pp. 1515-1525. [10.1109/tii.2020.3002816] | 1-gen-2021 | Marchetto, GuidoSisto, RiccardoValenza, FulvioYusupov, Jalolliddin + | TII2021.pdf; 09119174.pdf |
| A framework for user-friendly verification-oriented VNF modeling / Marchetto, Guido; Sisto, Riccardo; Virgilio, Matteo; Yusupov, Jalolliddin. - ELETTRONICO. - 1:(2017), pp. 517-522. (Intervento presentato al convegno IEEE Computer Software and Applications Conference (COMPSAC) tenutosi a Turin, Italy nel July 4-8, 2017) [10.1109/COMPSAC.2017.16]. | 1-gen-2017 | MARCHETTO, GUIDOSISTO, RiccardoVIRGILIO, MATTEOYUSUPOV, JALOLLIDDIN | - |
| A Framework for Verification-Oriented User-Friendly Network Function Modeling / Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin. - In: IEEE ACCESS. - ISSN 2169-3536. - 7:(2019), pp. 99349-99359. [10.1109/ACCESS.2019.2929325] | 1-gen-2019 | Marchetto, GuidoSisto, RiccardoValenza, FulvioYusupov, Jalolliddin | 08765301.pdf |
| A novel approach for security function graph configuration and deployment / Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.. - ELETTRONICO. - (2021), pp. 457-463. (Intervento presentato al convegno 7th IEEE International Conference on Network Softwarization, NetSoft 2021 nel 2021) [10.1109/NetSoft51509.2021.9492654]. | 1-gen-2021 | Bringhenti D.Marchetto G.Sisto R.Valenza F. | secsoft2021.pdf; main.pdf |
| A Policy-Based Architecture for Container Migration in Software Defined Infrastructures / Tao, Xu; Flavio, Esposito; Sacco, Alessio; Marchetto, Guido. - ELETTRONICO. - (2019), pp. 198-202. (Intervento presentato al convegno 2019 IEEE Conference on Network Softwarization (NetSoft) tenutosi a Parigi nel June 2019) [10.1109/NETSOFT.2019.8806659]. | 1-gen-2019 | Xu TaoSACCO, ALESSIOGuido Marchetto + | Final_public.pdf |
| A Proposal for End-to-End QoS Provisioning in Software-Defined-Networks / Lucrezia, Francesco; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Gerola, Matteo; Santuari, Michele. - In: INTERNATIONAL JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING. - ISSN 2088-8708. - ELETTRONICO. - 7:4(2017), pp. 2261-2277. [10.11591/ijece.v7i4.pp2261-2277] | 1-gen-2017 | LUCREZIA, FRANCESCOMARCHETTO, GUIDORISSO, FULVIO GIOVANNI OTTAVIO + | - |
| A Scalable Approach for Supporting Streaming Media: Design, Implementation and Experiments / D., Agrawal; Baldi, Mario; M., Corr; G., Fontana; T. H., Truong; Marchetto, Guido; V. T., Nguyen; Y., Ofek; D., Severina; O., Zadedyurina. - (2007). (Intervento presentato al convegno IEEE Symposium on Computers and Communications (ISCC 2007) tenutosi a Aveiro (Portugal) nel July). | 1-gen-2007 | BALDI, MARIOMARCHETTO, GUIDO + | - |
| A Scalable Solution for Engineering Streaming Traffic in the Future Internet / Baldi, Mario; Marchetto, Guido; Yoram, Ofek. - In: COMPUTER NETWORKS. - ISSN 1389-1286. - 51:(2007), pp. 4092-4111. | 1-gen-2007 | BALDI, MARIOMARCHETTO, GUIDO + | - |
| A Self-Learning Strategy for Task Offloading in UAV Networks / Sacco, Alessio; Esposito, Flavio; Marchetto, Guido; Montuschi, Paolo. - In: IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY. - ISSN 1939-9359. - ELETTRONICO. - 71:4(2022), pp. 4301-4311. [10.1109/TVT.2022.3144654] | 1-gen-2022 | Alessio SaccoGuido MarchettoPaolo Montuschi + | FINAL VERSION.pdf; A_Self-Learning_Strategy_for_Task_Offloading_in_UAV_Networks.pdf |
| A Transmission Layer Aware Network Design for Fixed and Flexible Grid Optical Networks / Ahmad, Arsalan; Bianco, Andrea; Chouman, Hussein; Curri, Vittorio; Marchetto, Guido; Tahir, Sarosh. - STAMPA. - (2015), pp. 1-4. (Intervento presentato al convegno International Conference on Transparent Optical Networks (ICTON 2015) tenutosi a Budapest, Hungary nel July 5-9, 2015) [10.1109/ICTON.2015.7193481]. | 1-gen-2015 | AHMAD, ARSALANBIANCO, ANDREACHOUMAN, HUSSEINCURRI, VittorioMARCHETTO, GUIDOTAHIR, SAROSH | Marchetto-Atransmission.pdf |
| A VNF modeling approach for verification purposes / Marchetto, G.; Sisto, R.; Virgilio, M.; Yusupov, J.. - In: INTERNATIONAL JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING. - ISSN 2088-8708. - 9:4(2019), pp. 2627-2636. [10.11591/ijece.v9i4.pp2627-2636] | 1-gen-2019 | Marchetto G.Sisto R.Virgilio M.Yusupov J. | document.pdf |
| ADELE: An Architecture for Steering Traffic and Computations via Deep Learning in Challenged Edge Networks / Gaballo, Alessandro; Flocco, Matteo; Flavio, Esposito; Marchetto, Guido. - ELETTRONICO. - (2019), pp. 1-8. (Intervento presentato al convegno 4th International Conference on Computing, Communications and Security (ICCCS) tenutosi a Rome (Italy) nel October 2019) [10.1109/CCCS.2019.8888120]. | 1-gen-2019 | GABALLO, ALESSANDROMatteo FloccoGuido Marchetto + | 08888120.pdf; ADeLE-4.pdf |
| An architecture for adaptive task planning in support of IoT-based machine learning applications for disaster scenarios / Sacco, Alessio; Flocco, Matteo; Esposito, Flavio; Marchetto, Guido. - In: COMPUTER COMMUNICATIONS. - ISSN 0140-3664. - ELETTRONICO. - 160:(2020), pp. 769-778. [10.1016/j.comcom.2020.07.011] | 1-gen-2020 | Alessio SaccoMatteo FloccoGuido Marchetto + | Apron_camera_ready.pdf; ComCom__Apron__accepted.pdf |
| An Efficient Data Exchange Algorithm for Chained Network Functions / Cerrato, Ivano; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Virgilio, Matteo. - STAMPA. - (2014), pp. 98-105. (Intervento presentato al convegno 2014 IEEE 15th International Conference on High Performance Switching and Routing (HPSR 2014) tenutosi a Vancouver, BC, Canada nel July 2014) [10.1109/HPSR.2014.6900888]. | 1-gen-2014 | CERRATO, IVANOMARCHETTO, GUIDORISSO, FULVIO GIOVANNI OTTAVIOSISTO, RiccardoVIRGILIO, MATTEO | 14HPSR-SharedBuffer.pdf |
| An efficient data exchange mechanism for chained network functions / Cerrato, Ivano; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Virgilio, Matteo; Bonafiglia, Roberto. - In: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING. - ISSN 0743-7315. - STAMPA. - 114:(2018), pp. 1-15. [10.1016/j.jpdc.2017.12.003] | 1-gen-2018 | Ivano CerratoGuido MarchettoFulvio RissoRiccardo SistoMatteo VirgilioRoberto Bonafiglia | sharedBuffer.pdf; 18JPDC-SharedBuffer-published.pdf |