PALENA, MARCO

PALENA, MARCO  

031211  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.021 secondi).
Citazione Data di pubblicazione Autori File
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification / Cabodi, Gianpiero; Camurati, Paolo; Palena, Marco; Pasini, Paolo. - STAMPA. - (2021), pp. 1122-1125. (Intervento presentato al convegno Design Automation and Test in Europe (DATE) nel 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.pdfOptimizing_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). (Intervento presentato al convegno 15th International Conference on Software Engineering and Formal Methods tenutosi a Trento (Italy) nel 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). (Intervento presentato al convegno 27th Annual Symposium on Combinatorial Pattern Matching tenutosi a Tel Aviv, Israel nel 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. (Intervento presentato al convegno Formal Methods in Computer-Aided Design tenutosi a Mountain View, California, USA nel October 3 - 6, 2016) [10.1109/FMCAD.2016.7886657]. 1-gen-2016 CABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOVENDRAMINETTO, DANILO fmcad2016A4.pdf07886657.pdf
Test Time Minimization in Reconfigurable Scan Networks / Cantoro, Riccardo; Palena, Marco; Pasini, Paolo; SONZA REORDA, Matteo. - STAMPA. - (2016). (Intervento presentato al convegno 2016 IEEE 25th Asian Test Symposium (ATS) tenutosi a Hiroshima (JP) nel November 21-24, 2016) [10.1109/ATS.2016.58]. 1-gen-2016 CANTORO, RICCARDOPALENA, MARCOPASINI, PAOLOSONZA REORDA, Matteo PID4437261_pdfexpress.pdfPUBLISHED_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. (Intervento presentato al convegno Formal Methods in Computer-Aided Design (FMCAD 2014) tenutosi a Lausanne, Switzerland nel 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. (Intervento presentato al convegno Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE) tenutosi a Grenoble, France nel 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). (Intervento presentato al convegno International Workshop on Design and Implementation of Formal Tools and Systems tenutosi a Portland, OR nel 19 Ottobre 2013). 1-gen-2013 CABODI, GianpieroPALENA, MARCO + -