Danilo Vendraminetto

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

Embedded Systems Secure Path Verification at the Hardware/Software Interface

Gianpiero Cabodi, P. Camurati, S.F. Finocchiaro et al. · IEEE Design and Test · 2017 · 13 citations

Engineering, Information Security, Hardware/software Interface +21

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