FM - Metodi Formali

Il Gruppo Metodi Formali è attivo in più campi di ricerca legati all'applicazione di metodi formali e tecniche simboliche, quali la verifica formale, mediante "Model Checking" di circuiti, la sintesi di alto livello, le tecniche di decisione in spazi vincolati.
In particolare, il gruppo ha svilippato svariati lavori nel contesto della rappresentazione e manipolazione di funzioni logiche, basata su BDD (Binary Decision Diagrams) e risolutori SAT. Il gruppo ha partecipato alla Hardware Model Checking Competitions, a partire dal 2007, sempre con ottimi risultati, con il tool PdTRAV.
Recentemente, il gruppo ha allargato le sue competenze alla progettazione dei sistemi embedded, nonchè allo sviluppo di algoritmi efficienti per sistemi embedded, con particolare riferimento alle piattaforme GPU e GPGPU e ad applicazioni di visione artificiale.

Progetti e pubblicazioni

• Selezione di pubblicazioni recenti
  2025

  1. Leveraging ATE to optimize System-Level-Test for Multicore Automotive SoCs
     proceeding
     

     Angione, Francesco; Bernardi, Paolo; Bertani, Claudia; Bertetto, Lorenzo; Cardone, Lorenzo; DI GRUTTOLA GIARDINO, Nicola; Quer, Stefano; Tancorre, Vincenzo
     In: 2025 IEEE 26th Latin American Test Symposium (LATS)
     IEEE
     Latin American Test Symposium (San Andres Islas, Colombia) 11-14 March 2025
     pp.6 (pp.1-6) ISBN:9781665477635 DOI:10.1109/LATS65346.2025.10963947

  2. A Comprehensive Scan Test Cost Model to Optimize the Production of very large SoCs
     articolo
     

     Iaria, Giusy; Bernardi, Paolo; Bertani, Claudia; Cardone, Lorenzo; Garozzo, Giuseppe; Tancorre, Vincenzo
     IEEE TRANSACTIONS ON COMPUTERS
     IEEE
     Vol.74 pp.15 (pp.1278-1292) ISSN:0018-9340 DOI:10.1109/TC.2024.3521246

  2024

  1. Exploiting the Connectivity metric in test programs generation
     proceeding
     

     Cardone, Lorenzo
     In: Titolo volume non avvalorato
     IEEE
     IEEE 29th European Test Symposium 2024 (The Hague (NLD)) 20/05/2024 - 24/05/2024
     pp.2

  2. Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening
     articolo
     

     Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.
     IEEE ACCESS
     IEEE
     Vol.12 pp.9 (pp.119341-119349) ISSN:2169-3536 DOI:10.1109/access.2024.3446802

  3. Exploring trade-offs in multi-site wafer testing
     proceeding
     

     Bernardi, Paolo; Cardone, Lorenzo; Foscale, Tommaso
     In: Titolo volume non avvalorato
     IEEE
     25th IEEE Latin American Test Symposium 2024 (Maceio (BRA)) 09-12 April 2024
     pp.4 ISBN:9798350365559 DOI:10.1109/lats62223.2024.10534596

  4. Towards an Evolutionary Approach for Exploting Core Knowledge in Artificial Intelligence
     proceeding
     

     Calabrese, Andrea; Quer, Stefano; Squillero, Giovanni; Tonda, Alberto
     In: GECCO 2024: Proceedings of the Genetic and Evolutionary Computation Conference
     ACM Association for Cmputing Machinery
     GECCO 2024: The Genetic and Evolutionary Computation Conference (Melbourne, VIC (AUS)) July 14 - 18, 2024
     pp.4 (pp.259-262) ISBN:9798400704956 DOI:10.1145/3638530.3654230

  5. Hardware Model Checking Algorithms and Techniques
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo
     ALGORITHMS
     MDPI
     Vol.17 pp.55 ISSN:1999-4893 DOI:10.3390/a17060253

  6. Improving Data Quality of Low-Cost Light-Scattering PM Sensors: Towards Automatic Air Quality Monitoring in Urban Environments
     articolo
     

     Ramirez-Espinosa, Gustavo; Chiavassa, Pietro; Giusto, Edoardo; Quer, Stefano; Montrucchio, Bartolomeo; Rebaudengo, Maurizio
     IEEE INTERNET OF THINGS JOURNAL
     IEEE
     Vol.11 pp.12 (pp.28409-28420) ISSN:2327-4662 DOI:10.1109/jiot.2024.3405623

  7. VeriBug: An Attention-based Framework for Bug Localization in Hardware Designs
     proceeding
     

     Stracquadanio, Giuseppe; Medya, Sourav; Quer, Stefano; Pal, Debjit
     In: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)
     IEEE
     DATE 2024: Design, Automation and Test in Europe (Valencia (ESP)) 25-27 March 2024
     pp.2 (pp.1-2) ISBN:9783981926385 DOI:10.23919/DATE58400.2024.10546890

  8. Efficiently Computing Maximum Clique of Sparse Graphs with Many-Core Graphical Processing Units
     proceeding
     

     Cardone, Lorenzo; Di Martino, Salvatore; Quer, Stefano
     In: ICSOFT 2024: 19th International Conference on Software Technologies
     SCITEPRESS (PORTOGALLO)
     ICSOFT 2024: 19th International Conference on Software Technologies (Dijon (FRA)) 8-10 July, 2024
     Vol.1 pp.8 (pp.539-546) ISBN:9789897587061

  9. Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo E.; Marques-Silva, Joao; Palena, Marco; Pasini, Paolo
     IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
     IEEE
     Vol.43 pp.5 (pp.3083-3087) ISSN:0278-0070 DOI:10.1109/tcad.2024.3387876

  2023

  1. An Experimental Evaluation of Graph Coloring Heuristics on Multi- and Many-Core Architectures
     articolo
     

     Borione, Alessandro; Cardone, Lorenzo; Calabrese, Andrea; Quer, Stefano
     IEEE ACCESS
     IEEE
     Vol.11 pp.18 (pp.125226-125243) ISSN:2169-3536 DOI:10.1109/ACCESS.2023.3329082

  2. Reporting test programs connectivity in a human-readable format
     proceeding
     

     Cardone, Lorenzo
     In: Titolo volume non avvalorato
     IEEE
     IEEE 28th European Test Symposium 2023 (Venezia (ITA)) 22/05/2023 - 26/05/2023
     pp.2

  3. A Toolchain to Quantify Burn-In Stress Effectiveness on large Automotive System-on-Chips
     articolo
     

     Angione, Francesco; Appello, Davide; Bernardi, Paolo; Calabrese, Andrea; Quer, Stefano; SONZA REORDA, Matteo; Tancorre, Vincenzo; Ugioli, Roberto
     IEEE ACCESS
     IEEE
     Vol.11 pp.22 (pp.105655-105676) ISSN:2169-3536 DOI:10.1109/ACCESS.2023.3316511

  4. A Framework for Economic and Environmental Benefit Through Renewable Energy Community
     articolo
     

     Orlando, Matteo; Bottaccioli, Lorenzo; Quer, Stefano; Poncino, Massimo; Vinco, Sara; Patti, Edoardo
     IEEE SYSTEMS JOURNAL
     IEEE
     Vol.17 pp.10 (pp.5626-5635) ISSN:1932-8184 DOI:10.1109/JSYST.2023.3290941

  5. About the correlation between logical identified faulty gates and their layout characteristics
     proceeding
     

     Bernardi, Paolo; Cardone, Lorenzo; Iaria, Giusy; Appello, Davide; Garozzo, Giuseppe; Tancorre, Vincenzo
     In: 2023 IEEE 29th International Symposium on On-Line Testing and Robust System Design (IOLTS)
     IEEE
     IEEE International Symposium on On-Line Testing and Robust System Design (03-05 July 2023) Crete, Greece
     pp.7 ISBN:9798350341355 DOI:10.1109/IOLTS59296.2023.10224897

  6. A Web Scraping Algorithm to Improve the Computation of the Maximum Common Subgraph
     proceeding
     

     Calabrese, Andrea; Cardone, Lorenzo; Licata, Salvatore; Porro, Marco; Quer, Stefano
     In: ICSOFT 2023
     SCITEPRESS (PORTOGALLO)
     18th International Conference on Software Technologies (Rome, Italy) July 10-12 2023
     pp.10 (pp.197-206) ISBN:9789897586651 DOI:10.5220/0000168200003538

  7. The Multi-Maximum and Quasi-Maximum Common Subgraph Problem
     articolo
     

     Cardone, Lorenzo; Quer, Stefano
     COMPUTATION
     MDPI
     Vol.11 pp.25 ISSN:2079-3197 DOI:10.3390/computation11040069

  8. Clustering appliance operation modes with unsupervised deep learning techniques
     articolo
     

     Castangia, Marco; Barletta, Nicola; Camarda, Christian; Quer, Stefano; Macii, Enrico; Patti, Edoardo
     IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
     IEEE
     Vol.19 pp.9 (pp.8196-8204) ISSN:1941-0050 DOI:10.1109/TII.2022.3217495

  2022

  1. Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking
     articolo
     

     Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.
     FORMAL METHODS IN SYSTEM DESIGN
     Springer
     pp.30 (pp.1-30) ISSN:0925-9856 DOI:10.1007/s10703-022-00406-7

  2. Social Influence Analysis (SIA) in Online Social Networks
     proceeding
     

     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
     In: Titolo volume non avvalorato
     Springer
     MISDOOM 2022 (Boise, Idaho (USA)) 11-12 October 2022
     pp.2 (pp.1-2)

  3. An innovative Strategy to Quickly Grade Functional Test Programs
     proceeding
     

     Angione, Francesco; Bernardi, Paolo; Calabrese, Andrea; Cardone, Lorenzo; Niccoletti, Alessandro; Piumatti, Davide; Quer, Stefano; Appello, Davide; Tancorre, Vincenzo; Ugioli, Roberto
     In: International Test Conference
     IEEE
     International Test Conference (Anaheim, CA (USA)) 23-30 September 2022
     pp.10 (pp.355-364) DOI:10.1109/ITC50671.2022.00044

  4. Parallel Multithread Analysis of Extremely Large Simulation Traces
     articolo
     

     Appello, D.; Bernardi, Paolo; Calabrese, Andrea; Pollaccia, G.; Quer, Stefano; Tancorre, V.; Ugioli, R.
     IEEE ACCESS
     IEEE
     Vol.10 pp.18 (pp.56440-56457) ISSN:2169-3536 DOI:10.1109/ACCESS.2022.3177613

  5. A Smart Meter Infrastructure for Smart Grid IoT Applications
     articolo
     

     Orlando, Matteo; Estebsari, Abouzar; Pons, Enrico; Pau, Marco; Quer, Stefano; Poncino, Massimo; Bottaccioli, Lorenzo; Patti, Edoardo
     IEEE INTERNET OF THINGS JOURNAL
     IEEE
     Vol.9 pp.13 (pp.12529-12541) ISSN:2327-4662 DOI:10.1109/JIOT.2021.3137596

  2021

  1. Smart techniques for flying-probe testing
     proceeding
     

     Calabrese, A.; Quer, S.; Squillero, G.
     In: Proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021
     SciTePress
     16th International Conference on Software Technologies, ICSOFT 2021 2021
     pp.9 (pp.285-293) ISBN:9789897585234 DOI:10.5220/0010582302850293

  2. Accelerated Analysis of Simulation Dumps through Parallelization on Multicore Architectures
     proceeding
     

     Appello, D.; Bernardi, P.; Calabrese, A.; Littardi, S.; Pollaccia, G.; Quer, S.; Tancorre, V.; Ugioli, R.
     In: Proceedings - 2021 24th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2021
     Institute of Electrical and Electronics Engineers Inc. (STATI UNITI D'AMERICA)
     24th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2021 (aut) 2021
     pp.6 (pp.69-74) ISBN:9781665435956 DOI:10.1109/DDECS52668.2021.9417048

  3. Modules and techniques for motion planning: An industrial perspective
     articolo
     

     Quer, S.; Garcia, L.
     SENSORS
     MDPI
     Vol.21 pp.26 (pp.1-26) ISSN:1424-8220 DOI:10.3390/s21020420

  4. Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo; Palena, Marco; Pasini, Paolo
     In: 2021 Design, Automation Test in Europe Conference Exhibition (DATE)
     IEEE
     Design Automation and Test in Europe (DATE) 01-05 February 2021
     pp.4 (pp.1122-1125) ISBN:9783981926354 DOI:10.23919/DATE51398.2021.9474083

  5. Comparative analysis of models and performance indicators for optimal service facility location
     articolo
     

     Fadda, Edoardo; Manerba, Daniele; Cabodi, Gianpiero; Camurati, Paolo; Tadei, Roberto
     TRANSPORTATION RESEARCH PART E-LOGISTICS AND TRANSPORTATION REVIEW
     Elsevier
     Vol.145 (102174) pp.34 ISSN:1366-5545 DOI:10.1016/j.tre.2020.102174

  6. Evaluation of optimal charging station location for electric vehicles: an Italian case-study
     capitolo
     

     Fadda, Edoardo; Manerba, Daniele; Cabodi, Gianpiero; Camurati, Paolo Enrico; Tadei, Roberto
     Recent Advances in Computational Optimization
     Springer
     Vol.920 pp.17 (pp.71-87) ISBN:9783030588830 DOI:10.1007/978-3-030-58884-7_4

  2020

  1. Accelerated Analysis of Simulation Dumps through Parallelization on Multicore Architectures
     proceeding
     

     Calabrese, A.; Bernardi, P.; Littardi, S.; Quer, S.
     In: Proceeding of the International Test Conference 2020
     IEEE
     International Test Conference 2020 (ITC2020) 3-5 November 2020
     pp.1

  2. A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution Monitoring WSN
     altro
     

     Montrucchio, Bartolomeo; Giusto, Edoardo; GHAZI VAKILI, Mohammad; Quer, Stefano; Ferrero, Renato; Fornaro, Claudio
     DOI:10.21227/m4pb-g538

  3. Graph Reachability on Parallel Many-Core Architectures
     articolo
     

     Quer, Stefano; Calabrese, Andrea
     COMPUTATION
     MDPI
     Vol.8 pp.26 ISSN:2079-3197 DOI:10.3390/computation8040103

  4. Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills
     articolo
     

     Cabodi, G; Camurati, P; Pasini, P; Patti, D; Vendraminetto, D
     INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION
     TEMPUS PUBLICATIONS
     Vol.36 pp.24 (pp.1505-1528) ISSN:0949-149X

  5. A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution Monitoring WSN
     articolo
     

     Montrucchio, Bartolomeo; Giusto, Edoardo; GHAZI VAKILI, Mohammad; Quer, Stefano; Ferrero, Renato; Fornaro, Claudio
     IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY
     IEEE
     Vol.69 pp.15 (pp.15786-15799) ISSN:0018-9545 DOI:10.1109/TVT.2020.3035554

  6. Cost-aware design and simulation of electrical energy systems
     articolo
     

     Chen, Y.; Vinco, S.; Baek, D.; Quer, S.; Macii, E.; Poncino, M.
     ENERGIES
     MDPI
     Vol.13 pp.33 ISSN:1996-1073 DOI:10.3390/en13112949

  7. A Parallel Many-core CUDA-based Graph Labeling Computation
     proceeding
     

     Quer, S.
     In: ICSOFT 2020 Proceedings of the 15th International Conference on Software Technologies
     Marten van Sinderen, Hans-Georg Fill, Leszek Maciaszek (PORTOGALLO)
     ICSOFT 2020 Proceedings of the 15th International Conference on Software Technologies (On-line) July
     pp.9 (pp.597-605) ISBN:9789897584435

  8. Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors
     proceeding
     

     Harada, Tatsuya; Tejero-de-Pablos, Antonio; Quer, Stefano; Savarese, Francesco
     COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE
     In: Software Technologies
     Springer
     14th International Conference on Software Technologies (ICSOFT 2019) (Prague, Czech Republic) July 26–28, 2019
     Vol.1250 pp.26 (pp.179-204) ISSN:1865-0929 ISBN:9783030529901 DOI:10.1007/978-3-030-52991-8_9

  9. The Maximum Common Subgraph Problem: A Parallel and Multi-Engine Approach
     articolo
     

     Quer, Stefano; Marcelli, Andrea; Squillero, Giovanni
     COMPUTATION
     MDPI
     Vol.8 pp.29 (pp.1-29) ISSN:2079-3197 DOI:10.3390/computation8020048

  2019

  1. KPIs for Optimal Location of charging stations for Electric Vehicles: the Biella case-study
     proceeding
     

     Fadda, Edoardo; Manerba, Daniele; Tadei, Roberto; Camurati, Paolo Enrico; Cabodi, Gianpiero
     In: Proceedings of the 2019 Federated Conference on Computer Science and Information Systems
     Federated Conference on Computer Science and Information Systems
     12th International Workshop on Computational Optimization (Leipzig, Germany) September 1-4
     Vol.18 pp.4 (pp.123-126) DOI:10.15439/2019F171

  2. Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo
     ELECTRONICS
     MDPI
     Vol.8 pp.19 ISSN:2079-9292 DOI:10.3390/electronics8091057

  3. Detecting, Opening and Navigating through Doors: A Unified Framework for Human Service Robots
     proceeding
     

     Savarese, Francesco; Tejero-de-pablos, Antonio; Quer, Stefano; Harada, Tatsuya
     In: Proceedings of the 14th International Conference on Software Technologies - ICSOFT
     SCITEPRESS
     ICSOFT 2019: 14th International Conference on Software Technologies (Prague (CZ)) 26-28 July, 2019
     pp.12 (pp.416-427) ISBN:9789897583797 DOI:10.5220/0007947604160427

  4. Reducing interpolant circuit size through SAT-based weakening
     articolo
     

     Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.
     IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
     IEEE
     pp.8 ISSN:0278-0070 DOI:10.1109/TCAD.2019.2915317

  5. Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo
     In: Codes, Cryptology and Information Security
     Springer
     Codes, Cryptology and Information Security (Rabat, Morocco) April 22-24, 2019
     Vol.11445 pp.18 (pp.462-479) ISBN:9783030164577 DOI:10.1007/978-3-030-16458-4_27

  6. A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo; Garbo, Alessandro; Giorelli, Michele; Quer, Stefano; Savarese, Francesco
     ELECTRONICS
     MDPI
     Vol.8 pp.28 ISSN:2079-9292 DOI:10.3390/electronics8020177

  7. Logic Synthesis for Interpolant Circuit Compaction
     articolo
     

     Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.
     IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
     IEEE
     Vol.38 pp.5 (pp.380-384) ISSN:0278-0070 DOI:10.1109/TCAD.2018.2808229

  2018

  1. Advanced Programming and Problem-Solving Strategies in C. Part II: Algorithms and Data Structures.
     monografia
     

     Quer, Stefano
     Libreria Editrice Universitaria CLUT (ITALIA)
     Vol.II pp.453 (pp.1-453) ISBN:9788879924337

  2. Advanced Programming and Problem-Solving Strategies in C. Part IV: Exam-Based Problems.
     monografia
     

     Quer, Stefano
     Libreria Editrice Universitaria CLUT (ITALIA)
     Vol.IV pp.235 (pp.1-235) ISBN:9788879924306

  3. A Fast MPEG's CDVS Implementation for GPU Featured in Mobile Devices
     articolo
     

     Garbo, Alessandro; Quer, Stefano
     IEEE ACCESS
     Institute of Electrical and Electronics Engineers Inc.
     Vol.6 pp.20 (pp.52027-52046) ISSN:2169-3536 DOI:10.1109/ACCESS.2018.2870283

  4. Algoritmi e programmazione in pratica. Da specifiche a codice C
     monografia
     

     Pasini, Paolo; Patti, Denis; Vendraminetto, Danilo; Cabodi, Gianpiero; Camurati, Paolo Enrico
     Maggioli spa
     pp.280 ISBN:9788891629890

  5. To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano
     INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
     Springer
     Vol.20 pp.13 (pp.313-325) ISSN:1433-2779 DOI:10.1007/s10009-017-0451-8

  2017

  1. Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti
     monografia
     

     Camurati, Paolo Enrico; Quer, Stefano
     Libreria Editrice Universitaria CLUT (ITALIA)
     pp.305 (pp.1-305) ISBN:9788879924207

  2. Advanced Programming and Problem-Solving Strategies in C. Part IV: Exam-Based Problems.
     monografia
     

     Quer, Stefano
     Libreria Editrice Universitaria CLUT (ITALIA)
     Vol.IV pp.227 (pp.1-227) ISBN:9788879924115

  3. Advanced Programming and Problem-Solving Strategies in C. Part II: Algorithms and Data Structures.
     monografia
     

     Quer, Stefano
     Libreria Editrice Universitaria CLUT (ITALIA)
     Vol.II pp.443 (pp.1-443) ISBN:9788879924191

  4. Deep Classifiers-Based License Plate Detection, Localization and Recognition on GPU-Powered Mobile Platform
     articolo
     

     Rizvi, Syed; Patti, Denis; Bjorklund, TOMAS PER ROLF; Cabodi, Gianpiero; Francini, Gianluca
     FUTURE INTERNET
     MDPI
     Vol.9 pp.11 ISSN:1999-5903 DOI:10.3390/fi9040066

  5. Optimized Deep Neural Networks for Real-Time Object Classification on Embedded GPUs
     articolo
     

     Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Francini, Gianluca
     APPLIED SCIENCES
     MDPI
     Vol.7 pp.19 (pp.826-844) ISSN:2076-3417 DOI:10.3390/app7080826

  6. Efficient Complex High-Precision Computations on GPUs without Precision Loss
     articolo
     

     Cabodi, Gianpiero; Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano; Francini, G.
     JOURNAL OF CIRCUITS, SYSTEMS, AND COMPUTERS
     World Scientific
     Vol.26 pp.38 (pp.1-38) ISSN:0218-1266 DOI:10.1142/S0218126617501870

  7. Moving object detection in heterogeneous conditions in embedded systems
     articolo
     

     Garbo, Alessandro; Quer, Stefano
     SENSORS
     MDPI
     Vol.17 pp.25 ISSN:1424-8220 DOI:10.3390/s17071546

  8. GPU-only unified ConvMM layer for neural classifiers
     proceeding
     

     Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Francini, Gianluca
     In: CoDIT'17
     IEEE
     4th International Conference on Control, Decision and Information Technologies
     DOI:10.1109/CoDIT.2017.8102649

  9. Interpolation-based learning as a mean to speed-up Bounded Model Checking
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, Danilo
     In: SEFM2017
     Springer
     15th International Conference on Software Engineering and Formal Methods (Trento (Italy)) September 4-8, 2017
     pp.6

  10. A General-Purpose Graphics Processing Unit (GPGPU)-Accelerated Robotic Controller Using a Low Power Mobile Platform
      articolo
      

      Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Gulzar, Muhammad
      JOURNAL OF LOW POWER ELECTRONICS AND APPLICATIONS
      MDPI
      Vol.7 pp.16 (pp.1-16) ISSN:2079-9268 DOI:10.3390/jlpea7020010

  11. Embedded Systems Secure Path Verification at the HW/SW Interface
      articolo
      

      Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Savarese, Francesco; Vendraminetto, Danilo
      IEEE DESIGN & TEST
      IEEE
      Vol.34 pp.9 (pp.38-46) ISSN:2168-2356 DOI:10.1109/MDAT.2017.2713393

  12. SAT solver management strategies in IC3: an experimental approach
      articolo
      

      Palena, Marco; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo Enrico; Mishchenko, Alan
      FORMAL METHODS IN SYSTEM DESIGN
      Springer
      Vol.50 pp.36 (pp.39-74) ISSN:0925-9856 DOI:10.1007/s10703-017-0272-0

  2016

  1. Dal problema al programma. Introduzione al problem-solving in linguaggio C
     monografia
     

     Camurati, Paolo Enrico; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, Danilo
     Maggioli Editore (ITALIA)
     pp.246 ISBN:9788891616661

  2. Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C
     monografia
     

     Camurati, Paolo Enrico; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, Danilo
     Maggioli Editore (ITALIA)
     pp.241 ISBN:9788891619013

  3. GPGPU based concurrent classification using trained model of handwritten digits
     proceeding
     

     Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Arif, Arslan; Javed, Muhammad Yaqoob; Gulzar, Muhammad Majid
     In: ICOSST
     International Conference on Open Source Systems & Technologies (ICOSST)
     pp.5 (pp.142-146) ISBN:9781509055869 DOI:10.1109/ICOSST.2016.7838591

  4. GPGPU Accelerated Deep Object Classification on a Heterogeneous Mobile Platform
     articolo
     

     Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Francini, Gianluca
     ELECTRONICS
     MDPI
     Vol.5 pp.17 ISSN:2079-9292 DOI:10.3390/electronics5040088

  5. Guida alla programmazione in linguaggio C. Volume I: Fondamenti di programmazione
     monografia
     

     Nocco, Sergio; Quer, Stefano
     Libreria Editrice Universitaria CLUT (ITALIA)
     Vol.1 pp.359 (pp.1-359) ISBN:9788879924047

  6. Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, Danilo
     In: Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design
     IEEE
     Formal Methods in Computer-Aided Design (Mountain View, California, USA) October 3 - 6, 2016
     pp.8 (pp.25-32) ISBN:9780983567868 DOI:10.1109/FMCAD.2016.7886657

  7. Back to Basics: Solving Games with SAT
     articolo
     

     Quer, Stefano
     ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING
     Stefan cel Mare University of Suceava - Faculty of Electrical Engineering and Computer Science - 13, Universitatii Street Suceava - 720229 ROMANIA
     Vol.16 pp.8 (pp.91-98) ISSN:1582-7445 DOI:10.4316/AECE.2016.03013

  8. Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti
     monografia
     

     Camurati, Paolo Enrico; Quer, Stefano
     CLUT (Cooperativa Libraria Universitaria Torinese) (ITALIA)
     pp.291 (pp.1-291) ISBN:9788879923996

  9. A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem
     proceeding
     

     Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Quer, Stefano
     In: Titolo volume non avvalorato
     27th Annual Symposium on Combinatorial Pattern Matching (Tel Aviv, Israel) June 27 - 29, 2016
     

  10. Street Viewer: An Autonomous Vision Based Traffic Tracking System
      articolo
      

      Bottino, ANDREA GIUSEPPE; Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano
      SENSORS
      MDPI
      Vol.16 pp.21 (pp.1-21) ISSN:1424-8220 DOI:10.3390/s16060813

  11. Comparison of GPGPU based Robotic Manipulator with other Embedded Controllers
      proceeding
      

      Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Gulzar, Muhammad Majid
      In: 2016 International Conference on Development and Application Systems (DAS)
      Stefan cel Mare University of Suceava
      13th International Conference on Development and Application Systems (Suceava, Romania) May 19-21, 2016
      Vol.13 pp.6 (pp.10-15) ISBN:9781509019922 DOI:10.1109/DAAS.2016.7492540

  12. Gabor Filter based Image Representation for Object Classification
      proceeding
      

      Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; PORTO BUARQUE DE GUSMAO, Pedro; Francini, Gianluca
      In: International Conference on Control, Decision and Information Technologies
      HyperSciences Publisher
      International Conference on Control, Decision and Information Technologies (Saint Julian's, Malta) April 6-8, 2016
      Vol.3 pp.5 (pp.628-632) ISBN:9781509021888 DOI:10.1109/CoDIT.2016.7593635

  13. Secure Path Verification
      proceeding
      

      Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo
      In: IEEE International Verification and Security Workshop
      IEEE
      IEEE International Verification and Security Workshop
      pp.6 ISBN:9781509011414 DOI:10.1109/IVSW.2016.7566608

  14. Scalable FPGA Graph model to detect routing faults
      proceeding
      

      Sterpone, Luca; Cabodi, Gianpiero; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Du, Boyang
      In: IEEE International Symposium on On-Line Testing and Robust System Design
      IEEE
      IEEE International Symposium on On-Line Testing and Robust System Design
      pp.6 DOI:10.1109/IOLTS.2016.7604690

  15. Secure Embedded Architectures: Taint Properties Verification
      proceeding
      

      Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo
      In: IEEE Xplore
      IEEE
      International Conference on Development and Application Systems
      pp.8 ISBN:9781509019939 DOI:10.1109/DAAS.2016.7492565

  16. A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties
      articolo
      

      Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
      SOFTWARE-PRACTICE & EXPERIENCE
      John Wiley and Sons Ltd
      Vol.46 pp.19 (pp.493-511) ISSN:0038-0644 DOI:10.1002/spe.2321

  17. Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks
      articolo
      

      Cabodi, Gianpiero; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Quer, Stefano; Patti, Denis; Vendraminetto, Danilo; Biere, A.; Helianko, K.
      JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION
      IOS Press
      Vol.9 pp.38 (pp.135-172) ISSN:1574-0617

  2015

  1. Ricorsione e problem-solving: strategie algoritmiche in linguaggio C
     monografia
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Pasini, Paolo; Patti, Denis; Vendraminetto, Danilo
     Maggioli Editore (ITALIA)
     pp.205 (pp.1-205) ISBN:9788891612922

  2. CDVS feature selection on embedded systems
     proceeding
     

     Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano; Balestri, Massimo; Francini, Gianluca
     In: Multimedia & Expo Workshops (ICMEW), 2015 IEEE International Conference on
     IEEE
     IEEE International Conference on Multimedia and Expo (Turin) 29th June - 3th July 2015
     pp.6 (pp.1-6) ISBN:9781479970797 DOI:10.1109/ICMEW.2015.7169789

  3. Formal Verification of Embedded Systems for Remote Attestation
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Pipitone, Giovanni; Savarese, Francesco; Vendraminetto, Danilo
     WSEAS TRANSACTIONS ON COMPUTERS
     WSEAS
     Vol.14 pp.10 (pp.760-769) ISSN:1109-2750

  4. Accurate and Efficient Visual Search on Embedded Systems
     proceeding
     

     Massimo, Balestri; Cabodi, Gianpiero; Gianluca, Francini; Garbo, Alessandro; Loiacono, Carmelo; Patti, Denis; Quer, Stefano
     In: CCIT 2015 procedings
     Institute of research engineers and doctors (STATI UNITI D'AMERICA)
     International conference on advanced in computing, communication and information technology (Birmingham) 26-27 Maggio 2015
     pp.6 ISBN:9781632480613

  5. Optimization techniques for craig interpolant compaction in unbounded model checking
     articolo
     

     Cabodi, Gianpiero; Loiacono, Carmelo; Vendraminetto, Danilo
     FORMAL METHODS IN SYSTEM DESIGN
     Springer US
     Vol.46 pp.28 (pp.135-162) ISSN:1572-8102 DOI:10.1007/s10703-015-0229-0

  2014

  1. Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti. Seconda edizione.
     monografia
     

     Camurati, Paolo Enrico; Quer, Stefano
     CLUT (ITALIA)
     pp.234 (pp.1-234) ISBN:9788879923729

  2. Special issue on FMCAD 2012
     curatela
     

     Cabodi, Gianpiero; Singh, Satnam
     Springer
     Vol.45 pp.191 (pp.111-301)

  3. Dal problema al programma: introduzione al problem-solving in linguaggio C
     monografia
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Pasini, Paolo; Patti, Denis; Vendraminetto, Danilo
     Maggioli Editore (ITALIA)
     pp.229 (pp.1-229) ISBN:9788891607829

  4. To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties
     proceeding
     

     Camurati, Paolo Enrico; Loiacono, Carmelo; Pasini, Paolo; Patti, Denis; Quer, Stefano
     In: Proceedings of the Third International Workshop on Design and Implementation of Formal Tools and Systems
     International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2014) (Lausanne, Switzerland) October 20, 2014
     

  5. Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking
     proceeding
     

     Cabodi, Gianpiero; Palena, Marco; Pasini, Paolo
     In: Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design (FMCAD 2014)
     Formal Methods in Computer-Aided Design (FMCAD 2014) (Lausanne, Switzerland) 21-24 Oct. 2014
     Vol.Formal Methods in Computer-Aided Design (FMCAD), 2014 pp.8 (pp.43-50) DOI:10.1109/FMCAD.2014.6987594

  6. Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization
     proceeding
     

     Cabodi, Gianpiero; Pasini, Paolo; Quer, Stefano; Vendraminetto, Danilo
     In: Proceedings of DATE 2014
     Design Automation and Test in Europe (DATE) (Dresden, Germany) March 2014
     pp.6 (pp.1-6) DOI:10.7873/DATE.2014.129

  7. Model checking evaluation of airplane landing trajectories
     articolo
     

     Quer, Stefano
     INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
     Springer-Verlag GmbH
     Vol.16 pp.21 (pp.753-773) ISSN:1433-2779 DOI:10.1007/s10009-013-0273-2

  2013

  1. Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3
     proceeding
     

     Cabodi, Gianpiero; A., Mishchenko; Palena, Marco
     In: International Workshop on Design and Implementation of Formal Tools and Systems
     International Workshop on Design and Implementation of Formal Tools and Systems (Portland, OR) 19 Ottobre 2013
     pp.9

  2. Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking
     proceeding
     

     Cabodi, Gianpiero; Loiacono, Carmelo; Vendraminetto, Danilo
     In: Proceedings of DATE 2013
     Design Automation and Test in Europe (DATE) (Grenoble, France) March 2013
     pp.6 (pp.1417-1422) ISBN:9781467350716 DOI:10.7873/DATE.2013.289

  3. Thread-based multi-engine model checking for multicore platforms
     articolo
     

     Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
     ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS
     ACM
     Vol.18 pp.28 (pp.1-28) ISSN:1084-4309 DOI:10.1145/2491477.2491480

  4. Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties
     proceeding
     

     Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano; Vendraminetto, Danilo; Baumgartner, J.
     In: Proceedings of Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE)
     Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE) (Grenoble, France) March 2013
     pp.4 (pp.803-806) ISBN:9781467350716 DOI:10.7873/DATE.2013.170

  5. Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti
     monografia
     

     Camurati, Paolo Enrico; Quer, Stefano
     CLUT (Cooperativa Libraria Universitaria Torinese) (ITALIA)
     pp.234 (pp.1-234) ISBN:9788879923460

  2012

  1. Formal Methods in Computer-Aided Design (FMCAD), 2012
     curatela
     

     Cabodi, Gianpiero; Singh, Satnam
     IEEE
     pp.208 ISBN:9781467348324

  2011

  1. Optimized model checking of multiple properties
     proceeding
     

     Cabodi, Gianpiero; Nocco, Sergio
     In: Titolo volume non avvalorato
     DATE 2011: Design Automation & Test In Europe 2011 (Grenoble (FRANCE)) 14-18 March 2011
     pp.4 (pp.543-546)

  2. Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance
     articolo
     

     Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
     FORMAL METHODS IN SYSTEM DESIGN
     Kluwer Academic Publishers Hingham, MA, USA
     Vol.39 pp.23 (pp.205-227) ISSN:0925-9856 DOI:10.1007/s10703-011-0123-3

  3. Interpolation Sequences Revisited
     proceeding
     

     Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
     In: Titolo volume non avvalorato
     European Design and Automation Association
     DATE'11: ACM/IEEE Design Automation and Test in Europe (Grenoble, France) March 14-18, 2011
     pp.7 (pp.316-322) ISBN:9781612842080

  2010

  1. A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem
     articolo
     

     Nocco, Sergio; Quer, Stefano
     IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
     Vol.29 pp.14 (pp.2027-2040) ISSN:0278-0070 DOI:10.1109/TCAD.2010.2061631

  2. Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance
     proceeding
     

     Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
     In: HWVW'10: First International Workshop in Hardware Verification
     HWVW'10: First International Workshop in Hardware Verification (Edinburgh, United Kingdom) 15 July 2010
     

  3. Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques
     articolo
     

     Cabodi, Gianpiero; Lavagno, Luciano; Murciano, Marco; Kondratyev, A; Watanabe, Y.
     ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS
     ACM
     Vol.15 pp.34 (pp.12:1-12:34) ISSN:1084-4309 DOI:10.1145/1698759.1698762

  4. Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT
     articolo
     

     Cabodi, Gianpiero; Dipietro, L; Murciano, Marco; Nocco, S.
     JOURNAL OF ELECTRONIC TESTING
     Vol.26 pp.18 (pp.261-278) ISSN:0923-8174 DOI:10.1007/s10836-010-5144-0

  5. Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking
     articolo
     

     Cabodi, Gianpiero; Garcia, L; Murciano, Marco; Nocco, S; Quer, Stefano
     IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
     IEEE
     Vol.29 pp.14 (pp.382-395) ISSN:0278-0070 DOI:10.1109/TCAD.2010.2041847

  6. Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications
     articolo
     

     Cabodi, Gianpiero; Murciano, Marco; Violante, Massimo
     ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
     Vol.10 pp.32 (pp.24:1-24:32) ISSN:1539-9087 DOI:10.1145/1880050.1880060

  2009

  1. Heuristic and exact techniques for aircraft maintenance scheduling
     articolo
     

     Chiesa, Sergio; Quer, Stefano; Corpino, Sabrina; Viola, Nicole
     PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS. PART G, JOURNAL OF AEROSPACE ENGINEERING
     SAGE
     Vol.223 pp.11 (pp.989-999) ISSN:0954-4100 DOI:10.1243/09544100JAERO463

  2. Guida alla programmazione in linguaggio C
     monografia
     

     Nocco, Sergio; Quer, Stefano
     Libreria Editrice Universitaria CLUT (ITALIA)
     

  3. Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; L., Garcia; Murciano, Marco; Nocco, Sergio; Quer, Stefano
     In: Proceedings of the 2009 ACM/IEEE Design Automation and Test in Europe Conference
     DATE'09: ACM/IEEE Design Automation and Test in Europe (Nice, France) April 20,24
     pp.6 (pp.1686-1691) ISBN:9783981080155

  4. Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits
     proceeding
     

     Cabodi, Gianpiero; Dipietro, L; Murciano, Marco; Nocco, Sergio
     In: Proceedings of the 2009 IEEE International High Level Design Validation and Test Workshop
     IEEE Computer Society (STATI UNITI D'AMERICA)
     High Level Design Validation and Test Workshop (HLDVT) (Grand Hyatt, San Francisco, CA, USA) November 4–6, 2009
     

  5. Strengthening Model Checking Techniques with Inductive Invariants
     articolo
     

     Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
     IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
     IEEE
     Vol.28 pp.5 (pp.154-158) ISSN:0278-0070

  2008

  1. A Probabilistic and Approximated Approach to Circuit-Based Formal Verification
     articolo
     

     Nocco, Sergio; Quer, Stefano
     JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION
     Vol.5 (pp.105-126) ISSN:1574-0617

  2. Interpolant-Based Unbounded Model Checking
     altro
     

     Cabodi, Gianpiero; Murciano, Marco
     

  3. Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal
     articolo
     

     Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano
     ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS
     ACM
     Vol.13 pp.20 ISSN:1084-4309 DOI:10.1145/1297666.1297669

  4. Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano
     In: FMCAD 2008: Formal Methods in Computer Aided Design
     IEEE (STATI UNITI D'AMERICA)
     FMCAD 2008: Formal Methods in Computer Aided Design (Portland, OR, USA) 17-20 novembre 2008
     pp.8 (pp.205-212) ISBN:9781424427352

  5. Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco
     In: ICCAD'08: International Conference on Computer Aided Design
     ACM Press (STATI UNITI D'AMERICA)
     ICCAD'08: IEEE/ACM International Conference on Computer Aided Design (San Jose) 10-13 nov 2008
     pp.8 (pp.129-136) ISBN:9781424428205

  6. Stressing Symbolic Scheduling Techniqueswithin Aircraft Maintenance Optimization
     articolo
     

     Bruno, V; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano
     JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION
     Vol.5 (pp.77-104) ISSN:1574-0617

  2007

  1. A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions
     proceeding
     

     Bischoff, G. P.; Brace, K. S.; Cabodi, Gianpiero
     In: Proceedings of the 2007 EUROCAST
     Springer (GERMANIA)
     Eurocast 2007 (Las Palmas de Gran Canaria (Spagna)) February 12-16, 2007
     Vol.4739 (pp.505-514) ISBN:9783540758662

  2. Boosting the role of inductive invariants in model checking
     proceeding
     

     Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
     In: Titolo volume non avvalorato
     DATE'07: IEEE Design Automation and Test in Europe (Nice) April 16-20, 2007
     (pp.1319-1324)

  2006

  1. Stepping forward with interpolates in unbounded model checking
     proceeding
     

     Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano
     In: IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
     IEEE/ACM
     2006 International Conference on Computer-Aided Design, ICCAD (San Jose, CA (USA)) 2006
     pp.7 (pp.772-778) ISBN:9781595933898 DOI:10.1109/ICCAD.2006.320119

  2. BDD-Based Hardware Verification
     capitolo
     

     Cabodi, Gianpiero; Murciano, Marco
     Formal Methods for Hardware Verification
     Springer (GERMANIA)
     Vol.3965 (pp.78-107) ISBN:9783540343042

  3. Stepping Forward with Interpolants in Unbounded Model Checking
     proceeding
     

     Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano
     In: ICCAD'06: International Conference on Computer Aided Design
     ACM press (STATI UNITI D'AMERICA)
     ICCAD'06: IEEE/ACM International Conference on Computer Aided Design (San Jose) 5-9 november 2006
     (pp.772-778) ISBN:9781595933898

  2005

  1. Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking
     proceeding
     

     Cabodi, Gianpiero; M., Crivellari; Nocco, Sergio; Quer, Stefano
     In: Proceedings of the 2005 Design, Automation and Test in Europe Conference and Exhibition (DATE 2005)
     ACM/IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE 2005) (Munich, Germany) 7-11 March 2005
     pp.2 (pp.688-689) ISBN:9780769522883

  2. Circuit Based Quantification: A Probabilistic/Approximated Approach
     proceeding
     

     Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
     In: Titolo volume non avvalorato
     CFV'05: Third International Workshop on Constraints in Formal Verification (Talllin, Estonia) July
     

  3. Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking
     articolo
     

     G. P., Bischoff; K. S., Brace; Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
     ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
     Vol.119 (pp.33-49) ISSN:1571-0661

  4. Mixing BDD and SAT techniques in Formal Verification
     proceeding
     

     Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
     In: Titolo volume non avvalorato
     AICA'05: Associazione Italiana per l'Informatica e il Calcolo Automatico (Udine, Italy) October
     (pp.495-504)

  5. Are BDDs Still Alive within Sequential Verification?
     articolo
     

     Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
     INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
     Vol.7 (pp.129-142) ISSN:1433-2779

  6. A BMC-Based Formulation for the Scheduling Problem of Hardware Systems
     articolo
     

     Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe
     INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
     Vol.7 (pp.102-117) ISSN:1433-2779

  2004

  1. Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking
     proceeding
     

     Cabodi, Gianpiero; Brace, K. S.; Bischoff, G. P.; Nocco, Sergio; Quer, Stefano
     In: Proceedings of the Second International Workshop on Bounded Model Checking (BMC 2003)
     Second International Workshop on Bounded Model Checking (BMC 2003) (Boston, Massachusetts, USA) July, 2004
     pp.17

  2. Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals
     articolo
     

     Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
     JOURNAL OF UNIVERSAL COMPUTER SCIENCE
     Vol.10 pp.38 (pp.1693-1730) ISSN:0948-6968

  3. Advancements in Mixed BDD and SAT Techniques
     capitolo
     

     Cabodi, Gianpiero; Quer, Stefano
     Advanced Formal Verification
     Kluwer Academic Publishers (STATI UNITI D'AMERICA)
     ISBN:9781402077210

  2003

  1. A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems
     proceeding
     

     Cabodi, Gianpiero; Kondratyev, A.; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Watanabe, Y.
     In: Proceedings of the First International Workshop on Bounded Model Checking (BMC 2003)
     First International Workshop on Bounded Model Checking (BMC 2003) (Boulder, Colorado, USA) July, 2003
     pp.16

  2. A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems
     articolo
     

     Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe
     ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
     Elsevier
     Vol.89 pp.16 (pp.623-638) ISSN:1571-0661 DOI:10.1016/S1571-0661(05)82547-2

  3. Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals.
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano; Nocco, Sergio
     In: Titolo volume non avvalorato
     DATE '03, ACM/IEEE Design Automation and Test in Europe (Munich (DEU)) marzo 2003
     pp.6 (pp.898-903)

  2002

  1. Dynamic Scheduling and Clustering in Symbolic Image Computation
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     DATE'02: IEEE Design Automation and Test in Europe (Paris (F)) March 2002
     (pp.150-156)

  2. Can BDDs compete with SAT solvers on Bounded Model Checking?
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     DAC'39: 39th ACM/IEEE Design Automation Conference (New Orleans (USA)) June 2002
     (pp.117-122)

  3. A Symbolic Approach for the Combined Solution of Scheduling and Allocation
     proceeding
     

     Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, Claudio; Quer, Stefano
     In: Proceedings of the 15th international symposium on System Synthesis
     ACM (STATI UNITI D'AMERICA)
     ISSS'02: ACM/IEEE International Symposium of System Synthesis (Kyoto, Japan) 2-4 ottobre 2002
     pp.6 (pp.237-242) ISBN:9781581135763 DOI:10.1145/581199.581252

  4. Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification
     articolo
     

     Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
     LECTURE NOTES IN COMPUTER SCIENCE
     Vol.LNCS 2404 pp.14 (pp.471-484) ISSN:0302-9743 DOI:10.1007/3-540-45657-0_38

  2001

  1. Programmazione in linguaggio Quick-BASIC: esercizi risolti e proposti
     monografia
     

     Corno, Fulvio; Quer, Stefano; Rebaudengo, Maurizio
     

  2. Biasing symbolic search by means of dynamic activity profiles
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     DATE'01: IEEE Design Automation and Test in Europe (Munich) march 2001
     (pp.09-15)

  3. Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions
     proceeding
     

     Cabodi, Gianpiero
     LECTURE NOTES IN COMPUTER SCIENCE
     In: Titolo volume non avvalorato
     Springer
     Computer Aided Verification 13th International Conference, CAV 2001 (Paris (FRA)) July 18–22, 2001
     Vol.2102 pp.13 (pp.118-130) ISSN:0302-9743 ISBN:9783540423454 DOI:10.1007/3-540-44585-4_11

  4. Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     JOURNAL OF SYSTEMS ARCHITECTURE
     Vol.47 (pp.163-179) ISSN:1383-7621

  2000

  1. Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Passerone, Claudio; Quer, Stefano
     IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES
     Vol.147 (pp.305-312) ISSN:1350-2387 DOI:10.1049/ip-cdt:20000684

  2. Optimizing Sequential Verification by Retiming Transformations
     proceeding
     

     Cabodi, Gianpiero; Quer, Stefano; F., Somenzi
     In: Titolo volume non avvalorato
     DAC--37: 37st ACM/IEEE Design Automation Conference (Los Angeles, USA) June
     (pp.601-606)

  3. Symbolic Forward/Backward Traversals of Large Finite State Machines
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     JOURNAL OF SYSTEMS ARCHITECTURE
     Vol.46 (pp.1137-1158) ISSN:1383-7621

  4. Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks
     articolo
     

     Quer, Stefano; Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; E. M., Sentovich; R. K., Brayton
     FORMAL METHODS IN SYSTEM DESIGN
     Kluwer
     Vol.17 pp.28 (pp.107-134) ISSN:0925-9856 DOI:10.1023/A:1008748802907

  5. Improving symbolic reachability analysis by means of activity profiles
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
     Vol.19 (pp.1065-1075) ISSN:0278-0070

  1999

  1. Cycle-based Symbolic Simulation of Synchronous Circuits
     proceeding
     

     Bertacco, V.; Damiani, M.; Quer, Stefano
     In: Titolo volume non avvalorato
     DAC--36: 36st ACM/IEEE Design Automation Conference (NEw Orleans, Luoisiana, USA) June 1999
     pp.6 (pp.391-396) ISBN:9781581130928

  2. Improving Symbolic Traversals by Means of Activity Profiles
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     DAC-36: 36th ACM/IEEE Design Automation Conference (New Orleans (USA)) June 1999
     (pp.306-311)

  3. Improving the Efficiency of BDD--based operators through Partitioning
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
     Vol.18 pp.12 (pp.545-556) ISSN:0278-0070

  4. Computing Timed Transition Relations for Sequential cycle-based simulation
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Passerone, Claudio; Quer, Stefano
     In: Titolo volume non avvalorato
     IEEE Design, Automation and Test in Europe (Munich, Germany) March 9-12, 1999
     pp.5 (pp.8-12)

  1998

  1. Efficient Computation of Timed Transition Relations
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano
     In: Proceedings of the IEEE/ACM International Workshop on Logic Synthesis (IWLS 1998)
     IEEE/ACM International Workshop on Logic Synthesis (IWLS 1998) (Lake Tahoe, California, USA) June 1998
     pp.6

  2. Binary Decision Diagrams and the Multiple Variable Order Problem
     proceeding
     

     Cabodi, Gianpiero; Quer, Stefano; Meinel, C.; Sack, H.; Slobodova, A.; Stangier, C.
     In: Proceedings of the IEEE/ACM International Workshop on Logic Synthesis (IWLS 1998)
     IEEE/ACM International Workshop on Logic Synthesis (IWLS 1998) (Lake Tahoe, California, USA) June 1998
     pp.7

  3. Reducing Operation Complexity in Symbolic Techniques throughPartitioning
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     ISCAS'98: IEEE International Symposium on Circuits and Systems (Monterey, California, US) June 1998
     Vol.6 pp.4 (pp.322-325) ISBN:9780780344556 DOI:10.1109/ISCAS.1998.705276

  4. Implicit Manipulation of Equivalence Classes for Large Finite State Machines
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES
     Vol.145 (pp.395-402) ISSN:1350-2387

  5. Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS
     Vol.3 (pp.309-340) ISSN:1084-4309

  6. Memory Optimization in Function and Set Manipulation with BDDs
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     SOFTWARE-PRACTICE & EXPERIENCE
     Vol.28 pp.22 (pp.99-120) ISSN:0038-0644

  7. Power Optimization of Core-Based Systems By Address Bus Encoding
     articolo
     

     Benini, L.; DE MICHELI, G.; Macii, Enrico; Poncino, Massimo; Quer, Stefano
     IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS
     Vol.VLSI-6 pp.9 (pp.554-562) ISSN:1063-8210 DOI:10.1109/92.736127

  8. The General Product Machine: a New Model for Symbolic FSM Traversal
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     FORMAL METHODS IN SYSTEM DESIGN
     Vol.12 (pp.267-289) ISSN:0925-9856

  1997

  1. Verification and synthesis of counters based on symbolic techniques
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano
     In: Titolo volume non avvalorato
     Proceedings European Design and Test Conference. ED & TC 97
     pp.6 (pp.176-181) ISBN:9780818677861 DOI:10.1109/EDTC.1997.582355

  2. Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano
     In: Titolo volume non avvalorato
     Proceedings of the 34th Design Automation Conference
     pp.6 (pp.728-733) ISBN:9780780340930 DOI:10.1109/DAC.1997.597241

  3. A Parallel Approach to Symbolic Traversal Based on Set Partitioning
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Lioy, Antonio; Poncino, M.; Quer, Stefano
     In: Titolo volume non avvalorato
     CHARME’97: Correct Hardware Methodologies
     ISBN:9780412813306

  4. System-Level Power Optimization of Special Purpose Applications: The Beach Solution
     proceeding
     

     Benini, L; DE MICHELI, G; Macii, Enrico; Poncino, Massimo; Quer, Stefano
     In: Titolo volume non avvalorato
     ISLPED-97: ACM/IEEE International Symposium on Low Power Electronics and Design (Monterey, CA)
     (pp.24-29) ISBN:9780897919036 DOI:10.1145/263272.263277

  5. On-Going Research on Address Bus Encoding for Low Power: A Status Report
     proceeding
     

     Benini, L; DE MICHELI, G; Macii, Enrico; Poncino, Massimo; Quer, Stefano; Sciuto, D; Silvano, C.
     In: Titolo volume non avvalorato
     IWLS-97: ACM/IEEE 1997 International Workshop on Logic Synthesis (Lake Tahoe, CA)
     

  6. Symbolic FSM Traversal based on the Transition Relation
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico
     IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
     Vol.16 (pp.448-457) ISSN:0278-0070

  1996

  1. Incremental re-encoding for symbolic traversal of product machines
     proceeding
     

     Quer, Stefano; Lavagno, Luciano; Cabodi, Gianpiero; Sentovich, Ellen; Camurati, Paolo Enrico; Brayton, R. K.
     In: European Design Automation Conference - Proceedings
     IEEE
     Proceedings of the 1996 European Design Automation Conference with EURO-VHDL'96 and Exhibition (Geneva (Switz.)) 16-20 September 1996
     pp.6 (pp.158-163)

  2. Verification and Synthesis of Counters based on Symbolic Techniques
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano
     In: Proceedings of the 4th International Workshop on Symbolic Methods and Applications to Circuit Design (SMACD 1996)
     4th International Workshop on Symbolic Methods and Applications to Circuit Design (SMACD 1996) (Leuven Belgium) October, 1996
     

  3. Incremental FSM Re-encoding for Symbolic Traversal of Product Machines
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano; E. M., Sentovich; R. K., Brayton
     In: Titolo volume non avvalorato
     IEEE EURO-DAC'96 (Geneva) September 16-20 1996
     

  4. Decomposed Symbolic Forward Traversals of Large Finite States Machines
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     IEEE EURO-DAC'96 (Geneva) September 16-20 1996
     (pp.170-175)

  5. Improved reachability analysis of large finite state machines
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     ICCAD'96: IEEE International Conference on Computer-Aided Design (San Jose (USA)) November 10-14, 1996
     (pp.354-360)

  6. Enhancing FSM Traversal by Temporary Re-Encoding
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Macii, Enrico; Poncino, Massimo; Quer, Stefano; E., Sentovich
     In: Titolo volume non avvalorato
     ICCD'96: IEEE International Conference on Computer Design (Austin) October 1996
     (pp.6-11) ISBN:9780818675546 DOI:10.1109/ICCD.1996.563524

  1995

  1. Incremental FSM Re-encoding for Simplifying Verification by Symbolic Traversal
     proceeding
     

     Quer, Stefano; Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Sentovich, E. M.; Brayton, R. K.
     In: Proceedings of the ACM/IEEE International Workshop on Logic Synthesis (IWLS 1995)
     ACM/IEEE International Workshop on Logic Synthesis (IWLS 1995) (Lake Tahoe, California, USA) May 1995
     pp.11 (pp.317-327)

  2. Introduzione alla programmazione in linguaggio C.Nozioni fondamentali, esempi ed esercizi
     monografia
     

     Cabodi, Gianpiero; Quer, Stefano; SONZA REORDA, Matteo
     

  3. Extending Equivalence Class Computation to Large FSMs
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     ICCD'95: IEEE International Conference on Computer Design (Austin) October 2-4 1995
     pp.6 (pp.258-263)

  4. Transforming boolean relations by symbolic encoding
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     LECTURE NOTES IN COMPUTER SCIENCE
     In: Correct Hardware Design and Verification Methods
     Springer
     IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 (Frankfurt/Main (DEU)) October 2–4, 1995
     Vol.987 pp.10 (pp.161-170) ISSN:0302-9743 ISBN:9783540603856 DOI:10.1007/3-540-60385-9_10

  5. Computing Subsets of Equivalence Classes for Large FSMs
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     IEEE EURO-DAC'95 (Brighton (UK)) September 18-22 1995
     pp.6 (pp.288-293)

  1994

  1. Detecting hard faults with combined approximate forward / backwardsymbolic techniques
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     ISCAS'94: IEEE International Symposium on Circuits and Systems (London,. UK) May 1994
     pp.4 (pp.299-302) ISBN:9780780319158 DOI:10.1109/ISCAS.1994.408814

  2. Symbolic Traversals of Data Paths with Auxiliary Variables
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     GLSV '94: Fourth Great Lakes Symposium on VLSI (Notre Dame, Indiana, USA) March 1994
     pp.4 (pp.93-96) ISBN:9780818656101

  3. An industrial experience in the built-in self test of embedded RAM
     proceeding
     

     Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo;   barbagallo, S.;   burri, A.;  medina, D.
     In: VTS 1994 : IEEE 12th VLSI Test Symposium
     IEEE Computer Society (STATI UNITI D'AMERICA)
     VTS 1994 : IEEE 12th VLSI Test Symposium (Cherry Hill, NJ (USA)) Apr 25-28, 1994
     pp.6 (pp.306-311) ISBN:9780818654404 DOI:10.1109/VTEST.1994.292296 

  4. System-Level Modeling and Verification: a Comprehensive Design Methodology
     proceeding
     

     Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto;   bayol, C.;   soulas, B.  .
     In: ED&TC 1994 : IEEE European Design and Test Conference EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design
     IEEE Computer Society (STATI UNITI D'AMERICA)
     ED&TC 1994 : IEEE European Design and Test Conference EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design (Paris (France)) Feb 28 - Mar 03, 1994
     pp.5 (pp.636-640) ISBN:9780818654107 DOI:10.1109/EDTC.1994.326811 

  5. A data parallel approach to Boolean function manipulation using BDDs
     proceeding
     

     Cabodi, Gianpiero; Gai, Silvano; Rebaudengo, Maurizio; SONZA REORDA, Matteo
     In: Titolo volume non avvalorato
     Massively Parallel Computing Systems, 1994., Proceedings of the First International Conference on (Ischia (I)) 2-6 May 1994
     pp.13 (pp.163-175) ISBN:9780818663222 DOI:10.1109/MPCS.1994.367081

  6. Auxiliary variables for extending symbolic traversal techniques to data paths
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     DAC-31: 31st ACM/IEEE Desing Automation Conference (San Diego) June 1994
     pp.5 (pp.289-293)

  7. Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     IEEE EURO-DAC94 (Grenoble) September 1994
     (pp.22-27)

  8. Full Symbolic ATPG for Large Circuits
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     ITC'94: IEEE International Test Conference (Washington, DC (USA)) October 1994
     (pp.980-988)

  9. Efficient State Space Pruning in Symbolic Backward Traversal
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     ICCD'94: IEEE International Conference on Computer Design (Cambridge, MA (USA)) October 1994
     (pp.230-235)

  1993

  1. Boolean Function Decomposition in Symbolic FSM Traversal
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
     In: Titolo volume non avvalorato
     ICVC'93: IEEE 3rd International Conference on VLSI and CAD (Taejon, Korea) November 1993
     pp.4 (pp.265-268)

  2. A verifiable design methodology at system-level
     proceeding
     

     Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; C., Bayol; B., Soulas
     In: ICVC93: IEEE 3rd International Conference on VLSI and CAD
     ICVC93: IEEE 3rd International Conference on VLSI and CAD (Taejon (Korea)) Nov 1993
     pp.4 (pp.364-367)

  3. System-level fault modeling and test pattern generation with process algebras
     proceeding
     

     Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
     In: ETC-93: IEEE 3rd European Test Conference
     IEEE Computer Society (STATI UNITI D'AMERICA)
     ETC-93: IEEE 3rd European Test Conference (Rotterdam (The Netherlands)) Apr 19-22, 1993
     pp.10 (pp.47-56) ISBN:9780818633607 DOI:10.1109/ETC.1993.246534

  4. Exploiting symbolic traversal techniques for efficient Process Algebra Manipulation
     proceeding
     

     Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
     In: CHDL'93: 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications
     North-Holland Publishing Co. (PAESI BASSI)
     CHDL'93: 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications (Ottawa, Ontario (Canada)) Apr 26-28, 1993
     pp.14 (pp.31-44) ISBN:9780444816412

  5. An efficient tool for system-level verification of behaviors and temporal properties
     proceeding
     

     Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
     In: EURO-DAC '93: IEEE European Design Automation Conference, 1993, with EURO-VHDL '93
     IEEE Computer Society (STATI UNITI D'AMERICA)
     EURO-DAC '93: IEEE European Design Automation Conference, 1993, with EURO-VHDL '93 (Hamburg (Germany)) Sep 20-24, 1993
     pp.6 (pp.124-129) ISBN:9780818643507 DOI:10.1109/EURDAC.1993.410626

  6. VOVHDL: A verification-oriented dialect of VHDL
     proceeding
     

     Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; C., Bayol; B., Soulas
     In: VFE'93: VHDL Forum for CAD in Europe: Fall '93 Meeting
     VFE'93: VHDL Forum for CAD in Europe: Fall '93 Meeting (Hamburg (Germany)) Sept 23, 1993
     pp.11 (pp.37-47)

  7. A methodology for system-level design for verifiability
     proceeding
     

     Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
     LECTURE NOTES IN COMPUTER SCIENCE
     In: Correct Hardware Design and Verification Methods
     Springer
     IFIPWG10.2 Advanced Research Working Conference, CHARME'93 (Arles (FRA)) May 24–26, 1993
     Vol.683 pp.12 (pp.80-91) ISSN:0302-9743 ISBN:9783540567783 DOI:10.1007/BFb0021716

  8. Esercizi fondamentali in Pascal
     monografia
     

     Camurati, P.; Quer, Stefano; SONZA REORDA, M.
     

  9. Exploiting cofactoring for efficient FSM symbolic traversal based on the Transition Relation
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico
     In: Titolo volume non avvalorato
     ICCD'93: IEEE International Conference on Computer Design (Cambridge, MA (USA)) October 1993
     (pp.229-303)

  10. A Parallel System for Test Pattern Generation
      articolo
      

      G. P., Balboni; Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo
      PARALLEL COMPUTING
      Vol.19 (pp.177-185) ISSN:0167-8191

  11. An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques
      articolo
      

      Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
      JOURNAL OF ELECTRONIC TESTING
      Vol.4 pp.7 (pp.11-17) ISSN:0923-8174

  1992

  1. Centralized vs. distributed implementation of FSM equivalence verification on a parallel system
     proceeding
     

     Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
     In: EWPC '92 : the European Workshops on Parallel Computing: from theory to sound practic
     IOS Press (STATI UNITI D'AMERICA)
     EWPC '92 : the European Workshops on Parallel Computing: from theory to sound practic (Barcelona (Spain)) Mar 23-24, 1992
     pp.4 (pp.554-557) ISBN:9789051990805

  2. Boolean Function Manipulation on Massively Parallel Computers
     proceeding
     

     Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo
     In: Titolo volume non avvalorato
     IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
     IEEE Symposium on the Frontiers of Massively Parallel Computation
     pp.2 (pp.508-509) ISBN:9780818627729 DOI:10.1109/FMPC.1992.234869

  3. A simulation-based approach to test pattern generation for synchronous circuits
     proceeding
     

     Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: Titolo volume non avvalorato
     IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667
     IEEE VLSI Test Symposium
     pp.5 (pp.263-267) ISBN:9780780306233 DOI:10.1109/VTEST.1992.232763

  4. Improved techniques for multiple stuck-at fault analysis using single stuck-at fault test sets
     proceeding
     

     Camurati, Paolo Enrico; Rebaudengo, Maurizio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: Titolo volume non avvalorato
     Circuits and Systems, 1992. ISCAS '92. Proceedings., 1992 IEEE International Symposium on 10-13 May 1992
     pp.4 (pp.383-386) ISBN:9780780305939 DOI:10.1109/ISCAS.1992.229933

  5. Efficient Verification of Sequential Circuits on a Parallel System
     proceeding
     

     Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
     In: Titolo volume non avvalorato
     EDAC'92: IEEE European Design Automation Conference (Brussels)
     pp.5 (pp.64-68) ISBN:9780818626456 DOI:10.1109/EDAC.1992.205895

  6. Sequential circuit diagnosis based on formal verification techniques
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: ITC 1992: IEEE International Test Conference 1992
     IEEE Computer Society (STATI UNITI D'AMERICA)
     ITC 1992: IEEE International Test Conference 1992 (Baltimore MD (USA)) Sept. 20-24 1992
     (pp.187-196)

  7. A new model for improving symbolic Product Machine traversal
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; S., Gai; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: Titolo volume non avvalorato
     DAC-29: 29th ACM/IEEE Design Automation Conference (Anaheim, CA (USA)) June 1992
     pp.6 (pp.614-619)

  8. Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: Proceedings of the 1992 IEEE EURO-DAC
     IEEE EURO-DAC'92 (Hamburg (Germany)) September 1992
     (pp.306-311)

  1991

  1. The use of model checking in ATPG for sequential circuits
     proceeding
     

     Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     LECTURE NOTES IN COMPUTER SCIENCE
     In: Titolo volume non avvalorato
     Springer
     Computer-Aided Verification 2nd International Conference, CAV '90 (New Brunswick, NJ (USA)) June 18-21, 1990
     Vol.531 pp.10 (pp.86-95) ISSN:0302-9743 ISBN:9783540544777 DOI:10.1007/BFb0023722

  2. The Product Machine and Implicit Enumeration to prove FSMs correct
     proceeding
     

     Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: Correct Hardware Design Methodologies
     CHARME 1991: Advanced Research Workshop on Correct Hardware Design Methodologies (Torino (Italy)) June 1991
     pp.12 (pp.51-62) ISBN:9780444893673

  3. An experimental comparison of different approaches to ROM BIST
     proceeding
     

     Barbagallo, S.; Burri, A.; Medina, D.; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: CompEuro’91: IEEE 5th Annual European Computer Conference on VLSI and Computers
     IEEE Computer Society (STATI UNITI D'AMERICA)
     CompEuro’91: IEEE 5th Annual European Computer Conference on VLSI and Computers (Bologna (Italy)) 13-16 May 1991
     pp.5 (pp.567-571) ISBN:9780818621413 DOI:10.1109/CMPEUR.1991.257450

  4. Comparing ATPGs for synchronous sequential circuits
     proceeding
     

     Camurati, Paolo Enrico; Gilli, Marco; Meo, ANGELO RAFFAELE; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: CompEuro’91: IEEE 5th Annual European Computer Conference on VLSI and Computers
     IEEE Computer Society (STATI UNITI D'AMERICA)
     CompEuro’91: IEEE 5th Annual European Computer Conference on VLSI and Computers (Bologna (Italy)) 13-16 May 1991
     pp.5 (pp.224-228) ISBN:9780818621413 DOI:10.1109/CMPEUR.1991.257386

  5. Proving finite state machines correct with an automaton-based method
     proceeding
     

     Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: IEEE First Great Lakes Symposium on VLSI
     IEEE Computer Society (STATI UNITI D'AMERICA)
     IEEE First Great Lakes Symposium on VLSI (Kalamazoo MI (USA),) 1-2 March 1991
     pp.4 (pp.255-258) ISBN:9780818621703 DOI:10.1109/GLSV.1991.143975

  6. Fast Differential Fault Simulation by Dynamic Fault Ordering
     proceeding
     

     Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo
     In: Titolo volume non avvalorato
     ICCD'91: IEEE International Conference on Computer Design (Cambridge, MA (USA)) October 1991
     (pp.60-63)

  7. TPDL*: Extended Temporal Profile Description Language
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     SOFTWARE-PRACTICE & EXPERIENCE
     Vol.21 pp.20 (pp.355-374) ISSN:0038-0644

  1990

  1. Diagnosis Oriented Test Pattern Generation
     proceeding
     

     Camurati, Paolo Enrico; Lioy, Antonio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: Titolo volume non avvalorato
     IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667
     IEEE European Design Automation Conference
     pp.5 (pp.470-474) ISBN:9780818620249 DOI:10.1109/EDAC.1990.136693

  2. A Transputer-based gate-level fault simulator
     articolo
     

     Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo
     MICROPROCESSING AND MICROPROGRAMMING
     ELSEVIER
     Vol.30 pp.6 (pp.529-534) ISSN:0165-6074

  3. Model Checking and Graph Theory in sequential ATPG
     proceeding
     

     Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: CAV 1990: Workshop on Computer-Aided Verification
     CAV 1990: Workshop on Computer-Aided Verification, (Rutgers NJ (USA)) June 1990
     pp.13 (pp.505-517) ISBN:9780821865941

  4. A new algorithm for diagnosis-oriented automatic test pattern generation
     proceeding
     

     Camurati, Paolo Enrico; Medina, D.; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: EuroASIC 1990: IEEE EURO ASIC
     IEEE Computer Society (STATI UNITI D'AMERICA)
     EuroASIC 1990: IEEE EURO ASIC (Paris (France)) 29 May-1 June 1990
     pp.5 (pp.332-336) ISBN:9780818620669 DOI:10.1109/EASIC.1990.207964

  5. A diagnostic test pattern generation algorithm
     proceeding
     

     Camurati, Paolo Enrico; Medina, D.; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: ITC 1990: IEEE International Test Conference 1990
     IEEE Computer Society (STATI UNITI D'AMERICA)
     ITC 1990: IEEE International Test Conference 1990 (Washington DC (USA)) 10-14 Sept. 1990
     pp.7 (pp.52-58) ISBN:9780818690648 DOI:10.1109/TEST.1990.114000

  1989

  1. Probabilistic Testability Analysis
     proceeding
     

     Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: CAD&CG 1989: International Conference on Computer-Aided Design & Computer Graphics
     IAP – International Academic Publisher - Pergamom Press (REGNO UNITO DI GRAN BRETAGNA)
     CAD&CG 1989: International Conference on Computer-Aided Design & Computer Graphics (Beijing (China)) Aug 10-12, 1989
     pp.6 (pp.640-645)

  2. Exact probabilistic testability measures for multi-output circuits
     proceeding
     

     Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: Robotic systems and AMT: IFIP TC5/WG5.3 International Conference on CAD/CAM and AMT, 1989
     North-Holland (PAESI BASSI)
     Robotic systems and AMT: IFIP TC5/WG5.3 International Conference on CAD/CAM and AMT, 1989 (Jerusalem (Israel)) Dc 11-14, 1989
     ISBN:9780444888280

  3. Testability measures with concurrent good simulation
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: ETC'89: IEEE 1st European Test Conference
     IEEE Computer Society (STATI UNITI D'AMERICA)
     ETC'89: IEEE 1st European Test Conference (Paris (France)) 12-14 April 1989
     (pp.144-149) DOI:10.1109/ETC.1989.36236

  4. Expressing logical and temporal conditions in simulation environments: TPDL*
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     MICROPROCESSING AND MICROPROGRAMMING
     Vol.26 pp.12 (pp.241-252) ISSN:0165-6074

  1988

  1. Random Testability Analysis: comparing and evaluating existing approaches
     proceeding
     

     Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     In: Titolo volume non avvalorato
     IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667
     IEEE International Conference on Computer Design
     pp.4 (pp.70-73) ISBN:9780818608728 DOI:10.1109/ICCD.1988.25662

  2. Fault Simulation in a Multilevel Environment: the MOZART Approach
     proceeding
     

     Cabodi, Gianpiero; S., Gai; M., Mezzalama; P., Montessoro; F., Somenzi
     In: Titolo volume non avvalorato
     FTCS18: IEEE 1988 Fault-Tolerant Computing Symposium (Tokyo (Japan)) June 1988
     (pp.128-133)

  1987

  1. Improving Diagnostic capabilities of ATEs via AI techniques
     proceeding
     

     Camurati, Paolo Enrico; Mezzalama, Marco; Prinetto, Paolo Ernesto
     In: 2nd European Workshop on Fault Diagnostics, Reliability and Related Knowledge-based Approaches
     Pergamon (REGNO UNITO DI GRAN BRETAGNA)
     2nd European Workshop on Fault Diagnostics, Reliability and Related Knowledge-based Approaches (Manchester (UK)) April 1987
     ISBN:9780080349220

  1986

  1. C_TPDL* : adapting TPDL* to concurrent simulation environments
     articolo
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
     MICROPROCESSING AND MICROPROGRAMMING
     Elsevier
     Vol.18 pp.8 (pp.39-46) ISSN:0165-6074

  2. Experiences in Prolog based DFT rule checking
     proceeding
     

     Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto
     In: Titolo volume non avvalorato
     FJCC'86: IEEE Fall Joint Computer Conference (Dallas, Texas (USA)) November 1986
     (pp.909-914)

Sito Web

Responsabile

• CAMURATI PAOLO ENRICO

Componenti

• CABODI GIANPIERO
• CARDONE LORENZO
• QUER STEFANO