Archivio Istituzionale della RicercaPASINI, PAOLO
PASINI, PAOLO
Dipartimento di Elettronica e Telecomunicazioni
030948
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
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
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
Test Time Minimization in Reconfigurable Scan Networks
2016 Cantoro, Riccardo; Palena, Marco; Pasini, Paolo; SONZA REORDA, Matteo
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
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
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.
| 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 |
| 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 | - |
| 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 |
| Test Time Minimization in Reconfigurable Scan Networks / Cantoro, R., Palena, M., Pasini, P., SONZA REORDA, M.. - STAMPA. - (2016). (2016 IEEE 25th Asian Test Symposium (ATS) Hiroshima (JP) November 21-24, 2016) [10.1109/ATS.2016.58]. | 1-gen-2016 | CANTORO, RICCARDOPALENA, MARCOPASINI, PAOLOSONZA REORDA, Matteo | PID4437261_pdfexpress.pdf; PUBLISHED_07796093.pdf |
| 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 | - |
| To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties / Camurati, P.E., Loiacono, C., Pasini, P., Patti, D., Quer, S.. - ELETTRONICO. - (2014). (International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2014) Lausanne, Switzerland October 20, 2014). | 1-gen-2014 | CAMURATI, Paolo EnricoLOIACONO, CARMELOPASINI, PAOLOPATTI, DENISQUER, Stefano | - |
| Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties / Loiacono, C., Palena, M., Pasini, P., Patti, D., Quer, S., Vendraminetto, D., Baumgartner, J.. - STAMPA. - (2013), pp. 803-806. (Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE) Grenoble, France March 2013) [10.7873/DATE.2013.170]. | 1-gen-2013 | LOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOPATTI, DENISQUER, StefanoVENDRAMINETTO, DANILO + | - |