DANILO VENDRAMINETTO

Scarica il contatto come vcard Foto

Collaboratore Esterno - Borsa di studio per attività di ricerca non tassata
Docente a contratto e/o collaboratore didattico

Pubblicazioni più recenti

Cabodi, G; Camurati, P; Pasini, P; Patti, D; Vendraminetto, D (2020)
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills. In: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, vol. 36, pp. 1505-1528. ISSN 0949-149X
Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo (2019)
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification. In: ELECTRONICS, vol. 8. ISSN 2079-9292 Download fulltext
Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D. (2019)
Reducing interpolant circuit size through SAT-based weakening. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. ISSN 0278-0070
Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo (2019)
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification. In: Codes, Cryptology and Information Security, Rabat, Morocco, April 22-24, 2019, pp. 462-479. ISBN: 978-3-030-16457-7
Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D. (2019)
Logic Synthesis for Interpolant Circuit Compaction. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 38, pp. 380-384. ISSN 0278-0070
PASINI, PAOLO; PATTI, DENIS; VENDRAMINETTO, DANILO; CABODI, Gianpiero; CAMURATI, Paolo ... (2018)
Algoritmi e programmazione in pratica. Da specifiche a codice C. S.L., Maggioli spa, P. 280. ISBN: 9788891629890
Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, ... (2017)
Interpolation-based learning as a mean to speed-up Bounded Model Checking. In: 15th International Conference on Software Engineering and Formal Methods, Trento (Italy), September 4-8, 2017
CABODI, Gianpiero; CAMURATI, Paolo Enrico; FINOCCHIARO, SEBASTIANO FABRIZIO; SAVARESE, ... (2017)
Embedded Systems Secure Path Verification at the HW/SW Interface. In: IEEE DESIGN & TEST, vol. 34, pp. 38-46. ISSN 2168-2356
Camurati, Paolo; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, Danilo (2016)
Dal problema al programma. Introduzione al problem-solving in linguaggio C. S.L., Maggioli Editore, P. 246. ISBN: 978-8891616661
Camurati, Paolo Enrico; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, ... (2016)
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C. S.L., Maggioli Editore, P. 241. ISBN: 978-8891619013
Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, ... (2016)
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening. In: Formal Methods in Computer-Aided Design, Mountain View, California, USA, October 3 - 6, 2016, pp. 25-32. ISBN: 978-0-9835678-6-8 Download fulltext
Vendraminetto, Danilo (2016)
Advanced Techniques for Bit-Level Model Checking. relatore: Cabodi G., 27. XXVII Ciclo, P.: 187
Cabodi, G.; Camurati, P.; Finocchiaro, S.F.; Loiacono, C.; Savarese, F.; Vendraminetto, ... (2016)
Secure Path Verification. In: IEEE International Verification and Security Workshop. ISBN: 978-1-5090-1141-4
Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Sebastiano Fabrizio; Loiacono, Carmelo; ... (2016)
Secure Embedded Architectures: Taint Properties Verification. In: International Conference on Development and Application Systems. ISBN: 978-1-5090-1993-9
Cabodi, G.; Loiacono, C.; Palena, M.; Pasini, P.; Quer, S.; Patti, D.; Vendraminetto, ... (2016)
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks. In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION, vol. 9, pp. 135-172. ISSN 1574-0617
Gianpiero Cabodi; Paolo Camurati; Carmelo Loiacono; Giovanni Pipitone; Francesco ... (2015)
Formal Verification of Embedded Systems for Remote Attestation. In: WSEAS TRANSACTIONS ON COMPUTERS, vol. 14, pp. 760-769. ISSN 1109-2750
CABODI, Gianpiero; LOIACONO, CARMELO; VENDRAMINETTO, DANILO (2015)
Optimization techniques for craig interpolant compaction in unbounded model checking. In: FORMAL METHODS IN SYSTEM DESIGN, vol. 46, pp. 135-162. ISSN 1572-8102
Gianpiero, Cabodi; Paolo, Enrico Camurati; Paolo, Pasini; Denis, Patti; Danilo, ... (2015)
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C. Santarcangelo di Romagna, Maggioli Editore, P. 205. ISBN: 978-88-916-1292-2
Cabodi, Gianpiero; Camurati, Paolo Enrico; Pasini, Paolo; Patti, Denis; Vendraminetto, ... (2014)
Dal problema al programma: introduzione al problem-solving in linguaggio C. Santarcangelo di Romagna, Maggioli Editore, P. 229. ISBN: 978-88-916-0782-9
Gianpiero Cabodi; Paolo Pasini; Stefano Quer; Danilo Vendraminetto (2014)
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization. In: Design Automation and Test in Europe (DATE), Dresden, Germany, March 2014, pp. 1-6
Vedi tutte le pubblicazioni su Porto@Iris