CABODI, Gianpiero

CABODI, Gianpiero  

Dipartimento di Automatica e Informatica  

001764  

Mostra records
Risultati 1 - 20 di 138 (tempo di esecuzione: 0.061 secondi).
Citazione Data di pubblicazione Autori File
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking / Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - (2022), pp. 1-30. [10.1007/s10703-022-00406-7] 1-gen-2022 Cabodi, G.Camurati, P. E.Palena, M.Pasini, P. s10703-022-00406-7.pdf10703_2022_406_postprint.pdf
Comparative analysis of models and performance indicators for optimal service facility location / Fadda, Edoardo; Manerba, Daniele; Cabodi, Gianpiero; Camurati, Paolo; Tadei, Roberto. - In: TRANSPORTATION RESEARCH PART E-LOGISTICS AND TRANSPORTATION REVIEW. - ISSN 1366-5545. - ELETTRONICO. - 145:(2021). [10.1016/j.tre.2020.102174] 1-gen-2021 fadda,edoardocabodi, gianpierocamurati, paolotadei, roberto + published paper.pdf
Evaluation of optimal charging station location for electric vehicles: an Italian case-study / Fadda, Edoardo; Manerba, Daniele; Cabodi, Gianpiero; Camurati, Paolo Enrico; Tadei, Roberto - In: Recent Advances in Computational Optimization / Fidanova S.. - ELETTRONICO. - [s.l] : Springer, 2021. - ISBN 978-3-030-58883-0. - pp. 71-87 [10.1007/978-3-030-58884-7_4] 1-gen-2021 Edoardo FaddaDaniele ManerbaGianpiero CabodiPaolo CamuratiRoberto Tadei BiellaPart2.pdfEvaluation of Optimal Charging Station.pdf
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
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills / Cabodi, G; Camurati, P; Pasini, P; Patti, D; Vendraminetto, D. - In: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION. - ISSN 0949-149X. - 36:5(2020), pp. 1505-1528. 1-gen-2020 Cabodi, GCamurati, PPasini, PPatti, DVendraminetto, D ijee2020_SchemaBased.pdf
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars / Cabodi, Gianpiero; Camurati, Paolo; Garbo, Alessandro; Giorelli, Michele; Quer, Stefano; Savarese, Francesco. - In: ELECTRONICS. - ISSN 2079-9292. - 8:2(2019), p. 177. [10.3390/electronics8020177] 1-gen-2019 Cabodi, GianpieroCamurati, PaoloGarbo, AlessandroQuer, StefanoSavarese, Francesco + savarese_paper.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
Logic Synthesis for Interpolant Circuit Compaction / Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - STAMPA. - 38:2(2019), pp. 380-384. [10.1109/TCAD.2018.2808229] 1-gen-2019 Cabodi, G.Camurati, P. E.Palena, M.Pasini, P.Vendraminetto, D. 08299440.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
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification / Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo. - In: ELECTRONICS. - ISSN 2079-9292. - 8:9(2019). [10.3390/electronics8091057] 1-gen-2019 Cabodi, GianpieroCamurati, PaoloFinocchiaro, FabrizioVendraminetto, Danilo electronics-08-01057.pdf
Reducing interpolant circuit size through SAT-based weakening / Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - ELETTRONICO. - (2019). [10.1109/TCAD.2019.2915317] 1-gen-2019 Cabodi, G.Camurati, P. E.Palena, M.Pasini, P.Vendraminetto, D. -
Algoritmi e programmazione in pratica. Da specifiche a codice C / Pasini, Paolo; Patti, Denis; Vendraminetto, Danilo; Cabodi, Gianpiero; Camurati, Paolo Enrico. - STAMPA. - (2018). 1-gen-2018 paolo pasinidenis pattidanilo vendraminettogianpiero cabodipaolo camurati -
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 20:(2018), pp. 313-325. [10.1007/s10009-017-0451-8] 1-gen-2018 CABODI, GianpieroCAMURATI, Paolo EnricoLOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOPATTI, DENISQUER, Stefano Cabodi2018_Article_ToSplitOrToGroupFromDivide-and.pdf
A General-Purpose Graphics Processing Unit (GPGPU)-Accelerated Robotic Controller Using a Low Power Mobile Platform / Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Gulzar, Muhammad. - In: JOURNAL OF LOW POWER ELECTRONICS AND APPLICATIONS. - ISSN 2079-9268. - 7:2(2017), pp. 1-16. [10.3390/jlpea7020010] 1-gen-2017 RIZVI, SYED TAHIR HUSSAINCABODI, GianpieroPatti, Denis + jlpea-07-00010.pdf
Deep Classifiers-Based License Plate Detection, Localization and Recognition on GPU-Powered Mobile Platform / Rizvi, Syed; Patti, Denis; Bjorklund, TOMAS PER ROLF; Cabodi, Gianpiero; Francini, Gianluca. - In: FUTURE INTERNET. - ISSN 1999-5903. - ELETTRONICO. - 9:4(2017), p. 66. [10.3390/fi9040066] 1-gen-2017 Patti, DenisBJORKLUND, TOMAS PER ROLFCABODI, Gianpiero + futureinternet-09-00066.pdf
Efficient Complex High-Precision Computations on GPUs without Precision Loss / Cabodi, Gianpiero; Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano; Francini, G.. - In: JOURNAL OF CIRCUITS, SYSTEMS, AND COMPUTERS. - ISSN 0218-1266. - ELETTRONICO. - 26:12(2017), pp. 1-38. [10.1142/S0218126617501870] 1-gen-2017 CABODI, GianpieroGARBO, ALESSANDROLOIACONO, CARMELOQUER, Stefano + -
Embedded Systems Secure Path Verification at the HW/SW Interface / Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Savarese, Francesco; Vendraminetto, Danilo. - In: IEEE DESIGN & TEST. - ISSN 2168-2356. - STAMPA. - 34:5(2017), pp. 38-46. [10.1109/MDAT.2017.2713393] 1-gen-2017 CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO 07944703.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 -
Optimized Deep Neural Networks for Real-Time Object Classification on Embedded GPUs / Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Francini, Gianluca. - In: APPLIED SCIENCES. - ISSN 2076-3417. - ELETTRONICO. - 7:8(2017), pp. 826-844. [10.3390/app7080826] 1-gen-2017 RIZVI, SYED TAHIR HUSSAINCABODI, Gianpiero + applsci-07-00826.pdf