Stefano Quer

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 30

Top Topics

Markov Equivalence Classes

Reachability Queries

Maximum Common Subgraph

Top Venues

Publications

Giuseppe Stracquadanio, Sourav Medya, Stefano Quer, Debjit Pal
VeriBug: An Attention-based Framework for Bug-Localization in Hardware Designs. CoRR (2024)
Andrea Calabrese, Stefano Quer, Giovanni Squillero, Alberto Tonda
Towards an Evolutionary Approach for Exploting Core Knowledge in Artificial Intelligence. GECCO Companion (2024)
Giuseppe Stracquadanio, Sourav Medya, Stefano Quer, Debjit Pal
VeriBug: An Attention-Based Framework for Bug Localization in Hardware Designs. DATE (2024)
Francesco Angione, Davide Appello, Paolo Bernardi, Andrea Calabrese, Stefano Quer, Matteo Sonza Reorda, Vincenzo Tancorre, Roberto Ugioli
A Toolchain to Quantify Burn-In Stress Effectiveness on Large Automotive System-on-Chips. IEEE Access 11 (2023)
Andrea Calabrese, Lorenzo Cardone, Salvatore Licata, Marco Porro, Stefano Quer
A Web Scraping Algorithm to Improve the Computation of the Maximum Common Subgraph. ICSOFT (2023)
Matteo Orlando, Lorenzo Bottaccioli, Stefano Quer, Massimo Poncino, Sara Vinco, Edoardo Patti
A Framework for Economic and Environmental Benefit Through Renewable Energy Community. IEEE Syst. J. 17 (4) (2023)
Alessandro Borione, Lorenzo Cardone, Andrea Calabrese, Stefano Quer
An Experimental Evaluation of Graph Coloring Heuristics on Multi- and Many-Core Architectures. IEEE Access 11 (2023)
Marco Castangia, Nicola Barletta, Christian Camarda, Stefano Quer, Enrico Macii, Edoardo Patti
Clustering Appliance Operation Modes With Unsupervised Deep Learning Techniques. IEEE Trans. Ind. Informatics 19 (7) (2023)
Lorenzo Cardone, Stefano Quer
The Multi-Maximum and Quasi-Maximum Common Subgraph Problem. Comput. 11 (4) (2023)
Davide Appello, Paolo Bernardi, Andrea Calabrese, Giorgio Pollaccia, Stefano Quer, Vincenzo Tancorre, Roberto Ugioli
Parallel Multithread Analysis of Extremely Large Simulation Traces. IEEE Access 10 (2022)
Matteo Orlando, Abouzar Estebsari, Enrico Pons, Marco Pau, Stefano Quer, Massimo Poncino, Lorenzo Bottaccioli, Edoardo Patti
A Smart Meter Infrastructure for Smart Grid IoT Applications. IEEE Internet Things J. 9 (14) (2022)
Francesco Angione, Paolo Bernardi, A. Calabrese, L. Cardone, A. Niccoletti, Davide Piumatti, Stefano Quer, Davide Appello, Vincenzo Tancorre, Roberto Ugioli
An innovative Strategy to Quickly Grade Functional Test Programs. ITC (2022)
Andrea Calabrese, Stefano Quer, Giovanni Squillero
Smart Techniques for Flying-probe Testing. ICSOFT (2021)
Stefano Quer, Luz Garcia
Modules and Techniques for Motion Planning: An Industrial Perspective. Sensors 21 (2) (2021)
Davide Appello, Paolo Bernardi, Andrea Calabrese, Stefano Littardi, Giorgio Pollaccia, Stefano Quer, Vincenzo Tancorre, Roberto Ugioli
Accelerated Analysis of Simulation Dumps through Parallelization on Multicore Architectures. DDECS (2021)
Stefano Quer
A Parallel Many-core CUDA-based Graph Labeling Computation. ICSOFT (2020)
Stefano Quer, Andrea Marcelli, Giovanni Squillero
The Maximum Common Subgraph Problem: A Parallel and Multi-Engine Approach. Comput. 8 (2) (2020)
Stefano Quer, Andrea Calabrese
Graph Reachability on Parallel Many-Core Architectures. Comput. 8 (4) (2020)
Bartolomeo Montrucchio, Edoardo Giusto, Mohammad Ghazi Vakili, Stefano Quer, Renato Ferrero, Claudio Fornaro
A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution Monitoring WSN. IEEE Trans. Veh. Technol. 69 (12) (2020)
Tatsuya Harada, Antonio Tejero-de-Pablos, Stefano Quer, Francesco Savarese
Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors. ICSOFT (Selected Papers) (2019)
Andrea Marcelli, Stefano Quer, Giovanni Squillero
The Maximum Common Subgraph Problem: A Portfolio Approach. CoRR (2019)
Francesco Savarese, Antonio Tejero-de-Pablos, Stefano Quer, Tatsuya Harada
Detecting, Opening and Navigating through Doors: A Unified Framework for Human Service Robots. ICSOFT (2019)
Gianpiero Cabodi, Paolo Camurati, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer
To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking. Int. J. Softw. Tools Technol. Transf. 20 (3) (2018)
Alessandro Garbo, Stefano Quer
A Fast MPEG's CDVS Implementation for GPU Featured in Mobile Devices. IEEE Access 6 (2018)
Alessandro Garbo, Stefano Quer
Moving Object Detection in Heterogeneous Conditions in Embedded Systems. Sensors 17 (7) (2017)
Gianpiero Cabodi, Alessandro Garbo, Carmelo Loiacono, Stefano Quer, Gianluca Francini
Efficient Complex High-Precision Computations on GPUs without Precision Loss. J. Circuits Syst. Comput. 26 (12) (2017)
Nicolas Boria, Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Stefano Quer
A Greedy Approach to Answer Reachability Queries on DAGs. CoRR (2016)
Andrea Bottino, Alessandro Garbo, Carmelo Loiacono, Stefano Quer
Street Viewer: An Autonomous Vision Based Traffic Tracking System. Sensors 16 (6) (2016)
Nicolas Boria, Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Stefano Quer
A 7/2-Approximation Algorithm for the Maximum Duo-Preservation String Mapping Problem. CPM (2016)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties. Softw. Pract. Exp. 46 (4) (2016)
Alessandro Garbo, Carmelo Loiacono, Stefano Quer, Massimo Balestri, Gianluca Francini
CDVS feature selection on embedded systems. ICME Workshops (2015)
Gianpiero Cabodi, Paolo Pasini, Stefano Quer, Danilo Vendraminetto
. DATE (2014)
Gianpiero Cabodi, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Danilo Vendraminetto, Armin Biere, Keijo Heljanko
Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
Stefano Quer
Model checking evaluation of airplane landing trajectories. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, S. Ricossa, Danilo Vendraminetto, J. Baumgartner
Fast cone-of-influence computation and estimation in problems with multiple properties. DATE (2013)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Thread-based multi-engine model checking for multicore platforms. ACM Trans. Design Autom. Electr. Syst. 18 (3) (2013)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Interpolation sequences revisited. DATE (2011)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Benchmarking a model checker for algorithmic improvements and tuning for performance. Formal Methods Syst. Des. 39 (2) (2011)
Sergio Nocco, Stefano Quer
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (12) (2010)
Gianpiero Cabodi, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (3) (2010)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Strengthening Model Checking Techniques With Inductive Invariants. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (1) (2009)
Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
Speeding up model checking by exploiting explicit and hidden verification constraints. DATE (2009)
Sergio Nocco, Stefano Quer
A Probabilistic and Approximated Approach to Circuit-Based Formal Verification. J. Satisf. Boolean Model. Comput. 5 (1-4) (2008)
Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer
Boosting interpolation with dynamic localized abstraction and redundancy removal. ACM Trans. Design Autom. Electr. Syst. 13 (1) (2008)
Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. FMCAD (2008)
Viviana Bruno, Luz Garcia, Sergio Nocco, Stefano Quer
Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization. J. Satisf. Boolean Model. Comput. 5 (1-4) (2008)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Boosting the role of inductive invariants in model checking. DATE (2007)
Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer
Stepping forward with interpolants in unbounded model checking. ICCAD (2006)
Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. Electron. Notes Theor. Comput. Sci. 119 (2) (2005)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Are BDDs still alive within sequential verification? Int. J. Softw. Tools Technol. Transf. 7 (2) (2005)
Gianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Quer
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking. DATE (2005)
Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe
A BMC-based formulation for the scheduling problem of hardware systems. Int. J. Softw. Tools Technol. Transf. 7 (2) (2005)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals. J. Univers. Comput. Sci. 10 (12) (2004)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals. DATE (2003)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe
A BMC-formulation for the scheduling problem in highly constrained hardware Systems. Electron. Notes Theor. Comput. Sci. 89 (4) (2003)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Can BDDs compete with SAT solvers on bounded model checking? DAC (2002)
Luciano Lavagno, Mihai T. Lazarescu, Stefano Quer, Sergio Nocco, Claudio Passerone, Gianpiero Cabodi
A Symbolic Approach for the Combined Solution of Scheduling and Allocation. ISSS (2002)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Dynamic Scheduling and Clustering in Symbolic Image Computation. DATE (2002)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. CAV (2002)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Reachability analysis of large circuits using disjunctive partitioning and partial iterative squaring. J. Syst. Archit. 47 (2) (2001)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Biasing symbolic search by means of dynamic activity profiles. DATE (2001)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Improving symbolic reachability analysis by means of activityprofiles. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19 (9) (2000)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Symbolic forward/backward traversals of large finite state machines. J. Syst. Archit. 46 (12) (2000)
Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton
Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks. Formal Methods Syst. Des. 17 (2) (2000)
Gianpiero Cabodi, Stefano Quer, Fabio Somenzi
Optimizing sequential verification by retiming transformations. DAC (2000)
Gianpiero Cabodi, Paolo Camurati, Claudio Passerone, Stefano Quer
Computing Timed Transition Relations for Sequential Cycle-Based Simulation. DATE (1999)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Improving the efficiency of BDD-based operators by means of partitioning. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (5) (1999)
Valeria Bertacco, Maurizio Damiani, Stefano Quer
Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits. DAC (1999)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Improving Symbolic Traversals by Means of Activity Profiles. DAC (1999)
Gianpiero Cabodi, Stefano Quer, Paolo Camurati
Memory Optimization in Function and Set Manipulation with BDDs. Softw. Pract. Exp. 28 (1) (1998)
Gianpiero Cabodi, Stefano Quer, Christoph Meinel, Harald Sack, Anna Slobodová, Christian Stangier
Binary Decision Diagrams and the Multiple Variable Order Problem Universität Trier, Mathematik/Informatik, Forschungsbericht (1998)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Auxiliary variables for BDD-based representation and manipulation of Boolean functions. ACM Trans. Design Autom. Electr. Syst. 3 (3) (1998)
Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Stefano Quer
Power optimization of core-based systems by address bus encoding. IEEE Trans. Very Large Scale Integr. Syst. 6 (4) (1998)
Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Stefano Quer
System-level power optimization of special purpose applications: the beach solution. ISLPED (1997)
Gianpiero Cabodi, Paolo Camurati, Antonio Lioy, Massimo Poncino, Stefano Quer
A parallel approach to symbolic traversal based on set partitioning. CHARME (1997)
Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer
Verification and synthesis of counters based on symbolic techniques. ED&TC (1997)
Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer
Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits. DAC (1997)
Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer, Robert K. Brayton, Ellen Sentovich
Incremental re-encoding for symbolic traversal of product machines. EURO-DAC (1996)
Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich
Enhancing FSM Traversal by Temporary Re-Encoding. ICCD (1996)
Stefano Quer, Gianpiero Cabodi, Paolo Camurati
Decomposed symbolic forward traversals of large finite state machines. EURO-DAC (1996)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Improved reachability analysis of large finite state machines. ICCAD (1996)
Gianpiero Cabodi, Stefano Quer, Paolo Camurati
Computing subsets of equivalence classes for large FSMs. EURO-DAC (1995)
Gianpiero Cabodi, Stefano Quer, Paolo Camurati
Transforming boolean relations by symbolic encoding. CHARME (1995)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Symbolic exploration of large circuits with enhanced forward/backward traversals. EURO-DAC (1994)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Efficient State Space Pruning in Symbolic Backward Traversal. ICCD (1994)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Full-Symbolic ATPG for Large Circuits. ITC (1994)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Symbolic traversals of data paths with auxiliary variables. Great Lakes Symposium on VLSI (1994)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths. DAC (1994)
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Detecting hard faults with combined approximate forward/backward symbolic techniques. ISCAS (1994)