Danilo Vendraminetto

13 papers A 3B 2Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2020 J jnl
Reducing Interpolant Circuit Size Through SAT-Based Weakening.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto
2019 J jnl
Logic Synthesis for Interpolant Circuit Compaction.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto
2019 — conf
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification.
C2SI
Gianpiero Cabodi, Paolo Camurati, Fabrizio F. Finocchiaro, Danilo Vendraminetto
2017 J jnl
Embedded Systems Secure Path Verification at the Hardware/Software Interface.
IEEE Des. Test
Gianpiero Cabodi, Paolo Camurati, Sebastiano F. Finocchiaro, Francesco Savarese, Danilo Vendraminetto
2017 B conf
Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper).
SEFM
Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto
2016 — —
Advanced Techniques for Bit-Level Model Checking.
Danilo Vendraminetto
2016 B conf
Reducing interpolant circuit size by ad-hoc logic synthesis and SAT-based weakening.
FMCAD
Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto
2016 — conf
Secure Path Verification.
IVSW
Gianpiero Cabodi, Paolo Camurati, Sebastiano F. Finocchiaro, Carmelo Loiacono, Francesco Savarese, Danilo Vendraminetto
2015 J jnl
Optimization techniques for craig interpolant compaction in unbounded model checking.
Formal Methods Syst. Des.
Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto
2014 J jnl
Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks.
J. Satisf. Boolean Model. Comput.
Gianpiero Cabodi, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Danilo Vendraminetto, Armin Biere, Keijo Heljanko
2014 A conf
Tightening BDD-based approximate reachability with SAT-based clause generalization
DATE
Gianpiero Cabodi, Paolo Pasini, Stefano Quer, Danilo Vendraminetto
2013 A conf
Fast cone-of-influence computation and estimation in problems with multiple properties.
DATE
Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Stefano Ricossa, Danilo Vendraminetto, Jason Baumgartner
2013 A conf
Optimization techniques for craig interpolant compaction in unbounded model checking.
DATE
Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto