Archivio Istituzionale della RicercaPASINI, PAOLO
PASINI, PAOLO
Dipartimento di Elettronica e Telecomunicazioni
030948
Mostra
records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.133 secondi).
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification
2024 Cabodi, Gianpiero; Camurati, Paolo E.; Marques-Silva, Joao; Palena, Marco; Pasini, Paolo
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking
2022 Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.
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
Logic Synthesis for Interpolant Circuit Compaction
2019 Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.
Reducing interpolant circuit size through SAT-based weakening
2019 Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.
Test of Reconfigurable Modules in Scan Networks
2018 Cantoro, Riccardo; Ghani Zadegan, Farrokh; Palena, Marco; Pasini, Paolo; Larsson, Erik; Sonza Reorda, Matteo
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
SAT solver management strategies in IC3: an experimental approach
2017 Palena, Marco; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo Enrico; Mishchenko, Alan
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.
QEbu: an advanced graphical editor for the EBU Core metadata set
2013 Pasini, Paolo; Patti, Denis; Levra, Mauro; Pessiva, Giovanni; Ricossa, Stefano
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification / Cabodi, Gianpiero; Camurati, Paolo E.; Marques-Silva, Joao; Palena, Marco; Pasini, Paolo. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - ELETTRONICO. - (2024). [10.1109/tcad.2024.3387876] | 1-gen-2024 | Cabodi, GianpieroCamurati, Paolo E.Palena, MarcoPasini, Paolo + | - |
| 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 |
| 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 |
| 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 |
| 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. | - |
| Test of Reconfigurable Modules in Scan Networks / Cantoro, Riccardo; Ghani Zadegan, Farrokh; Palena, Marco; Pasini, Paolo; Larsson, Erik; Sonza Reorda, Matteo. - In: IEEE TRANSACTIONS ON COMPUTERS. - ISSN 0018-9340. - STAMPA. - (2018), pp. 1-1. [10.1109/TC.2018.2834915] | 1-gen-2018 | Cantoro, RiccardoPalena, MarcoPasini, PaoloSonza Reorda, Matteo + | 08357895.pdf; 08357895.pdf |
| 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 |
| 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 |
| 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 + | - |
| QEbu: an advanced graphical editor for the EBU Core metadata set / Pasini, Paolo; Patti, Denis; Levra, Mauro; Pessiva, Giovanni; Ricossa, Stefano. - In: EBU TECHNICAL REVIEW. - ISSN 1609-1469. - ELETTRONICO. - Q2 2013:(2013), pp. 1-13. | 1-gen-2013 | PASINI, PAOLOPATTI, DENIS + | - |