Carmelo Loiacono

Publication Activity (10 Years)

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

Top Topics

Formal Specification

Temporal Properties

Top Venues

J. Satisf. Boolean Model. Comput.

Int. J. Softw. Tools Technol. Transf.

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)
Gianpiero Cabodi, Alessandro Garbo, Carmelo Loiacono, Stefano Quer, Gianluca Francini
Efficient Complex High-Precision Computations on GPUs without Precision Loss. J. Circuits Syst. Comput. 26 (12) (2017)
Luca Sterpone, Gianpiero Cabodi, Sebastiano F. Finocchiaro, Carmelo Loiacono, Francesco Savarese, Boyang Du
Scalable FPGA graph model to detect routing faults. IOLTS (2016)
Andrea Bottino, Alessandro Garbo, Carmelo Loiacono, Stefano Quer
Street Viewer: An Autonomous Vision Based Traffic Tracking System. Sensors 16 (6) (2016)
Gianpiero Cabodi, Paolo Camurati, Sebastiano F. Finocchiaro, Carmelo Loiacono, Francesco Savarese, Danilo Vendraminetto
Secure Path Verification. IVSW (2016)
Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto
Optimization techniques for craig interpolant compaction in unbounded model checking. Formal Methods Syst. Des. 46 (2) (2015)
Alessandro Garbo, Carmelo Loiacono, Stefano Quer, Massimo Balestri, Gianluca Francini
CDVS feature selection on embedded systems. ICME Workshops (2015)
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)
Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto
Optimization techniques for craig interpolant compaction in unbounded model checking. DATE (2013)