C. Loiacono

Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks

Gianpiero Cabodi, C. Loiacono, Marco Palena et al. · Journal on Satisfiability Boolean Modeling and Computation · 2016 · 22 citations · Full text

Hardware Modeling, Engineering, Hardware Verification Language +19

Formal Verification of Embedded Systems for Remote Attestation

Gianpiero Cabodi, P. Camurati, C. Loiacono et al. · PORTO Publications Open Repository TOrino (Politecnico di Torino) · 2015 · 14 citations

Engineering, Information Security, Verification +20

Optimization Techniques for Craig Interpolant Compaction in Unbounded Model Checking

Gianpiero Cabodi, C. Loiacono, Danilo Vendraminetto · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 · 2013 · 13 citations

Mathematical Programming, Engineering, Inner Steps +21

Street Viewer: An Autonomous Vision Based Traffic Tracking System

A. Bottino, Alessandro Garbo, C. Loiacono et al. · Sensors · 2016 · 12 citations · Full text

Automotive Tracking, Traffic Behavior, Engineering +18

To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking

Gianpiero Cabodi, P. Camurati, C. Loiacono et al. · International Journal on Software Tools for Technology Transfer · 2017 · 11 citations

Multiple Properties, Engineering, Formal Modeling +13