Search Results for author: Stefano Quer

Found 2 papers, 1 papers with code

VeriBug: An Attention-based Framework for Bug-Localization in Hardware Designs

no code implementations17 Jan 2024 Giuseppe Stracquadanio, Sourav Medya, Stefano Quer, Debjit Pal

Then, it assigns an importance score to each operand in a design statement and uses that score for generating explanations for failures.

The Maximum Common Subgraph Problem: A Portfolio Approach

1 code implementation18 Aug 2019 Andrea Marcelli, Stefano Quer, Giovanni Squillero

The Maximum Common Subgraph is a computationally challenging problem with countless practical applications.

Data Structures and Algorithms

Cannot find the paper you are looking for? You can Submit a new open access paper.