Marco Palena

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 · 22 citations · Full text

Hardware Modeling, Engineering, Hardware Verification Language +19

Test of Reconfigurable Modules in Scan Networks

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

Engineering, Verification, Computer Architecture +17

Test Time Minimization in Reconfigurable Scan Networks

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

Engineering, Computer Architecture, Network Analysis +18

Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification

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

Artificial Intelligence, Engineering, Machine Learning +16

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 · 11 citations

Multiple Properties, Engineering, Formal Modeling +13