Stefano Quer

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