Danilo Vendraminetto

According to our database, Danilo Vendraminetto authored at least 12 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Reducing Interpolant Circuit Size Through SAT-Based Weakening.

Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto

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

2019

Logic Synthesis for Interpolant Circuit Compaction.

Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto

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

Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification.

Gianpiero Cabodi, Paolo Camurati, Fabrizio F. Finocchiaro, Danilo Vendraminetto

Proceedings of the Codes, Cryptology and Information Security, 2019

2017

Embedded Systems Secure Path Verification at the Hardware/Software Interface.

Gianpiero Cabodi, Paolo Camurati, Sebastiano F. Finocchiaro, Francesco Savarese, Danilo Vendraminetto

IEEE Des. Test, 2017

Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper).

Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Advanced Techniques for Bit-Level Model Checking.

Danilo Vendraminetto

PhD thesis, 2016

Secure Path Verification.

Gianpiero Cabodi, Paolo Camurati, Sebastiano F. Finocchiaro, Carmelo Loiacono, Francesco Savarese, Danilo Vendraminetto

Proceedings of the 1st IEEE International Verification and Security Workshop, 2016

Reducing interpolant circuit size by ad-hoc logic synthesis and SAT-based weakening.

Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2014

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

Gianpiero Cabodi, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Danilo Vendraminetto, Armin Biere, Keijo Heljanko

J. Satisf. Boolean Model. Comput., 2014

Tightening BDD-based approximate reachability with SAT-based clause generalization^∗.

Gianpiero Cabodi, Paolo Pasini, Stefano Quer, Danilo Vendraminetto

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Fast cone-of-influence computation and estimation in problems with multiple properties.

Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Stefano Ricossa, Danilo Vendraminetto, Jason Baumgartner

Proceedings of the Design, Automation and Test in Europe, 2013

Optimization techniques for craig interpolant compaction in unbounded model checking.

Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto

Proceedings of the Design, Automation and Test in Europe, 2013