Výsledky vyhledávání - "Paolo Camurati"

Logic Synthesis for Interpolant Circuit Compaction

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

Publikováno v: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 38:380-384

We address the problem of reducing the size of Craig’s interpolants used in SAT-based model checking. Craig’s interpolants are AND-OR circuits, generated by post-processing refutation proofs of SAT solvers. Being highly redundant, their compactio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1d867b7123bb1367438f7a7fb0196e41
https://doi.org/10.1109/tcad.2018.2808229

Zobrazit plný text záznamu

Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification

Autor: Paolo Pasini, Paolo Camurati, Joao Marques-Silva, Gianpiero Cabodi, Marco Palena, Alexey Ignatiev

Publikováno v: Design, Automation & Test in Europe Conference & Exhibition (DATE)
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) ; Electronic ISBN:978-3-9819263-5-4 ; Electronic ISSN: 1558-1101
Design, Automation and Test in Europe Conference (DATE 2021)
Design, Automation and Test in Europe Conference (DATE 2021), IEEE CEDA : Council on Electronic Design Automation, Feb 2021, Grenoble (virtuel), France. ⟨10.23919/DATE51398.2021.9474083⟩
DATE
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)

International audience; Motivated by the need to understand the behaviour of complex machine learning (ML) models, there has been recent interest in learning optimal (or sub-optimal) decision trees (DTs). This interest is explained by the fact that D

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52fd48786854a3b37f6b0bb0c15d24d5

Zobrazit plný text záznamu

Evaluation of Optimal Charging Station Location for Electric Vehicles: An Italian Case-Study

Autor: Gianpiero Cabodi, Roberto Tadei, Paolo Camurati, Daniele Manerba, Edoardo Fadda

Publikováno v: Recent Advances in Computational Optimization ISBN: 9783030588830

Electric vehicles are accelerating the world transition to sustainable energy. Nevertheless, the lack of a proper charging station infrastructure in many real implementations still represents an obstacle for the spread of such a technology. In this p

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::34fb9b97df4a9a021ac0d00079ebfeb0
https://doi.org/10.1007/978-3-030-58884-7_4

Zobrazit plný text záznamu

Embedded Systems Secure Path Verification at the Hardware/Software Interface

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

Publikováno v: IEEE Design & Test. 34:38-46

Editor’s note: The article presents a case study comparing two types of properties for formal verification of security requirements in embedded systems. — Wen Chen, NXP

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8ffe2643dbba91e36a4a6474c52d693f
https://doi.org/10.1109/mdat.2017.2713393

Zobrazit plný text záznamu

KPIs for Optimal Location of charging stations for Electric Vehicles: the Biella case-study

Autor: Daniele Manerba, Edoardo Fadda, Paolo Camurati, Gianpiero Cabodi, Roberto Tadei

Publikováno v: FedCSIS

Electric vehicles are accelerating the world’s transition to sustainable energy. Nevertheless, the lack of a proper charging station infrastructure in many real implementations still represents an obstacle for the spread of such a technology. In th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7e9a93c4719ce5d0d0ae808d610eb285
https://doi.org/10.15439/2019f171

Zobrazit plný text záznamu

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

Autor: Gianpiero Cabodi, Paolo Camurati, Fabrizio Finocchiaro, Danilo Vendraminetto

Publikováno v: Electronics, Vol 8, Iss 9, p 1057 (2019)
Electronics
Volume 8
Issue 9

Spectre and Meltdown attacks in modern microprocessors represent a new class of attacks that have been difficult to deal with. They underline vulnerabilities in hardware design that have been going unnoticed for years. This shows the weakness of the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::049602f3605e3e33190713265ed1a8f7
https://www.mdpi.com/2079-9292/8/9/1057

Zobrazit plný text záznamu

A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars

Autor: Paolo Camurati, Michele Giorelli, Francesco Savarese, Gianpiero Cabodi, Stefano Quer, Alessandro Garbo

Publikováno v: Electronics
Volume 8
Issue 2
Electronics, Vol 8, Iss 2, p 177 (2019)

Research on autonomous cars, early intensified in the 1990s, is becoming one of the main research paths in automotive industry. Recent works use Rapidly-exploring Random Trees to explore the state space along a given reference path, and to compute th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::808e8606453b1ff942ef932622dfb4eb

Zobrazit plný text záznamu

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

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

Publikováno v: Codes, Cryptology and Information Security ISBN: 9783030164577
C2SI

Though modern microprocessors embed several hardware security mechanisms, aimed at guaranteeing confidentiality and integrity of sensible data, recently disclosed attacks such as Spectre and Meltdown witness weaknesses with potentially great impact o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::672e331a50a77b39552dee996cf1602d
http://hdl.handle.net/11583/2731612

Zobrazit plný text záznamu

Reducing interpolant circuit size through SAT-based weakening

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

We address the problem of reducing the size of Craig’s interpolants (ITPs) used in SAT-based model checking. Whereas it is well known that ITPs are highly redundant, their compaction is typically tackled by reducing the proof graph and/or by exploi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29d4af8b629a02b2e9b33db0e620ce0d
http://hdl.handle.net/11583/2734141

Zobrazit plný text záznamu

A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties

Autor: Paolo Camurati, Stefano Quer, Gianpiero Cabodi

Publikováno v: Software: Practice and Experience. 46:493-511

In order to make model checking applicable to realistic problems, simplification techniques are essential. Models may be simplified eliminating the variables that do not appear in the cone-of-influence COI of the properties under verification. Effici

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::7d02077c4ff72e09c82992bd52dfc1e9
https://doi.org/10.1002/spe.2321

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání