Archivio Istituzionale della RicercaPALENA, MARCO
Mostra
records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.013 secondi).
SPIFF: Selective Preservation of Image Fidelity for Bandwidth-constrained Heterogeneous Networks
2026 Palena, Marco; Ayala-Romero, Jose A.; Garcia-Saavedra, Andres; Chiasserini, Carla Fabiana
A Theorem Prover Based Approach for SAT-Based Model Checking Certification
2025 Sindoni, Giulia; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo E.; Griggio, Alberto; Palena, Marco; Roveri, Marco; Tonetta, Stefano
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification
2021 Cabodi, Gianpiero; Camurati, Paolo; Palena, Marco; Pasini, Paolo
Interpolation-based learning as a mean to speed-up Bounded Model Checking
2017 Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, Danilo
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem
2016 Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Quer, Stefano
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, Danilo
Test Time Minimization in Reconfigurable Scan Networks
2016 Cantoro, Riccardo; Palena, Marco; Pasini, Paolo; SONZA REORDA, Matteo
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking
2014 Cabodi, Gianpiero; Palena, Marco; Pasini, Paolo
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties
2013 Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano; Vendraminetto, Danilo; Baumgartner, J.
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3
2013 Cabodi, Gianpiero; A., Mishchenko; Palena, Marco
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| SPIFF: Selective Preservation of Image Fidelity for Bandwidth-constrained Heterogeneous Networks / Palena, Marco; Ayala-Romero, Jose A.; Garcia-Saavedra, Andres; Chiasserini, Carla Fabiana. - (2026). ( IEEE INFOCOM 2026 Tokyo (Japan) May 2026). | 1-gen-2026 | Marco PalenaCarla Fabiana Chiasserini + | - |
| A Theorem Prover Based Approach for SAT-Based Model Checking Certification / Sindoni, Giulia; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo E.; Griggio, Alberto; Palena, Marco; Roveri, Marco; Tonetta, Stefano. - ELETTRONICO. - 15943:(2025), pp. 449-467. (Intervento presentato al convegno Automated Deduction - CADE 30 tenutosi a Stuttgart (Ger) nel July 28 - August 2, 2025) [10.1007/978-3-031-99984-0_24]. | 1-gen-2025 | Pasini, PaoloCabodi, GianpieroCamurati, Paolo E.Palena, MarcoRoveri, Marco + | - |
| Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification / Cabodi, Gianpiero; Camurati, Paolo; Palena, Marco; Pasini, Paolo. - STAMPA. - (2021), pp. 1122-1125. ( Design Automation and Test in Europe (DATE)01-05 February 2021) [10.23919/DATE51398.2021.9474083]. | 1-gen-2021 | Cabodi,GianpieroCamurati,PaoloPalena,MarcoPasini,Paolo | Optimizing_Binary_Decision_Diagrams_for_Interpretable_Machine_Learning_Classification.pdf; Optimizing_Binary_Decision_Diagrams_for_Interpretable_Machine_Learning_Classification.pdf |
| Interpolation-based learning as a mean to speed-up Bounded Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, Danilo. - ELETTRONICO. - (2017). ( 15th International Conference on Software Engineering and Formal Methods Trento (Italy) September 4-8, 2017). | 1-gen-2017 | CABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOVENDRAMINETTO, DANILO | - |
| A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem / Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Quer, Stefano. - ELETTRONICO. - (2016). ( 27th Annual Symposium on Combinatorial Pattern Matching Tel Aviv, Israel June 27 - 29, 2016). | 1-gen-2016 | BORIA, NICOLASCABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOQUER, Stefano | - |
| Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening / Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, Danilo. - ELETTRONICO. - (2016), pp. 25-32. ( Formal Methods in Computer-Aided Design Mountain View, California, USA October 3 - 6, 2016) [10.1109/FMCAD.2016.7886657]. | 1-gen-2016 | CABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOVENDRAMINETTO, DANILO | fmcad2016A4.pdf; 07886657.pdf |
| Test Time Minimization in Reconfigurable Scan Networks / Cantoro, Riccardo; Palena, Marco; Pasini, Paolo; SONZA REORDA, Matteo. - STAMPA. - (2016). ( 2016 IEEE 25th Asian Test Symposium (ATS) Hiroshima (JP) November 21-24, 2016) [10.1109/ATS.2016.58]. | 1-gen-2016 | CANTORO, RICCARDOPALENA, MARCOPASINI, PAOLOSONZA REORDA, Matteo | PID4437261_pdfexpress.pdf; PUBLISHED_07796093.pdf |
| Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking / Cabodi, Gianpiero; Palena, Marco; Pasini, Paolo. - ELETTRONICO. - Formal Methods in Computer-Aided Design (FMCAD), 2014:(2014), pp. 43-50. ( Formal Methods in Computer-Aided Design (FMCAD 2014) Lausanne, Switzerland 21-24 Oct. 2014) [10.1109/FMCAD.2014.6987594]. | 1-gen-2014 | CABODI, GianpieroPALENA, MARCOPASINI, PAOLO | - |
| Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties / Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano; Vendraminetto, Danilo; Baumgartner, J.. - STAMPA. - (2013), pp. 803-806. ( Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE) Grenoble, France March 2013) [10.7873/DATE.2013.170]. | 1-gen-2013 | LOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOPATTI, DENISQUER, StefanoVENDRAMINETTO, DANILO + | - |
| Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3 / Cabodi, Gianpiero; A., Mishchenko; Palena, Marco. - ELETTRONICO. - (2013). ( International Workshop on Design and Implementation of Formal Tools and Systems Portland, OR 19 Ottobre 2013). | 1-gen-2013 | CABODI, GianpieroPALENA, MARCO + | - |