Marco Palena

Corso di laurea magistrale

• Programmazione di sistema. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso

Corso di laurea di 1° livello

• Algoritmi e strutture dati. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
• Operating systems. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Sistemi operativi. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2021/22, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2021/22, INGEGNERIA INFORMATICA. Collaboratore del corso
• Operating systems. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Sistemi operativi. A.A. 2021/22, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Collaboratore del corso
• Operating systems. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Sistemi operativi. A.A. 2020/21, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2019/20, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2019/20, INGEGNERIA INFORMATICA. Collaboratore del corso
• Operating systems. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Sistemi operativi. A.A. 2019/20, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algorithms and Programming. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Sistemi operativi. A.A. 2018/19, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algorithms and Programming. A.A. 2017/18, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Sistemi operativi. A.A. 2017/18, INGEGNERIA INFORMATICA. Collaboratore del corso
• Sistemi operativi. A.A. 2016/17, INGEGNERIA INFORMATICA. Collaboratore del corso
• Sistemi operativi. A.A. 2015/16, INGEGNERIA INFORMATICA. Collaboratore del corso
• Sistemi operativi. A.A. 2014/15, INGEGNERIA INFORMATICA. Collaboratore del corso
• Sistemi operativi. A.A. 2013/14, INGEGNERIA INFORMATICA. Collaboratore del corso

• Comunicazione e computazione per le tecnologie di edge mobile (DET)

• Fix, Limor; Mcmillan, Ken; Cabodi, Gianpiero; Palena, Marco; Pasini, Paolo; Ip, Norris; ... (2026)
  Formal Property Verification. In: Electronic Design Automation for Integrated Circuits Handbook / S.N., S.L., CRC Press, pp. 528-557. ISBN: 9781003608721
  Contributo in Volume
• Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo (2026)
  Manipulating Proof Certificate Invariants in the Presence of Model Transformations. In: IEEE ACCESS, vol. 14, pp. 65572-65585. ISSN 2169-3536
  Contributo su Rivista
• Palena, Marco; Selvaraj, Dinesh Cyril; Chiasserini, Carla Fabiana; Cerquitelli, Tania (2026)
  Descriptor: Context-Aware Collaborative Perception in Autonomous Driving Dataset (ConVeX). In: IEEE DATA DESCRIPTIONS, vol. 3, pp. 531-538. ISSN 2995-4274
  Contributo su Rivista
• Palena, Marco; Ayala-Romero, Jose A.; Garcia-Saavedra, Andres; Chiasserini, Carla Fabiana (2026)
  SPIFF: Selective Preservation of Image Fidelity for Bandwidth-constrained Heterogeneous Networks. In: IEEE INFOCOM 2026, Tokyo (Jap), 18 - 21 May 2026
  Contributo in Atti di Convegno (Proceeding)
• Boutouchent, Akram; Mekrache, Abdelkader; Ksentini, Adlen; Adhane, Gereziher; Fonseca, ... (2025)
  6G-INTENSE: Intent-Driven Native Artificial Intelligence Architecture Supporting Network-Compute Abstraction and Sensing at the Deep Edge. In: IEEE VEHICULAR TECHNOLOGY MAGAZINE, vol. 20, pp. 44-54. ISSN 1556-6072
  Contributo su Rivista