Denis Patti

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 2

Top Topics

License Plate Detection

Finite State Machines

Verification Method

Top Venues

J. Satisf. Boolean Model. Comput.

Int. J. Softw. Tools Technol. Transf.

Future Internet

Publications

Gianpiero Cabodi, Paolo Camurati, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer
To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking. Int. J. Softw. Tools Technol. Transf. 20 (3) (2018)
Syed Tahir Hussain Rizvi, Denis Patti, Tomas Björklund, Gianpiero Cabodi, Gianluca Francini
Deep Classifiers-Based License Plate Detection, Localization and Recognition on GPU-Powered Mobile Platform. Future Internet 9 (4) (2017)
Gianpiero Cabodi, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Danilo Vendraminetto, Armin Biere, Keijo Heljanko
Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, S. Ricossa, Danilo Vendraminetto, J. Baumgartner
Fast cone-of-influence computation and estimation in problems with multiple properties. DATE (2013)