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 (DATE, 2013)

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)

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)

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)

Visual Analysis Algorithms for Embedded Systems. - Denis Patti (2018)