Denis Patti

Deep Classifiers-Based License Plate Detection, Localization and Recognition on GPU-Powered Mobile Platform

Syed Tahir Hussain Rizvi, Denis Patti, Tomas Björklund et al. · Future Internet · 2017 · 25 citations · Full text

License Plate Recognition, Image Classification, Convolutional Neural Network +15

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

GPGPU Accelerated Deep Object Classification on a Heterogeneous Mobile Platform

Syed Tahir Hussain Rizvi, Gianpiero Cabodi, Denis Patti et al. · Electronics · 2016 · 11 citations · Full text

Convolutional Neural Network, Engineering, Machine Learning +18

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