CABODI, Gianpiero

CABODI, Gianpiero  

Dipartimento di Automatica e Informatica  

001764  

Mostra records
Risultati 1 - 20 di 76 (tempo di esecuzione: 0.032 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
KPIs for Optimal Location of charging stations for Electric Vehicles: the Biella case-study / Fadda, Edoardo; Manerba, Daniele; Tadei, Roberto; Camurati, Paolo Enrico; Cabodi, Gianpiero. - ELETTRONICO. - 18:(2019), pp. 123-126. (Intervento presentato al convegno 12th International Workshop on Computational Optimization tenutosi a Leipzig, Germany nel September 1-4) [10.15439/2019F171]. 1-gen-2019 Edoardo FaddaDaniele ManerbaRoberto TadeiPaolo CamuratiGianpiero Cabodi KPIs for Optimal Location.pdf
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification / Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo. - STAMPA. - 11445:(2019), pp. 462-479. (Intervento presentato al convegno Codes, Cryptology and Information Security tenutosi a Rabat, Morocco nel April 22-24, 2019) [10.1007/978-3-030-16458-4_27]. 1-gen-2019 Cabodi, GianpieroCamurati, PaoloFinocchiaro, FabrizioVendraminetto, Danilo c2si19.pdf978-3-030-16458-4_27.pdf
GPU-only unified ConvMM layer for neural classifiers / Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Francini, Gianluca. - (2017). (Intervento presentato al convegno 4th International Conference on Control, Decision and Information Technologies) [10.1109/CoDIT.2017.8102649]. 1-gen-2017 RIZVI, SYED TAHIR HUSSAINCABODI, Gianpiero + -
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 -
Comparison of GPGPU based Robotic Manipulator with other Embedded Controllers / Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Gulzar, Muhammad Majid. - ELETTRONICO. - 13:(2016), pp. 10-15. (Intervento presentato al convegno 13th International Conference on Development and Application Systems tenutosi a Suceava, Romania nel May 19-21, 2016) [10.1109/DAAS.2016.7492540]. 1-gen-2016 RIZVI, SYED TAHIR HUSSAINCABODI, GianpieroPATTI, DENIS + -
Gabor Filter based Image Representation for Object Classification / Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; PORTO BUARQUE DE GUSMAO, Pedro; Francini, Gianluca. - ELETTRONICO. - 3:(2016), pp. 628-632. (Intervento presentato al convegno International Conference on Control, Decision and Information Technologies tenutosi a Saint Julian's, Malta nel April 6-8, 2016) [10.1109/CoDIT.2016.7593635]. 1-gen-2016 RIZVI, SYED TAHIR HUSSAINCABODI, GianpieroPORTO BUARQUE DE GUSMAO, PEDRO + -
GPGPU based concurrent classification using trained model of handwritten digits / Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Arif, Arslan; Javed, Muhammad Yaqoob; Gulzar, Muhammad Majid. - (2016), pp. 142-146. (Intervento presentato al convegno International Conference on Open Source Systems & Technologies (ICOSST)) [10.1109/ICOSST.2016.7838591]. 1-gen-2016 RIZVI, SYED TAHIR HUSSAINCABODI, GianpieroARIF, ARSLAN + -
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
Scalable FPGA Graph model to detect routing faults / Sterpone, Luca; Cabodi, Gianpiero; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Du, Boyang. - ELETTRONICO. - (2016). (Intervento presentato al convegno IEEE International Symposium on On-Line Testing and Robust System Design) [10.1109/IOLTS.2016.7604690]. 1-gen-2016 STERPONE, LUCACABODI, GianpieroFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCODU, BOYANG -
Secure Embedded Architectures: Taint Properties Verification / Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo. - ELETTRONICO. - (2016). (Intervento presentato al convegno International Conference on Development and Application Systems) [10.1109/DAAS.2016.7492565]. 1-gen-2016 CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO -
Secure Path Verification / Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo. - ELETTRONICO. - (2016). (Intervento presentato al convegno IEEE International Verification and Security Workshop) [10.1109/IVSW.2016.7566608]. 1-gen-2016 CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO -
Accurate and Efficient Visual Search on Embedded Systems / Massimo, Balestri; Cabodi, Gianpiero; Gianluca, Francini; Garbo, Alessandro; Loiacono, Carmelo; Patti, Denis; Quer, Stefano. - ELETTRONICO. - (2015). (Intervento presentato al convegno International conference on advanced in computing, communication and information technology tenutosi a Birmingham nel 26-27 Maggio 2015). 1-gen-2015 CABODI, GianpieroGARBO, ALESSANDROLOIACONO, CARMELOPATTI, DENISQUER, Stefano + -
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 -
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization / Cabodi, Gianpiero; Pasini, Paolo; Quer, Stefano; Vendraminetto, Danilo. - STAMPA. - (2014), pp. 1-6. (Intervento presentato al convegno Design Automation and Test in Europe (DATE) tenutosi a Dresden, Germany nel March 2014) [10.7873/DATE.2014.129]. 1-gen-2014 CABODI, GianpieroPASINI, PAOLOQUER, StefanoVENDRAMINETTO, DANILO -
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking / Cabodi, Gianpiero; Loiacono, Carmelo; Vendraminetto, Danilo. - STAMPA. - (2013), pp. 1417-1422. (Intervento presentato al convegno Design Automation and Test in Europe (DATE) tenutosi a Grenoble, France nel March 2013) [10.7873/DATE.2013.289]. 1-gen-2013 CABODI, GianpieroLOIACONO, CARMELOVENDRAMINETTO, 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 + -
Interpolation Sequences Revisited / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2011), pp. 316-322. (Intervento presentato al convegno DATE'11: ACM/IEEE Design Automation and Test in Europe tenutosi a Grenoble, France nel March 14-18, 2011). 1-gen-2011 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano con11-01.pdf
Optimized model checking of multiple properties / Cabodi, Gianpiero; Nocco, Sergio. - STAMPA. - (2011), pp. 543-546. (Intervento presentato al convegno DATE 2011: Design Automation & Test In Europe 2011 tenutosi a Grenoble (FRANCE) nel 14-18 March 2011). 1-gen-2011 CABODI, GianpieroNOCCO, SERGIO -