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

• Sindoni, Giulia; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo E.; Griggio, Alberto; ... (2025)
  A Theorem Prover Based Approach for SAT-Based Model Checking Certification. In: Automated Deduction - CADE 30, Stuttgart, Germany, July 28 - August 2, 2025, pp. 449-467. ISSN 0302-9743. ISBN: 9783031999833
  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
• Palena, Marco; Cerquitelli, Tania; Chiasserini, Carla Fabiana (2024)
  Edge-device Collaborative Computing for Multi-view Classification  . In: COMPUTER NETWORKS, vol. 254, pp. 1-15. ISSN 1389-1286
  Contributo su Rivista
• Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P. (2024)
  Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening. In: IEEE ACCESS, vol. 12, pp. 119341-119349. ISSN 2169-3536
  Contributo su Rivista
• Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo (2024)
  Hardware Model Checking Algorithms and Techniques. In: ALGORITHMS, vol. 17. ISSN 1999-4893
  Contributo su Rivista