Denis Patti

According to our database, Denis Patti authored at least 5 papers between 2013 and 2018.

Collaborative distances:

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

2018

Visual Analysis Algorithms for Embedded Systems.

Denis Patti

PhD thesis, 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

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

Syed Tahir Hussain Rizvi, Denis Patti, Tomas Björklund, Gianpiero Cabodi, Gianluca Francini

Future Internet, 2017

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

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