PAOLO ENRICO CAMURATI

Download the vcard Photo

Full Professor

+39 0110907062 / 7062 (DAUIN)

Most recent publications

Fadda, Edoardo; Manerba, Daniele; Cabodi, Gianpiero; Camurati, Paolo; Tadei, Roberto (2021)
Comparative analysis of models and performance indicators for optimal service facility location. In: TRANSPORTATION RESEARCH PART E-LOGISTICS AND TRANSPORTATION REVIEW, vol. 145. ISSN 1366-5545 Download fulltext
Cabodi, Gianpiero; Camurati, Paolo; Palena, Marco; Pasini, Paolo (2021)
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification. In: Design Automation and Test in Europe (DATE), 01/02/2021, pp. 1122-1125
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
Fadda, Edoardo; Manerba, Daniele; Cabodi, Gianpiero; Camurati, Paolo Enrico; Tadei, ... (2020)
Evaluation of optimal charging station location for electric vehicles: an Italian case-study. In: Recent Advances in Computational Optimization / S.N., S.L., Springer. ISBN: 978-3-319-00410-5
Fadda, Edoardo; Manerba, Daniele; Tadei, Roberto; Camurati, Paolo Enrico; Cabodi, ... (2019)
KPIs for Optimal Location of charging stations for Electric Vehicles: the Biella case-study. In: 12th International Workshop on Computational Optimization, Leipzig, Germany, September 1-4, pp. 123-126 Download fulltext
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, Gianpiero; Camurati, Paolo; Garbo, Alessandro; Giorelli, Michele; Quer, Stefano; ... (2019)
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars. In: ELECTRONICS, vol. 8. ISSN 2079-9292 Download fulltext
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
Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Palena, Marco; Pasini, ... (2018)
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking. In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 20, pp. 313-325. ISSN 1433-2779
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
Camurati, Paolo; Quer, Stefano (2017)
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti. Torino, Libreria Editrice Universitaria CLUT, P. 305. ISBN: 978-88-7992-420-7
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
PALENA, MARCO; PASINI, PAOLO; CABODI, Gianpiero; CAMURATI, Paolo Enrico; Mishchenko, Alan (2017)
SAT solver management strategies in IC3: an experimental approach. In: FORMAL METHODS IN SYSTEM DESIGN, vol. 50, pp. 39-74. ISSN 0925-9856
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
Cabodi G.; Camurati P.; Lavagno L.; Quer S. (1996)
Verification and Synthesis of Counters based on Symbolic Techniques. In: 4th International Workshop on Symbolic Methods and Applications to Circuit Design (SMACD 1996), Leuven Belgium, October, 1996
Show all publications in Porto@Iris