VENDRAMINETTO, DANILO

VENDRAMINETTO, DANILO  

027462  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.013 secondi).
Citazione Data di pubblicazione Autori File
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills / Cabodi, G; Camurati, P; Pasini, P; Patti, D; Vendraminetto, D. - In: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION. - ISSN 0949-149X. - 36:5(2020), pp. 1505-1528. 1-gen-2020 Cabodi, GCamurati, PPasini, PPatti, DVendraminetto, D ijee2020_SchemaBased.pdf
Logic Synthesis for Interpolant Circuit Compaction / Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - STAMPA. - 38:2(2019), pp. 380-384. [10.1109/TCAD.2018.2808229] 1-gen-2019 Cabodi, G.Camurati, P. E.Palena, M.Pasini, P.Vendraminetto, D. 08299440.pdf
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification / Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo. - In: ELECTRONICS. - ISSN 2079-9292. - 8:9(2019). [10.3390/electronics8091057] 1-gen-2019 Cabodi, GianpieroCamurati, PaoloFinocchiaro, FabrizioVendraminetto, Danilo electronics-08-01057.pdf
Reducing interpolant circuit size through SAT-based weakening / Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - ELETTRONICO. - (2019). [10.1109/TCAD.2019.2915317] 1-gen-2019 Cabodi, G.Camurati, P. E.Palena, M.Pasini, P.Vendraminetto, D. -
Embedded Systems Secure Path Verification at the HW/SW Interface / Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Savarese, Francesco; Vendraminetto, Danilo. - In: IEEE DESIGN & TEST. - ISSN 2168-2356. - STAMPA. - 34:5(2017), pp. 38-46. [10.1109/MDAT.2017.2713393] 1-gen-2017 CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO 07944703.pdf
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks / Cabodi, Gianpiero; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Quer, Stefano; Patti, Denis; Vendraminetto, Danilo; Biere, A.; Helianko, K.. - In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. - ISSN 1574-0617. - ELETTRONICO. - 9:(2016), pp. 135-172. 1-gen-2016 CABODI, GianpieroLOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOQUER, StefanoPATTI, DENISVENDRAMINETTO, DANILO + -
Formal Verification of Embedded Systems for Remote Attestation / Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Pipitone, Giovanni; Savarese, Francesco; Vendraminetto, Danilo. - In: WSEAS TRANSACTIONS ON COMPUTERS. - ISSN 1109-2750. - ELETTRONICO. - 14:(2015), pp. 760-769. 1-gen-2015 CABODI, GianpieroCAMURATI, Paolo EnricoLOIACONO, CARMELOPIPITONE, GIOVANNISAVARESE, FRANCESCOVENDRAMINETTO, DANILO -
Optimization techniques for craig interpolant compaction in unbounded model checking / Cabodi, Gianpiero; Loiacono, Carmelo; Vendraminetto, Danilo. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 1572-8102. - STAMPA. - 46:(2015), pp. 135-162. [10.1007/s10703-015-0229-0] 1-gen-2015 CABODI, GianpieroLOIACONO, CARMELOVENDRAMINETTO, DANILO Cabodi2015_Article_OptimizationTechniquesForCraig.pdf