Carmelo Loiacono

According to our database, Carmelo Loiacono authored at least 10 papers between 2013 and 2018.

Collaborative distances:

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

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

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

2016

Algorithm Optimization and Applications for Embedded Systems.

Carmelo Loiacono

PhD thesis, 2016

Street Viewer: An Autonomous Vision Based Traffic Tracking System.

Andrea Bottino, Alessandro Garbo, Carmelo Loiacono, Stefano Quer

Sensors, 2016

Secure Path Verification.

Gianpiero Cabodi, Paolo Camurati, Sebastiano F. Finocchiaro, Carmelo Loiacono, Francesco Savarese, Danilo Vendraminetto

Proceedings of the 1st IEEE International Verification and Security Workshop, 2016

Scalable FPGA graph model to detect routing faults.

Luca Sterpone, Gianpiero Cabodi, Sebastiano F. Finocchiaro, Carmelo Loiacono, Francesco Savarese, Boyang Du

Proceedings of the 22nd IEEE International Symposium on On-Line Testing and Robust System Design, 2016

2015

Optimization techniques for craig interpolant compaction in unbounded model checking.

Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto

Formal Methods Syst. Des., 2015

CDVS feature selection on embedded systems.

Alessandro Garbo, Carmelo Loiacono, Stefano Quer, Massimo Balestri, Gianluca Francini

Proceedings of the 2015 IEEE International Conference on Multimedia & Expo Workshops, 2015

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