Paolo Pasini

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

Gianpiero Cabodi, C. Loiacono, Marco Palena et al. · Journal on Satisfiability Boolean Modeling and Computation · 2016 · 24 citations · Full text

Computing, Computer Engineering, Computer Science +11

Test of Reconfigurable Modules in Scan Networks

Riccardo Cantoro, Farrokh Ghani Zadegan, Marco Palena et al. · IEEE Transactions on Computers · 2018 · 15 citations

Engineering, Computer Engineering, Electrical Engineering +14

Test Time Minimization in Reconfigurable Scan Networks

Riccardo Cantoro, Marco Palena, Paolo Pasini et al. · 2016 · 12 citations · Full text

Engineering, Computer Engineering, Electrical Engineering +17

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

Gianpiero Cabodi, P. Camurati, C. Loiacono et al. · International Journal on Software Tools for Technology Transfer · 2017 · 12 citations

Computing, Computer Science, Formal Methods +13

Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification

Gianpiero Cabodi, P. Camurati, Alexey Ignatiev et al. · 2021 · 12 citations

Computing, Computer Engineering, Computer Science +12