Archivio Istituzionale della RicercaQUER, Stefano
QUER, Stefano
Dipartimento di Automatica e Informatica
S. Quer
002893
Fast Circuit Analysis via Neighborhood-Guided Maximum Common Subgraph
In corso di stampa Cardone, Lorenzo; Quer, Stefano; Bernardi, Paolo
Smart Heuristics for Maximum Common Subgraph Sub-Estimation in Large Digital Circuits
In corso di stampa Bernardi, Paolo; Cardone, Lorenzo; Quer, Stefano
Cooperative Multi-Heuristic Parallelization for the Maximum Common Induced Subgraph Problem
2026 Cardone, Lorenzo; Quer, Stefano
Leveraging ATE to optimize System-Level-Test for Multicore Automotive SoCs
2025 Angione, Francesco; Bernardi, Paolo; Bertani, Claudia; Bertetto, Lorenzo; Cardone, Lorenzo; DI GRUTTOLA GIARDINO, Nicola; Quer, Stefano; Tancorre, Vincenzo
Efficiently Computing Maximum Clique of Sparse Graphs with Many-Core Graphical Processing Units
2024 Cardone, Lorenzo; Di Martino, Salvatore; Quer, Stefano
Towards an Evolutionary Approach for Exploting Core Knowledge in Artificial Intelligence
2024 Calabrese, Andrea; Quer, Stefano; Squillero, Giovanni; Tonda, Alberto
VeriBug: An Attention-based Framework for Bug Localization in Hardware Designs
2024 Stracquadanio, Giuseppe; Medya, Sourav; Quer, Stefano; Pal, Debjit
A Web Scraping Algorithm to Improve the Computation of the Maximum Common Subgraph
2023 Calabrese, Andrea; Cardone, Lorenzo; Licata, Salvatore; Porro, Marco; Quer, Stefano
An innovative Strategy to Quickly Grade Functional Test Programs
2022 Angione, Francesco; Bernardi, Paolo; Calabrese, Andrea; Cardone, Lorenzo; Niccoletti, Alessandro; Piumatti, Davide; Quer, Stefano; Appello, Davide; Tancorre, Vincenzo; Ugioli, Roberto
Social Influence Analysis (SIA) in Online Social Networks
2022 Leszkiewicz, Agata; Bucur, Doina; Grimme, Christian; Michalski, Radoslaw; Clever, Lena; Pohl, Janina; Rook, Jeroen; Bossek, Jakob; Preuss, Mike; Squillero, Giovanni; Quer, Stefano; Calabrese, Andrea; Iacca, Giovanni; Kizgin, Hatice; Trautmann, Heike
Accelerated Analysis of Simulation Dumps through Parallelization on Multicore Architectures
2021 Appello, D.; Bernardi, P.; Calabrese, A.; Littardi, S.; Pollaccia, G.; Quer, S.; Tancorre, V.; Ugioli, R.
Smart techniques for flying-probe testing
2021 Calabrese, A.; Quer, S.; Squillero, G.
A Parallel Many-core CUDA-based Graph Labeling Computation
2020 Quer, S.
Accelerated Analysis of Simulation Dumps through Parallelization on Multicore Architectures
2020 Calabrese, A.; Bernardi, P.; Littardi, S.; Quer, S.
Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors
2020 Harada, Tatsuya; Tejero-de-Pablos, Antonio; Quer, Stefano; Savarese, Francesco
Detecting, Opening and Navigating through Doors: A Unified Framework for Human Service Robots
2019 Savarese, Francesco; Tejero-de-pablos, Antonio; Quer, Stefano; Harada, Tatsuya
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem
2016 Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Quer, Stefano
Accurate and Efficient Visual Search on Embedded Systems
2015 Massimo, Balestri; Cabodi, Gianpiero; Gianluca, Francini; Garbo, Alessandro; Loiacono, Carmelo; Patti, Denis; Quer, Stefano
CDVS feature selection on embedded systems
2015 Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano; Balestri, Massimo; Francini, Gianluca
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization
2014 Cabodi, Gianpiero; Pasini, Paolo; Quer, Stefano; Vendraminetto, Danilo
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Fast Circuit Analysis via Neighborhood-Guided Maximum Common Subgraph / Cardone, L., Quer, S., Bernardi, P.. - (In corso di stampa). (European Test Symposium 2026 Platanias (GR) 25/05/2026 - 29/05/2026). | In corso di stampa | Cardone,LorenzoQuer,StefanoBernardi,Paolo | 2026_ETS.pdf |
| Smart Heuristics for Maximum Common Subgraph Sub-Estimation in Large Digital Circuits / Bernardi, P., Cardone, L., Quer, S.. - (In corso di stampa). (IWLS 2025 Verona (IT) 20/05/2024 - 24/05/2024). | In corso di stampa | Bernardi,PaoloCardone,LorenzoQuer,Stefano | - |
| Cooperative Multi-Heuristic Parallelization for the Maximum Common Induced Subgraph Problem / Cardone, L., Quer, S.. - ELETTRONICO. - (2026), pp. 605-616. (21st International Conference on Software Technologies Porto (PRT) 16/07/2026 - 18/07/2026) [10.5220/0015187500004088]. | 1-gen-2026 | Cardone, LorenzoQuer, Stefano | - |
| Leveraging ATE to optimize System-Level-Test for Multicore Automotive SoCs / Angione, F., Bernardi, P., Bertani, C., Bertetto, L., Cardone, L., DI GRUTTOLA GIARDINO, N., Quer, S., Tancorre, V.. - (2025), pp. 1-6. (Latin American Test Symposium San Andres Islas, Colombia 11-14 March 2025) [10.1109/LATS65346.2025.10963947]. | 1-gen-2025 | Francesco AngionePaolo BernardiLorenzo BertettoLorenzo CardoneNicola Di Gruttola GiardinoStefano Quer + | Leveraging_ATE_to_Optimize_System-Level-Test_for_Multicore_Automotive_SoCs.pdf |
| Efficiently Computing Maximum Clique of Sparse Graphs with Many-Core Graphical Processing Units / Cardone, L., Di Martino, S., Quer, S.. - STAMPA. - 1:(2024), pp. 539-546. (ICSOFT 2024: 19th International Conference on Software Technologies Dijon (FRA) 8-10 July, 2024). | 1-gen-2024 | Cardone, LorenzoDi Martino, SalvatoreQuer, Stefano | final.pdf |
| Towards an Evolutionary Approach for Exploting Core Knowledge in Artificial Intelligence / Calabrese, A., Quer, S., Squillero, G., Tonda, A.. - ELETTRONICO. - (2024), pp. 259-262. (GECCO 2024: The Genetic and Evolutionary Computation Conference Melbourne, VIC (AUS) July 14 - 18, 2024) [10.1145/3638530.3654230]. | 1-gen-2024 | Calabrese, AndreaQuer, StefanoSquillero, GiovanniTonda, Alberto | gecco_main.pdf; 3638530.3654230.pdf |
| VeriBug: An Attention-based Framework for Bug Localization in Hardware Designs / Stracquadanio, G., Medya, S., Quer, S., Pal, D.. - ELETTRONICO. - (2024), pp. 1-2. (DATE 2024: Design, Automation and Test in Europe Valencia (ESP) 25-27 March 2024) [10.23919/DATE58400.2024.10546890]. | 1-gen-2024 | Stracquadanio, GiuseppeQuer, Stefano + | extended_abstract.pdf; VeriBug_An_Attention-Based_Framework_for_Bug_Localization_in_Hardware_Designs.pdf |
| A Web Scraping Algorithm to Improve the Computation of the Maximum Common Subgraph / Calabrese, A., Cardone, L., Licata, S., Porro, M., Quer, S.. - ELETTRONICO. - (2023), pp. 197-206. (18th International Conference on Software Technologies Rome, Italy July 10-12 2023) [10.5220/0000168200003538]. | 1-gen-2023 | Andrea, CalabreseLorenzo, CardoneSalvatore, LicataStefano Quer + | main.pdf |
| An innovative Strategy to Quickly Grade Functional Test Programs / Angione, F., Bernardi, P., Calabrese, A., Cardone, L., Niccoletti, A., Piumatti, D., Quer, S., Appello, D., Tancorre, V., Ugioli, R.. - (2022), pp. 355-364. (International Test Conference Anaheim, CA (USA) 23-30 September 2022) [10.1109/ITC50671.2022.00044]. | 1-gen-2022 | Francesco AngionePaolo BernardiAndrea CalabreseLorenzo CardoneDavide PiumattiStefano Quer + | An_innovative_Strategy_to_Quickly_Grade_Functional_Test_Programs.pdf |
| Social Influence Analysis (SIA) in Online Social Networks / Leszkiewicz, A., Bucur, D., Grimme, C., Michalski, R., Clever, L., Pohl, J., Rook, J., Bossek, J., Preuss, M., Squillero, G., Quer, S., Calabrese, A., Iacca, G., Kizgin, H., Trautmann, H.. - ELETTRONICO. - (2022), pp. 1-2. (MISDOOM 2022 Boise, Idaho (USA) 11-12 October 2022). | 1-gen-2022 | Giovanni SquilleroStefano QuerAndrea Calabrese + | Extended_Abstract_Social_Influence_Analysis.pdf |
| Accelerated Analysis of Simulation Dumps through Parallelization on Multicore Architectures / Appello, D., Bernardi, P., Calabrese, A., Littardi, S., Pollaccia, G., Quer, S., Tancorre, V., Ugioli, R.. - (2021), pp. 69-74. (24th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2021 aut 2021) [10.1109/DDECS52668.2021.9417048]. | 1-gen-2021 | Bernardi P.Calabrese A.Littardi S.Quer S. + | 09417048.pdf |
| Smart techniques for flying-probe testing / Calabrese, A., Quer, S., Squillero, G.. - ELETTRONICO. - (2021), pp. 285-293. (16th International Conference on Software Technologies, ICSOFT 2021 2021) [10.5220/0010582302850293]. | 1-gen-2021 | Calabrese A.Quer S.Squillero G. | icsoft2021.pdf |
| A Parallel Many-core CUDA-based Graph Labeling Computation / Quer, S.. - STAMPA. - (2020), pp. 597-605. (ICSOFT 2020 Proceedings of the 15th International Conference on Software Technologies On-line July). | 1-gen-2020 | S. Quer | 20200502cameraReady.pdf |
| Accelerated Analysis of Simulation Dumps through Parallelization on Multicore Architectures / Calabrese, A., Bernardi, P., Littardi, S., Quer, S.. - ELETTRONICO. - (2020), pp. 1-1. (International Test Conference 2020 (ITC2020) 3-5 November 2020). | 1-gen-2020 | A. CalabreseP. BernardiS. LittardiS. Quer | poster.pdf |
| Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors / Harada, T., Tejero-de-Pablos, A., Quer, S., Savarese, F.. - STAMPA. - 1250:(2020), pp. 179-204. (14th International Conference on Software Technologies (ICSOFT 2019) Prague, Czech Republic July 26–28, 2019) [10.1007/978-3-030-52991-8_9]. | 1-gen-2020 | Stefano QuerFrancesco Savarese + | main.pdf; Harada2020_Chapter_ServiceRobotsAUnifiedFramework.pdf |
| Detecting, Opening and Navigating through Doors: A Unified Framework for Human Service Robots / Savarese, F., Tejero-de-pablos, A., Quer, S., Harada, T.. - STAMPA. - (2019), pp. 416-427. (ICSOFT 2019: 14th International Conference on Software Technologies Prague (CZ) 26-28 July, 2019) [10.5220/0007947604160427]. | 1-gen-2019 | Francesco SavareseStefano Quer + | main.pdf |
| A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem / Boria, N., Cabodi, G., Camurati, P.E., Palena, M., Pasini, P., Quer, S.. - ELETTRONICO. - (2016). (27th Annual Symposium on Combinatorial Pattern Matching Tel Aviv, Israel June 27 - 29, 2016). | 1-gen-2016 | BORIA, NICOLASCABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOQUER, Stefano | - |
| Accurate and Efficient Visual Search on Embedded Systems / Massimo, B., Cabodi, G., Gianluca, F., Garbo, A., Loiacono, C., Patti, D., Quer, S.. - ELETTRONICO. - (2015). (International conference on advanced in computing, communication and information technology Birmingham 26-27 Maggio 2015). | 1-gen-2015 | CABODI, GianpieroGARBO, ALESSANDROLOIACONO, CARMELOPATTI, DENISQUER, Stefano + | - |
| CDVS feature selection on embedded systems / Garbo, A., Loiacono, C., Quer, S., Balestri, M., Francini, G.. - ELETTRONICO. - (2015), pp. 1-6. (IEEE International Conference on Multimedia and Expo Turin 29th June - 3th July 2015) [10.1109/ICMEW.2015.7169789]. | 1-gen-2015 | GARBO, ALESSANDROLOIACONO, CARMELOQUER, Stefano + | - |
| Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization / Cabodi, G., Pasini, P., Quer, S., Vendraminetto, D.. - STAMPA. - (2014), pp. 1-6. (Design Automation and Test in Europe (DATE) Dresden, Germany March 2014) [10.7873/DATE.2014.129]. | 1-gen-2014 | CABODI, GianpieroPASINI, PAOLOQUER, StefanoVENDRAMINETTO, DANILO | - |