QUER, Stefano
QUER, Stefano
Dipartimento di Automatica e Informatica
S. Quer
002893
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
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties
2014 Camurati, Paolo Enrico; Loiacono, Carmelo; Pasini, Paolo; Patti, Denis; Quer, Stefano
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties
2013 Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano; Vendraminetto, Danilo; Baumgartner, J.
Interpolation Sequences Revisited
2011 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance
2010 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints
2009 Cabodi, Gianpiero; Camurati, Paolo Enrico; L., Garcia; Murciano, Marco; Nocco, Sergio; Quer, Stefano
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking
2008 Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano
Boosting the role of inductive invariants in model checking
2007 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
A Web Scraping Algorithm to Improve the Computation of the Maximum Common Subgraph / Calabrese, Andrea; Cardone, Lorenzo; Licata, Salvatore; Porro, Marco; Quer, Stefano. - ELETTRONICO. - (2023), pp. 197-206. (Intervento presentato al convegno 18th International Conference on Software Technologies tenutosi a Rome, Italy nel 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, Francesco; Bernardi, Paolo; Calabrese, Andrea; Cardone, Lorenzo; Niccoletti, Alessandro; Piumatti, Davide; Quer, Stefano; Appello, Davide; Tancorre, Vincenzo; Ugioli, Roberto. - (2022), pp. 355-364. (Intervento presentato al convegno International Test Conference tenutosi a Anaheim, CA (USA) nel 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, 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. - ELETTRONICO. - (2022), pp. 1-2. (Intervento presentato al convegno MISDOOM 2022 tenutosi a Boise, Idaho (USA) nel 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. (Intervento presentato al convegno 24th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2021 tenutosi a aut nel 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. (Intervento presentato al convegno 16th International Conference on Software Technologies, ICSOFT 2021 nel 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. (Intervento presentato al convegno ICSOFT 2020 Proceedings of the 15th International Conference on Software Technologies tenutosi a On-line nel 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. (Intervento presentato al convegno International Test Conference 2020 (ITC2020) nel 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, Tatsuya; Tejero-de-Pablos, Antonio; Quer, Stefano; Savarese, Francesco. - STAMPA. - 1250:(2020), pp. 179-204. (Intervento presentato al convegno 14th International Conference on Software Technologies (ICSOFT 2019) tenutosi a Prague, Czech Republic nel 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, Francesco; Tejero-de-pablos, Antonio; Quer, Stefano; Harada, Tatsuya. - STAMPA. - (2019), pp. 416-427. (Intervento presentato al convegno ICSOFT 2019: 14th International Conference on Software Technologies tenutosi a Prague, Czech Republic nel 26-28 July, 2019). | 1-gen-2019 | Francesco SavareseStefano Quer + | - |
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem / Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Quer, Stefano. - ELETTRONICO. - (2016). (Intervento presentato al convegno 27th Annual Symposium on Combinatorial Pattern Matching tenutosi a Tel Aviv, Israel nel June 27 - 29, 2016). | 1-gen-2016 | BORIA, NICOLASCABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOQUER, Stefano | - |
Accurate and Efficient Visual Search on Embedded Systems / Massimo, Balestri; Cabodi, Gianpiero; Gianluca, Francini; Garbo, Alessandro; Loiacono, Carmelo; Patti, Denis; Quer, Stefano. - ELETTRONICO. - (2015). (Intervento presentato al convegno International conference on advanced in computing, communication and information technology tenutosi a Birmingham nel 26-27 Maggio 2015). | 1-gen-2015 | CABODI, GianpieroGARBO, ALESSANDROLOIACONO, CARMELOPATTI, DENISQUER, Stefano + | - |
CDVS feature selection on embedded systems / Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano; Balestri, Massimo; Francini, Gianluca. - ELETTRONICO. - (2015), pp. 1-6. (Intervento presentato al convegno IEEE International Conference on Multimedia and Expo tenutosi a Turin nel 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, Gianpiero; Pasini, Paolo; Quer, Stefano; Vendraminetto, Danilo. - STAMPA. - (2014), pp. 1-6. (Intervento presentato al convegno Design Automation and Test in Europe (DATE) tenutosi a Dresden, Germany nel March 2014) [10.7873/DATE.2014.129]. | 1-gen-2014 | CABODI, GianpieroPASINI, PAOLOQUER, StefanoVENDRAMINETTO, DANILO | - |
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties / Camurati, Paolo Enrico; Loiacono, Carmelo; Pasini, Paolo; Patti, Denis; Quer, Stefano. - ELETTRONICO. - (2014). (Intervento presentato al convegno International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2014) tenutosi a Lausanne, Switzerland nel October 20, 2014). | 1-gen-2014 | CAMURATI, Paolo EnricoLOIACONO, CARMELOPASINI, PAOLOPATTI, DENISQUER, Stefano | - |
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties / Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano; Vendraminetto, Danilo; Baumgartner, J.. - STAMPA. - (2013), pp. 803-806. (Intervento presentato al convegno Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE) tenutosi a Grenoble, France nel March 2013) [10.7873/DATE.2013.170]. | 1-gen-2013 | LOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOPATTI, DENISQUER, StefanoVENDRAMINETTO, DANILO + | - |
Interpolation Sequences Revisited / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2011), pp. 316-322. (Intervento presentato al convegno DATE'11: ACM/IEEE Design Automation and Test in Europe tenutosi a Grenoble, France nel March 14-18, 2011). | 1-gen-2011 | CABODI, GianpieroNOCCO, SERGIOQUER, Stefano | con11-01.pdf |
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - (2010). (Intervento presentato al convegno HWVW'10: First International Workshop in Hardware Verification tenutosi a Edinburgh, United Kingdom nel 15 July 2010). | 1-gen-2010 | CABODI, GianpieroNOCCO, SERGIOQUER, Stefano | - |
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints / Cabodi, Gianpiero; Camurati, Paolo Enrico; L., Garcia; Murciano, Marco; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2009), pp. 1686-1691. (Intervento presentato al convegno DATE'09: ACM/IEEE Design Automation and Test in Europe tenutosi a Nice, France nel April 20,24). | 1-gen-2009 | CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCONOCCO, SERGIOQUER, Stefano + | - |
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2008), pp. 205-212. (Intervento presentato al convegno FMCAD 2008: Formal Methods in Computer Aided Design tenutosi a Portland, OR, USA nel 17-20 novembre 2008). | 1-gen-2008 | CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCOGARCIA GALEANO, LUZ AMANDANOCCO, SERGIOQUER, Stefano | - |
Boosting the role of inductive invariants in model checking / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - (2007), pp. 1319-1324. (Intervento presentato al convegno DATE'07: IEEE Design Automation and Test in Europe tenutosi a Nice nel April 16-20, 2007). | 1-gen-2007 | CABODI, GianpieroNOCCO, SERGIOQUER, Stefano | - |