Paolo Pasini

According to our database, Paolo Pasini authored at least 17 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking.

Gianpiero Cabodi, Paolo E. Camurati, Marco Palena, Paolo Pasini

Formal Methods Syst. Des., April, 2022

2021

Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification.

Gianpiero Cabodi, Paolo E. Camurati, Alexey Ignatiev, João Marques-Silva, Marco Palena, Paolo Pasini

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Reducing Interpolant Circuit Size Through SAT-Based Weakening.

Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

2019

Logic Synthesis for Interpolant Circuit Compaction.

Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

2018

Test of Reconfigurable Modules in Scan Networks.

Riccardo Cantoro, Farrokh Ghani Zadegan, Marco Palena, Paolo Pasini, Erik Larsson, Matteo Sonza Reorda

IEEE Trans. Computers, 2018

To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking.

Gianpiero Cabodi, Paolo Camurati, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer

Int. J. Softw. Tools Technol. Transf., 2018

2017

Improving bit-level model checking algorithms for scalability through circuit-based reasoning.

Paolo Pasini

PhD thesis, 2017

SAT solver management strategies in IC3: an experimental approach.

Gianpiero Cabodi, Paolo Camurati, Alan Mishchenko, Marco Palena, Paolo Pasini

Formal Methods Syst. Des., 2017

Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper).

Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

A Greedy Approach to Answer Reachability Queries on DAGs.

Nicolas Boria, Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Stefano Quer

CoRR, 2016

Reducing interpolant circuit size by ad-hoc logic synthesis and SAT-based weakening.

Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

A 7/2-Approximation Algorithm for the Maximum Duo-Preservation String Mapping Problem.

Nicolas Boria, Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Stefano Quer

Proceedings of the 27th Annual Symposium on Combinatorial Pattern Matching, 2016

Test Time Minimization in Reconfigurable Scan Networks.

Riccardo Cantoro, Marco Palena, Paolo Pasini, Matteo Sonza Reorda

Proceedings of the 25th IEEE Asian Test Symposium, 2016

2014

Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks.

Gianpiero Cabodi, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Danilo Vendraminetto, Armin Biere, Keijo Heljanko

J. Satisf. Boolean Model. Comput., 2014

Interpolation with Guided Refinement: Revisiting incrementality in SAT-based unbounded model checking.

Gianpiero Cabodi, Marco Palena, Paolo Pasini

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Tightening BDD-based approximate reachability with SAT-based clause generalization^∗.

Gianpiero Cabodi, Paolo Pasini, Stefano Quer, Danilo Vendraminetto

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Fast cone-of-influence computation and estimation in problems with multiple properties.

Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Stefano Ricossa, Danilo Vendraminetto, Jason Baumgartner

Proceedings of the Design, Automation and Test in Europe, 2013