Archivio Istituzionale della RicercaQUER, Stefano
QUER, Stefano
Dipartimento di Automatica e Informatica
S. Quer
002893
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
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems
2003 Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems
2005 Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems
2003 Cabodi, Gianpiero; Kondratyev, A.; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Watanabe, Y.
A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution Monitoring WSN
2020 Montrucchio, Bartolomeo; Giusto, Edoardo; GHAZI VAKILI, Mohammad; Quer, Stefano; Ferrero, Renato; Fornaro, Claudio
A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution Monitoring WSN
2020 Montrucchio, Bartolomeo; Giusto, Edoardo; GHAZI VAKILI, Mohammad; Quer, Stefano; Ferrero, Renato; Fornaro, Claudio
A Fast MPEG's CDVS Implementation for GPU Featured in Mobile Devices
2018 Garbo, Alessandro; Quer, Stefano
A Framework for Economic and Environmental Benefit Through Renewable Energy Community
2023 Orlando, Matteo; Bottaccioli, Lorenzo; Quer, Stefano; Poncino, Massimo; Vinco, Sara; Patti, Edoardo
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem
2010 Nocco, Sergio; Quer, Stefano
A Parallel Approach to Symbolic Traversal Based on Set Partitioning
1997 Cabodi, Gianpiero; Camurati, Paolo Enrico; Lioy, Antonio; Poncino, M.; Quer, Stefano
A Parallel Many-core CUDA-based Graph Labeling Computation
2020 Quer, S.
A Probabilistic and Approximated Approach to Circuit-Based Formal Verification
2008 Nocco, Sergio; Quer, Stefano
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars
2019 Cabodi, Gianpiero; Camurati, Paolo; Garbo, Alessandro; Giorelli, Michele; Quer, Stefano; Savarese, Francesco
A Smart Meter Infrastructure for Smart Grid IoT Applications
2022 Orlando, Matteo; Estebsari, Abouzar; Pons, Enrico; Pau, Marco; Quer, Stefano; Poncino, Massimo; Bottaccioli, Lorenzo; Patti, Edoardo
A Symbolic Approach for the Combined Solution of Scheduling and Allocation
2002 Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, Claudio; Quer, Stefano
A Toolchain to Quantify Burn-In Stress Effectiveness on large Automotive System-on-Chips
In corso di stampa Angione, Francesco; Appello, Davide; Bernardi, Paolo; Calabrese, Andrea; Quer, Stefano; SONZA REORDA, Matteo; Tancorre, Vincenzo; Ugioli, Roberto
A Web Scraping Algorithm to Improve the Computation of the Maximum Common Subgraph
2023 Calabrese, Andrea; Cardone, Lorenzo; Licata, Salvatore; Porro, Marco; Quer, Stefano
Accelerated Analysis of Simulation Dumps through Parallelization on Multicore Architectures
2020 Calabrese, A.; Bernardi, P.; Littardi, S.; Quer, S.
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.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| 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 | - |
| A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems / Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - 89:4(2003), pp. 623-638. [10.1016/S1571-0661(05)82547-2] | 1-gen-2003 | CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + | - |
| A BMC-Based Formulation for the Scheduling Problem of Hardware Systems / Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 7:(2005), pp. 102-117. | 1-gen-2005 | CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + | - |
| A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems / Cabodi, Gianpiero; Kondratyev, A.; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Watanabe, Y.. - STAMPA. - (2003). (Intervento presentato al convegno First International Workshop on Bounded Model Checking (BMC 2003) tenutosi a Boulder, Colorado, USA nel July, 2003). | 1-gen-2003 | CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + | - |
| A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution Monitoring WSN / Montrucchio, Bartolomeo; Giusto, Edoardo; GHAZI VAKILI, Mohammad; Quer, Stefano; Ferrero, Renato; Fornaro, Claudio. - ELETTRONICO. - (2020). [10.21227/m4pb-g538] | 1-gen-2020 | Bartolomeo MontrucchioEdoardo GiustoMohammad Ghazi VakiliStefano QuerRenato Ferrero + | - |
| A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution Monitoring WSN / Montrucchio, Bartolomeo; Giusto, Edoardo; GHAZI VAKILI, Mohammad; Quer, Stefano; Ferrero, Renato; Fornaro, Claudio. - In: IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY. - ISSN 0018-9545. - ELETTRONICO. - 69:12(2020), pp. 15786-15799. [10.1109/TVT.2020.3035554] | 1-gen-2020 | Bartolomeo MontrucchioEdoardo GiustoMohammad Ghazi VakiliStefano QuerRenato Ferrero + | 2020PM10WSN.pdf; 09247550.pdf |
| A Fast MPEG's CDVS Implementation for GPU Featured in Mobile Devices / Garbo, Alessandro; Quer, Stefano. - In: IEEE ACCESS. - ISSN 2169-3536. - ELETTRONICO. - 6:1(2018), pp. 52027-52046. [10.1109/ACCESS.2018.2870283] | 1-gen-2018 | Garbo, AlessandroQuer, Stefano | authorVersion-ACCESS2870283.pdf; 08466564.pdf |
| A Framework for Economic and Environmental Benefit Through Renewable Energy Community / Orlando, Matteo; Bottaccioli, Lorenzo; Quer, Stefano; Poncino, Massimo; Vinco, Sara; Patti, Edoardo. - In: IEEE SYSTEMS JOURNAL. - ISSN 1932-8184. - (2023), pp. 1-10. [10.1109/JSYST.2023.3290941] | 1-gen-2023 | Orlando, MatteoBottaccioli, LorenzoQuer, StefanoPoncino, MassimoVinco, SaraPatti, Edoardo | IEEE_SYSJ_PV_Energy_Community.pdf |
| A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - ELETTRONICO. - 46:4(2016), pp. 493-511. [10.1002/spe.2321] | 1-gen-2016 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | spe.2321.pdf |
| A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem / Nocco, Sergio; Quer, Stefano. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 29:12(2010), pp. 2027-2040. [10.1109/TCAD.2010.2061631] | 1-gen-2010 | NOCCO, SERGIOQUER, Stefano | riv10-02.pdf |
| A Parallel Approach to Symbolic Traversal Based on Set Partitioning / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lioy, Antonio; Poncino, M.; Quer, Stefano. - (1997). (Intervento presentato al convegno CHARME’97: Correct Hardware Methodologies). | 1-gen-1997 | CABODI, GianpieroCAMURATI, Paolo EnricoLIOY, ANTONIOM. PoncinoQUER, Stefano | - |
| 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 |
| A Probabilistic and Approximated Approach to Circuit-Based Formal Verification / Nocco, Sergio; Quer, Stefano. - In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. - ISSN 1574-0617. - 5:(2008), pp. 105-126. | 1-gen-2008 | NOCCO, SERGIOQUER, Stefano | - |
| A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars / Cabodi, Gianpiero; Camurati, Paolo; Garbo, Alessandro; Giorelli, Michele; Quer, Stefano; Savarese, Francesco. - In: ELECTRONICS. - ISSN 2079-9292. - 8:2(2019), p. 177. [10.3390/electronics8020177] | 1-gen-2019 | Cabodi, GianpieroCamurati, PaoloGarbo, AlessandroQuer, StefanoSavarese, Francesco + | savarese_paper.pdf |
| A Smart Meter Infrastructure for Smart Grid IoT Applications / Orlando, Matteo; Estebsari, Abouzar; Pons, Enrico; Pau, Marco; Quer, Stefano; Poncino, Massimo; Bottaccioli, Lorenzo; Patti, Edoardo. - In: IEEE INTERNET OF THINGS JOURNAL. - ISSN 2327-4662. - STAMPA. - 9:14(2022), pp. 12529-12541. [10.1109/JIOT.2021.3137596] | 1-gen-2022 | Orlando, MatteoEstebsari, AbouzarPons, EnricoQuer, StefanoPoncino, MassimoBottaccioli, LorenzoPatti, Edoardo + | 3SMA.pdf; A_Smart_Meter_Infrastructure_for_Smart_Grid_IoT_Applications.pdf |
| A Symbolic Approach for the Combined Solution of Scheduling and Allocation / Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, Claudio; Quer, Stefano. - ELETTRONICO. - (2002), pp. 237-242. (Intervento presentato al convegno ISSS'02: ACM/IEEE International Symposium of System Synthesis tenutosi a Kyoto, Japan nel 2-4 ottobre 2002) [10.1145/581199.581252]. | 1-gen-2002 | CABODI, GianpieroLAVAGNO, LucianoLAZARESCU, MIHAI TEODORNOCCO, SERGIOPASSERONE, ClaudioQUER, Stefano | scheduling.pdf |
| A Toolchain to Quantify Burn-In Stress Effectiveness on large Automotive System-on-Chips / Angione, Francesco; Appello, Davide; Bernardi, Paolo; Calabrese, Andrea; Quer, Stefano; SONZA REORDA, Matteo; Tancorre, Vincenzo; Ugioli, Roberto. - In: IEEE ACCESS. - ISSN 2169-3536. - (In corso di stampa). | In corso di stampa | Francesco AngionePaolo BernardiAndrea CalabreseStefano QuerMatteo Sonza Reorda + | - |
| 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 |
| 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 |
| 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 |