CABODI, Gianpiero
CABODI, Gianpiero
Dipartimento di Automatica e Informatica
001764
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking
2022 Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.
Comparative analysis of models and performance indicators for optimal service facility location
2021 Fadda, Edoardo; Manerba, Daniele; Cabodi, Gianpiero; Camurati, Paolo; Tadei, Roberto
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills
2020 Cabodi, G; Camurati, P; Pasini, P; Patti, D; Vendraminetto, D
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars
2019 Cabodi, Gianpiero; Camurati, Paolo; Garbo, Alessandro; Giorelli, Michele; Quer, Stefano; Savarese, Francesco
Logic Synthesis for Interpolant Circuit Compaction
2019 Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.
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
Reducing interpolant circuit size through SAT-based weakening
2019 Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking
2018 Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano
A General-Purpose Graphics Processing Unit (GPGPU)-Accelerated Robotic Controller Using a Low Power Mobile Platform
2017 Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Gulzar, Muhammad
Deep Classifiers-Based License Plate Detection, Localization and Recognition on GPU-Powered Mobile Platform
2017 Rizvi, Syed; Patti, Denis; Bjorklund, TOMAS PER ROLF; Cabodi, Gianpiero; Francini, Gianluca
Efficient Complex High-Precision Computations on GPUs without Precision Loss
2017 Cabodi, Gianpiero; Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano; Francini, G.
Embedded Systems Secure Path Verification at the HW/SW Interface
2017 Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Savarese, Francesco; Vendraminetto, Danilo
Optimized Deep Neural Networks for Real-Time Object Classification on Embedded GPUs
2017 Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Francini, Gianluca
SAT solver management strategies in IC3: an experimental approach
2017 Palena, Marco; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo Enrico; Mishchenko, Alan
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
GPGPU Accelerated Deep Object Classification on a Heterogeneous Mobile Platform
2016 Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Francini, Gianluca
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks
2016 Cabodi, Gianpiero; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Quer, Stefano; Patti, Denis; Vendraminetto, Danilo; Biere, A.; Helianko, K.
Formal Verification of Embedded Systems for Remote Attestation
2015 Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Pipitone, Giovanni; Savarese, Francesco; Vendraminetto, Danilo
Optimization techniques for craig interpolant compaction in unbounded model checking
2015 Cabodi, Gianpiero; Loiacono, Carmelo; Vendraminetto, Danilo
Thread-based multi-engine model checking for multicore platforms
2013 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
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.pdf; 10703_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 |
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 |
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. - 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. | - |
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 |
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 |
SAT solver management strategies in IC3: an experimental approach / Palena, Marco; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo Enrico; Mishchenko, Alan. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - STAMPA. - 50:1(2017), pp. 39-74. [10.1007/s10703-017-0272-0] | 1-gen-2017 | PALENA, MARCOPASINI, PAOLOCABODI, GianpieroCAMURATI, Paolo Enrico + | Cabodi2017_Article_SATSolverManagementStrategiesI.pdf |
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - ELETTRONICO. - 46:4(2016), pp. 493-511. [10.1002/spe.2321] | 1-gen-2016 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | spe.2321.pdf |
GPGPU Accelerated Deep Object Classification on a Heterogeneous Mobile Platform / Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Francini, Gianluca. - In: ELECTRONICS. - ISSN 2079-9292. - 5:4(2016). [10.3390/electronics5040088] | 1-gen-2016 | RIZVI, SYED TAHIR HUSSAINCABODI, GianpieroPATTI, DENIS + | electronics-05-00088.pdf |
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks / Cabodi, Gianpiero; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Quer, Stefano; Patti, Denis; Vendraminetto, Danilo; Biere, A.; Helianko, K.. - In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. - ISSN 1574-0617. - ELETTRONICO. - 9:(2016), pp. 135-172. | 1-gen-2016 | CABODI, GianpieroLOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOQUER, StefanoPATTI, DENISVENDRAMINETTO, DANILO + | - |
Formal Verification of Embedded Systems for Remote Attestation / Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Pipitone, Giovanni; Savarese, Francesco; Vendraminetto, Danilo. - In: WSEAS TRANSACTIONS ON COMPUTERS. - ISSN 1109-2750. - ELETTRONICO. - 14:(2015), pp. 760-769. | 1-gen-2015 | CABODI, GianpieroCAMURATI, Paolo EnricoLOIACONO, CARMELOPIPITONE, GIOVANNISAVARESE, FRANCESCOVENDRAMINETTO, DANILO | - |
Optimization techniques for craig interpolant compaction in unbounded model checking / Cabodi, Gianpiero; Loiacono, Carmelo; Vendraminetto, Danilo. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 1572-8102. - STAMPA. - 46:(2015), pp. 135-162. [10.1007/s10703-015-0229-0] | 1-gen-2015 | CABODI, GianpieroLOIACONO, CARMELOVENDRAMINETTO, DANILO | Cabodi2015_Article_OptimizationTechniquesForCraig.pdf |
Thread-based multi-engine model checking for multicore platforms / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - ELETTRONICO. - 18:3(2013), pp. 1-28. [10.1145/2491477.2491480] | 1-gen-2013 | CABODI, GianpieroNOCCO, SERGIOQUER, Stefano | - |