Marco Palena

According to our database, Marco Palena authored at least 23 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

6G-INTENSE: Intent-Driven Native Artificial Intelligence Architecture Supporting Network-Compute Abstraction and Sensing at the Deep Edge.

Akram Boutouchent, Abdelkader Mekrache, Adlen Ksentini, Gereziher Adhane, João Pedro Celestino da Fonseca, Joseph McNamara, Kostas Ramantas, Marco Palena, Marius Iordache, Renato Lo Cigno, Salwa Mostafa, Swastika Roy, Christos V. Verikoukis

IEEE Veh. Technol. Mag., March, 2025

A Theorem Prover Based Approach for SAT-Based Model Checking Certification.

Giulia Sindoni, Paolo Pasini, Gianpiero Cabodi, Paolo E. Camurati, Alberto Griggio, Marco Palena, Marco Roveri, Stefano Tonetta

Proceedings of the Automated Deduction - CADE 30, 2025

2024

Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification.

Gianpiero Cabodi, Paolo E. Camurati, João Marques-Silva, Marco Palena, Paolo Pasini

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2024

Hardware Model Checking Algorithms and Techniques.

Gianpiero Cabodi, Paolo E. Camurati, Marco Palena, Paolo Pasini

Algorithms, June, 2024

Edge-device collaborative computing for multi-view classification.

Marco Palena, Tania Cerquitelli, Carla-Fabiana Chiasserini

Comput. Networks, 2024

Improving Bounded Model Checking Exploiting Interpolation-Based Learning and Strengthening.

Gianpiero Cabodi, Paolo E. Camurati, Marco Palena, Paolo Pasini

IEEE Access, 2024

2022

Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking.

Gianpiero Cabodi, Paolo E. Camurati, Marco Palena, Paolo Pasini

Formal Methods Syst. Des., April, 2022

2021

Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification.

Gianpiero Cabodi, Paolo E. Camurati, Alexey Ignatiev, João Marques-Silva, Marco Palena, Paolo Pasini

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Reducing Interpolant Circuit Size Through SAT-Based Weakening.

Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

2019

Logic Synthesis for Interpolant Circuit Compaction.

Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

2018

Test of Reconfigurable Modules in Scan Networks.

Riccardo Cantoro, Farrokh Ghani Zadegan, Marco Palena, Paolo Pasini, Erik Larsson, Matteo Sonza Reorda

IEEE Trans. Computers, 2018

To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking.

Gianpiero Cabodi, Paolo Camurati, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer

Int. J. Softw. Tools Technol. Transf., 2018

2017

Exploiting Boolean Satisfiability Solvers for High Performance Bit-Level Model Checking.

Marco Palena

PhD thesis, 2017

SAT solver management strategies in IC3: an experimental approach.

Gianpiero Cabodi, Paolo Camurati, Alan Mishchenko, Marco Palena, Paolo Pasini

Formal Methods Syst. Des., 2017

Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper).

Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

A Greedy Approach to Answer Reachability Queries on DAGs.

Nicolas Boria, Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Stefano Quer

CoRR, 2016

Reducing interpolant circuit size by ad-hoc logic synthesis and SAT-based weakening.

Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

A 7/2-Approximation Algorithm for the Maximum Duo-Preservation String Mapping Problem.

Nicolas Boria, Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Stefano Quer

Proceedings of the 27th Annual Symposium on Combinatorial Pattern Matching, 2016

Test Time Minimization in Reconfigurable Scan Networks.

Riccardo Cantoro, Marco Palena, Paolo Pasini, Matteo Sonza Reorda

Proceedings of the 25th IEEE Asian Test Symposium, 2016

2014

Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks.

Gianpiero Cabodi, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Danilo Vendraminetto, Armin Biere, Keijo Heljanko

J. Satisf. Boolean Model. Comput., 2014

Interpolation with Guided Refinement: Revisiting incrementality in SAT-based unbounded model checking.

Gianpiero Cabodi, Marco Palena, Paolo Pasini

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3.

Marco Palena, Gianpiero Cabodi, Alan Mishchenko

Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, 2013

Fast cone-of-influence computation and estimation in problems with multiple properties.

Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Stefano Ricossa, Danilo Vendraminetto, Jason Baumgartner

Proceedings of the Design, Automation and Test in Europe, 2013