CAMURATI, Paolo Enrico

CAMURATI, Paolo Enrico  

Dipartimento di Automatica e Informatica  

001895  

Mostra records
Risultati 1 - 20 di 71 (tempo di esecuzione: 0.056 secondi).
Citazione Data di pubblicazione Autori File
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification / Cabodi, Gianpiero; Camurati, Paolo; Palena, Marco; Pasini, Paolo. - STAMPA. - (2021), pp. 1122-1125. (Intervento presentato al convegno Design Automation and Test in Europe (DATE) nel 01-05 February 2021) [10.23919/DATE51398.2021.9474083]. 1-gen-2021 Cabodi,GianpieroCamurati,PaoloPalena,MarcoPasini,Paolo Optimizing_Binary_Decision_Diagrams_for_Interpretable_Machine_Learning_Classification.pdfOptimizing_Binary_Decision_Diagrams_for_Interpretable_Machine_Learning_Classification.pdf
KPIs for Optimal Location of charging stations for Electric Vehicles: the Biella case-study / Fadda, Edoardo; Manerba, Daniele; Tadei, Roberto; Camurati, Paolo Enrico; Cabodi, Gianpiero. - ELETTRONICO. - 18:(2019), pp. 123-126. (Intervento presentato al convegno 12th International Workshop on Computational Optimization tenutosi a Leipzig, Germany nel September 1-4) [10.15439/2019F171]. 1-gen-2019 Edoardo FaddaDaniele ManerbaRoberto TadeiPaolo CamuratiGianpiero Cabodi KPIs for Optimal Location.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. - STAMPA. - 11445:(2019), pp. 462-479. (Intervento presentato al convegno Codes, Cryptology and Information Security tenutosi a Rabat, Morocco nel April 22-24, 2019) [10.1007/978-3-030-16458-4_27]. 1-gen-2019 Cabodi, GianpieroCamurati, PaoloFinocchiaro, FabrizioVendraminetto, Danilo c2si19.pdf978-3-030-16458-4_27.pdf
Interpolation-based learning as a mean to speed-up Bounded Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, Danilo. - ELETTRONICO. - (2017). (Intervento presentato al convegno 15th International Conference on Software Engineering and Formal Methods tenutosi a Trento (Italy) nel September 4-8, 2017). 1-gen-2017 CABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOVENDRAMINETTO, DANILO -
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem / Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Quer, Stefano. - ELETTRONICO. - (2016). (Intervento presentato al convegno 27th Annual Symposium on Combinatorial Pattern Matching tenutosi a Tel Aviv, Israel nel June 27 - 29, 2016). 1-gen-2016 BORIA, NICOLASCABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOQUER, Stefano -
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening / Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, Danilo. - ELETTRONICO. - (2016), pp. 25-32. (Intervento presentato al convegno Formal Methods in Computer-Aided Design tenutosi a Mountain View, California, USA nel October 3 - 6, 2016) [10.1109/FMCAD.2016.7886657]. 1-gen-2016 CABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOVENDRAMINETTO, DANILO fmcad2016A4.pdf07886657.pdf
Secure Embedded Architectures: Taint Properties Verification / Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo. - ELETTRONICO. - (2016). (Intervento presentato al convegno International Conference on Development and Application Systems) [10.1109/DAAS.2016.7492565]. 1-gen-2016 CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO -
Secure Path Verification / Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo. - ELETTRONICO. - (2016). (Intervento presentato al convegno IEEE International Verification and Security Workshop) [10.1109/IVSW.2016.7566608]. 1-gen-2016 CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO -
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties / Camurati, Paolo Enrico; Loiacono, Carmelo; Pasini, Paolo; Patti, Denis; Quer, Stefano. - ELETTRONICO. - (2014). (Intervento presentato al convegno International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2014) tenutosi a Lausanne, Switzerland nel October 20, 2014). 1-gen-2014 CAMURATI, Paolo EnricoLOIACONO, CARMELOPASINI, PAOLOPATTI, DENISQUER, Stefano -
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints / Cabodi, Gianpiero; Camurati, Paolo Enrico; L., Garcia; Murciano, Marco; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2009), pp. 1686-1691. (Intervento presentato al convegno DATE'09: ACM/IEEE Design Automation and Test in Europe tenutosi a Nice, France nel April 20,24). 1-gen-2009 CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCONOCCO, SERGIOQUER, Stefano + -
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco. - STAMPA. - (2008), pp. 129-136. (Intervento presentato al convegno ICCAD'08: IEEE/ACM International Conference on Computer Aided Design tenutosi a San Jose nel 10-13 nov 2008). 1-gen-2008 CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCO -
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2008), pp. 205-212. (Intervento presentato al convegno FMCAD 2008: Formal Methods in Computer Aided Design tenutosi a Portland, OR, USA nel 17-20 novembre 2008). 1-gen-2008 CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCOGARCIA GALEANO, LUZ AMANDANOCCO, SERGIOQUER, Stefano -
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano; Nocco, Sergio. - (2003), pp. 898-903. (Intervento presentato al convegno DATE '03, ACM/IEEE Design Automation and Test in Europe tenutosi a Munich (DEU) nel marzo 2003). 1-gen-2003 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, StefanoNOCCO, SERGIO -
Can BDDs compete with SAT solvers on Bounded Model Checking? / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (2002), pp. 117-122. (Intervento presentato al convegno DAC'39: 39th ACM/IEEE Design Automation Conference tenutosi a New Orleans (USA) nel June 2002). 1-gen-2002 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Dynamic Scheduling and Clustering in Symbolic Image Computation / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (2002), pp. 150-156. (Intervento presentato al convegno DATE'02: IEEE Design Automation and Test in Europe tenutosi a Paris (F) nel March 2002). 1-gen-2002 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Biasing symbolic search by means of dynamic activity profiles / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (2001), pp. 09-15. (Intervento presentato al convegno DATE'01: IEEE Design Automation and Test in Europe tenutosi a Munich nel march 2001). 1-gen-2001 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Computing Timed Transition Relations for Sequential cycle-based simulation / Cabodi, Gianpiero; Camurati, Paolo Enrico; Passerone, Claudio; Quer, Stefano. - (1999), pp. 8-12. (Intervento presentato al convegno IEEE Design, Automation and Test in Europe tenutosi a Munich, Germany nel March 9-12, 1999). 1-gen-1999 CABODI, GianpieroCAMURATI, Paolo EnricoPASSERONE, ClaudioQUER, Stefano -
Improving Symbolic Traversals by Means of Activity Profiles / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (1999), pp. 306-311. (Intervento presentato al convegno DAC-36: 36th ACM/IEEE Design Automation Conference tenutosi a New Orleans (USA) nel June 1999). 1-gen-1999 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Efficient Computation of Timed Transition Relations / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano. - STAMPA. - (1998). (Intervento presentato al convegno IEEE/ACM International Workshop on Logic Synthesis (IWLS 1998) tenutosi a Lake Tahoe, California, USA nel June 1998). 1-gen-1998 CABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, LucianoQUER, Stefano -
Reducing Operation Complexity in Symbolic Techniques throughPartitioning / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - STAMPA. - 6:(1998), pp. 322-325. (Intervento presentato al convegno ISCAS'98: IEEE International Symposium on Circuits and Systems tenutosi a Monterey, California, US nel June 1998) [10.1109/ISCAS.1998.705276]. 1-gen-1998 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -