Danilo Vendraminetto

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 8

Top Topics

Logic Synthesis

Transition Systems

Formal Specification

Asynchronous Circuits

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto
Reducing Interpolant Circuit Size Through SAT-Based Weakening. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (7) (2020)
Gianpiero Cabodi, Paolo Camurati, Fabrizio F. Finocchiaro, Danilo Vendraminetto
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification. C2SI (2019)
Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto
Logic Synthesis for Interpolant Circuit Compaction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (2) (2019)
Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto
Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper). SEFM (2017)
Gianpiero Cabodi, Paolo Camurati, Sebastiano F. Finocchiaro, Francesco Savarese, Danilo Vendraminetto
Embedded Systems Secure Path Verification at the Hardware/Software Interface. IEEE Des. Test 34 (5) (2017)
Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto
Reducing interpolant circuit size by ad-hoc logic synthesis and SAT-based weakening. FMCAD (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)
Gianpiero Cabodi, Paolo Pasini, Stefano Quer, Danilo Vendraminetto
. DATE (2014)
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)