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)

CDVS feature selection on embedded systems. - Alessandro Garbo; Carmelo Loiacono; Stefano Quer; Massimo Balestri; Gianluca Francini (ICME Workshops, 2015)

Optimization techniques for craig interpolant compaction in unbounded model checking. - Gianpiero Cabodi; Carmelo Loiacono; Danilo Vendraminetto (Formal Methods Syst. Des., 2015)

Scalable FPGA graph model to detect routing faults. - Luca Sterpone; Gianpiero Cabodi; Sebastiano F. Finocchiaro; Carmelo Loiacono; Francesco Savarese; Boyang Du (IOLTS, 2016)

Secure Path Verification. - Gianpiero Cabodi; Paolo Camurati; Sebastiano F. Finocchiaro; Carmelo Loiacono; Francesco Savarese; Danilo Vendraminetto (IVSW, 2016)

Street Viewer: An Autonomous Vision Based Traffic Tracking System. - Andrea Bottino; Alessandro Garbo; Carmelo Loiacono; Stefano Quer (Sensors, 2016)

Algorithm Optimization and Applications for Embedded Systems. - Carmelo Loiacono (2016)

Efficient Complex High-Precision Computations on GPUs without Precision Loss. - Gianpiero Cabodi; Alessandro Garbo; Carmelo Loiacono; Stefano Quer; Gianluca Francini (J. Circuits Syst. Comput., 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)