Archivio Istituzionale della RicercaSfoglia per Autore
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties
2013 Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano; Vendraminetto, Danilo; Baumgartner, J.
QEbu: an advanced graphical editor for the EBU Core metadata set
2013 Pasini, Paolo; Patti, Denis; Levra, Mauro; Pessiva, Giovanni; Ricossa, Stefano
Dal problema al programma: introduzione al problem-solving in linguaggio C
2014 Cabodi, Gianpiero; Camurati, Paolo Enrico; Pasini, Paolo; Patti, Denis; Vendraminetto, Danilo
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties
2014 Camurati, Paolo Enrico; Loiacono, Carmelo; Pasini, Paolo; Patti, Denis; Quer, Stefano
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization
2014 Cabodi, Gianpiero; Pasini, Paolo; Quer, Stefano; Vendraminetto, Danilo
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking
2014 Cabodi, Gianpiero; Palena, Marco; Pasini, Paolo
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C
2015 Cabodi, Gianpiero; Camurati, Paolo Enrico; Pasini, Paolo; Patti, Denis; Vendraminetto, Danilo
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.
Dal problema al programma. Introduzione al problem-solving in linguaggio C
2016 Camurati, Paolo Enrico; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, Danilo
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
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C
2016 Camurati, Paolo Enrico; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, Danilo
Test Time Minimization in Reconfigurable Scan Networks
2016 Cantoro, Riccardo; Palena, Marco; Pasini, Paolo; SONZA REORDA, Matteo
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
Improving bit-level model checking algorithms for scalability through circuit-based reasoning
2017 Pasini, Paolo
SAT solver management strategies in IC3: an experimental approach
2017 Palena, Marco; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo Enrico; Mishchenko, Alan
Interpolation-based learning as a mean to speed-up Bounded Model Checking
2017 Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, Danilo
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
Algoritmi e programmazione in pratica. Da specifiche a codice C
2018 Pasini, Paolo; Patti, Denis; Vendraminetto, Danilo; Cabodi, Gianpiero; Camurati, Paolo Enrico
Logic Synthesis for Interpolant Circuit Compaction
2019 Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties / Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano; Vendraminetto, Danilo; Baumgartner, J.. - STAMPA. - (2013), pp. 803-806. (Intervento presentato al convegno Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE) tenutosi a Grenoble, France nel March 2013) [10.7873/DATE.2013.170]. | 1-gen-2013 | LOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOPATTI, DENISQUER, StefanoVENDRAMINETTO, 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 + | - |
| Dal problema al programma: introduzione al problem-solving in linguaggio C / Cabodi, Gianpiero; Camurati, Paolo Enrico; Pasini, Paolo; Patti, Denis; Vendraminetto, Danilo. - STAMPA. - (2014), pp. 1-229. | 1-gen-2014 | CABODI, GianpieroCAMURATI, Paolo EnricoPASINI, PAOLOPATTI, DENISVENDRAMINETTO, DANILO | - |
| To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties / Camurati, Paolo Enrico; Loiacono, Carmelo; Pasini, Paolo; Patti, Denis; Quer, Stefano. - ELETTRONICO. - (2014). (Intervento presentato al convegno International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2014) tenutosi a Lausanne, Switzerland nel October 20, 2014). | 1-gen-2014 | CAMURATI, Paolo EnricoLOIACONO, CARMELOPASINI, PAOLOPATTI, DENISQUER, Stefano | - |
| 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 | - |
| 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 | - |
| Ricorsione e problem-solving: strategie algoritmiche in linguaggio C / Cabodi, Gianpiero; Camurati, Paolo Enrico; Pasini, Paolo; Patti, Denis; Vendraminetto, Danilo. - STAMPA. - (2015), pp. 1-205. | 1-gen-2015 | CABODI, GianpieroCAMURATI, Paolo EnricoPASINI, PAOLOPATTI, DENISVENDRAMINETTO, DANILO | - |
| 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 + | - |
| Dal problema al programma. Introduzione al problem-solving in linguaggio C / Camurati, Paolo Enrico; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, Danilo. - STAMPA. - (2016). | 1-gen-2016 | CAMURATI, Paolo EnricoPASINI, PAOLOCABODI, GianpieroPATTI, DENISVENDRAMINETTO, DANILO | - |
| 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.pdf; 07886657.pdf |
| Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C / Camurati, Paolo Enrico; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, Danilo. - STAMPA. - (2016). | 1-gen-2016 | CAMURATI, Paolo EnricoPASINI, PAOLOCABODI, GianpieroPATTI, DENISVENDRAMINETTO, DANILO | - |
| Test Time Minimization in Reconfigurable Scan Networks / Cantoro, Riccardo; Palena, Marco; Pasini, Paolo; SONZA REORDA, Matteo. - STAMPA. - (2016). (Intervento presentato al convegno 2016 IEEE 25th Asian Test Symposium (ATS) tenutosi a Hiroshima (JP) nel November 21-24, 2016) [10.1109/ATS.2016.58]. | 1-gen-2016 | CANTORO, RICCARDOPALENA, MARCOPASINI, PAOLOSONZA REORDA, Matteo | PID4437261_pdfexpress.pdf; PUBLISHED_07796093.pdf |
| 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 | - |
| Improving bit-level model checking algorithms for scalability through circuit-based reasoning / Pasini, Paolo. - (2017). | 1-gen-2017 | PASINI, PAOLO | - |
| 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 |
| 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 | - |
| 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 |
| 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 | - |
| 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 |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile