Archivio Istituzionale della RicercaCABODI, Gianpiero
CABODI, Gianpiero
Dipartimento di Automatica e Informatica
001764
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
KPIs for Optimal Location of charging stations for Electric Vehicles: the Biella case-study
2019 Fadda, Edoardo; Manerba, Daniele; Tadei, Roberto; Camurati, Paolo Enrico; Cabodi, Gianpiero
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification
2019 Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo
GPU-only unified ConvMM layer for neural classifiers
2017 Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Francini, Gianluca
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
Comparison of GPGPU based Robotic Manipulator with other Embedded Controllers
2016 Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Gulzar, Muhammad Majid
Gabor Filter based Image Representation for Object Classification
2016 Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; PORTO BUARQUE DE GUSMAO, Pedro; Francini, Gianluca
GPGPU based concurrent classification using trained model of handwritten digits
2016 Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Arif, Arslan; Javed, Muhammad Yaqoob; Gulzar, Muhammad Majid
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
Scalable FPGA Graph model to detect routing faults
2016 Sterpone, Luca; Cabodi, Gianpiero; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Du, Boyang
Secure Embedded Architectures: Taint Properties Verification
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo
Secure Path Verification
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo
Accurate and Efficient Visual Search on Embedded Systems
2015 Massimo, Balestri; Cabodi, Gianpiero; Gianluca, Francini; Garbo, Alessandro; Loiacono, Carmelo; Patti, Denis; Quer, Stefano
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking
2014 Cabodi, Gianpiero; Palena, Marco; Pasini, Paolo
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization
2014 Cabodi, Gianpiero; Pasini, Paolo; Quer, Stefano; Vendraminetto, Danilo
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking
2013 Cabodi, Gianpiero; Loiacono, Carmelo; Vendraminetto, Danilo
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3
2013 Cabodi, Gianpiero; A., Mishchenko; Palena, Marco
Interpolation Sequences Revisited
2011 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A Theorem Prover Based Approach for SAT-Based Model Checking Certification / Sindoni, G., Pasini, P., Cabodi, G., Camurati, P.E., Griggio, A., Palena, M., Roveri, M., Tonetta, S.. - ELETTRONICO. - 15943:(2025), pp. 449-467. (Automated Deduction - CADE 30 Stuttgart (Ger) 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, G., Camurati, P., Palena, M., Pasini, P.. - 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 |
| KPIs for Optimal Location of charging stations for Electric Vehicles: the Biella case-study / Fadda, E., Manerba, D., Tadei, R., Camurati, P.E., Cabodi, G.. - ELETTRONICO. - 18:(2019), pp. 123-126. (12th International Workshop on Computational Optimization Leipzig, Germany 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, G., Camurati, P., Finocchiaro, F., Vendraminetto, D.. - STAMPA. - 11445:(2019), pp. 462-479. (Codes, Cryptology and Information Security Rabat, Morocco April 22-24, 2019) [10.1007/978-3-030-16458-4_27]. | 1-gen-2019 | Cabodi, GianpieroCamurati, PaoloFinocchiaro, FabrizioVendraminetto, Danilo | c2si19.pdf; 978-3-030-16458-4_27.pdf |
| GPU-only unified ConvMM layer for neural classifiers / Rizvi, S.T.H., Cabodi, G., Francini, G.. - (2017). (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, G., Camurati, P.E., Palena, M., Pasini, P., Vendraminetto, D.. - 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, N., Cabodi, G., Camurati, P.E., Palena, M., Pasini, P., Quer, S.. - 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 | - |
| Comparison of GPGPU based Robotic Manipulator with other Embedded Controllers / Rizvi, S.T.H., Cabodi, G., Patti, D., Gulzar, M.M.. - ELETTRONICO. - 13:(2016), pp. 10-15. (13th International Conference on Development and Application Systems Suceava, Romania 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, S.T.H., Cabodi, G., PORTO BUARQUE DE GUSMAO, P., Francini, G.. - ELETTRONICO. - 3:(2016), pp. 628-632. (International Conference on Control, Decision and Information Technologies Saint Julian's, Malta 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, S.T.H., Cabodi, G., Arif, A., Javed, M.Y., Gulzar, M.M.. - (2016), pp. 142-146. (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, G., Camurati, P.E., Palena, M., Pasini, P., Vendraminetto, D.. - 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 |
| Scalable FPGA Graph model to detect routing faults / Sterpone, L., Cabodi, G., Finocchiaro, S.F., Loiacono, C., Savarese, F., Du, B.. - ELETTRONICO. - (2016). (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, G., Camurati, P.E., Finocchiaro, S.F., Loiacono, C., Savarese, F., Vendraminetto, D.. - ELETTRONICO. - (2016). (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, G., Camurati, P.E., Finocchiaro, S.F., Loiacono, C., Savarese, F., Vendraminetto, D.. - ELETTRONICO. - (2016). (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, B., Cabodi, G., Gianluca, F., Garbo, A., Loiacono, C., Patti, D., Quer, S.. - ELETTRONICO. - (2015). (International conference on advanced in computing, communication and information technology Birmingham 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, G., Palena, M., Pasini, P.. - 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 | - |
| Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization / Cabodi, G., Pasini, P., Quer, S., Vendraminetto, D.. - STAMPA. - (2014), pp. 1-6. (Design Automation and Test in Europe (DATE) Dresden, Germany 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, G., Loiacono, C., Vendraminetto, D.. - STAMPA. - (2013), pp. 1417-1422. (Design Automation and Test in Europe (DATE) Grenoble, France 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, G., A., M., Palena, M.. - ELETTRONICO. - (2013). (International Workshop on Design and Implementation of Formal Tools and Systems Portland, OR 19 Ottobre 2013). | 1-gen-2013 | CABODI, GianpieroPALENA, MARCO + | - |
| Interpolation Sequences Revisited / Cabodi, G., Nocco, S., Quer, S.. - STAMPA. - (2011), pp. 316-322. (DATE'11: ACM/IEEE Design Automation and Test in Europe Grenoble, France March 14-18, 2011). | 1-gen-2011 | CABODI, GianpieroNOCCO, SERGIOQUER, Stefano | con11-01.pdf |