FM - Formal Methods Group

The Formal Methods Group is active in several research areas related to the application of formal methods and symbolic techniques, like formal verification of circuits by means of Model Checking, high-level synthesis and decision techniques in bounded spaces.
The group has worked in the context of logic function representation and manipulation based on Binary Decision Diagrams and SAT solvers. Since 2007 the group has taken part to the Hardware Model Checking Competition with the PdTRAV tool with excellent results.
The group recently extended its range of competence to embedded systems design and to the development of efficient algorithms for embedded systems, with emphasis of GPU and GPGPU platforms and applications to computer vision.

Skills

  • Formal verification
  • Logic function representation
  • Binary Decision Diagrams
  • Satisfiability solvers
  • Model Checking
  • Computer vision for embedded systems
  • Embedded systems design
  • Logic synthesis and optimization
  • Embedded systems design for automotive applications

Projects and publications

  • Selected funded research projects
    • PROGETTAZIONE, VALIDAZIONE E TEST DI UN SISTEMA DI TRACCIABILITÀ BASATO SU TECNOLOGIA RFID
      CABODI GIANPIERO
      2020 - 2020 (Completed)
    • VERIFICA DI TECNOLOGIE PER LA PROTEZIONE DA ATTACCHI DIGITALI DEI SISTEMI EMBEDDED
      CABODI GIANPIERO
      2018 - 2018 (Completed)
    • METODOLOGIE INNOVATIVE DI PROGETTAZIONE, VALIDAZIONE E TEST, APPLICATE A SISTEMI EMBEDDED PER CONNETTIVITÀ VEICOLARE
      CABODI GIANPIERO
      2017 - 2018 (Completed)
    • METODOLOGIE INNOVATIVE DI PROGETTAZIONE, VALIDAZIONE E TEST, APPLICATE A SISTEMI EMBEDDED HARDWARE E SOFTWARE, IN AMBITO AUTOMOTIVE
      QUER STEFANO
      2017 - 2018 (Completed)
    • METODOLOGIE PER LA PROGETTAZIONE DI HMI IN AMBITO AUTOMOTIVE, MEDIANTE TECNOLOGIA HTML5
      CABODI GIANPIERO
      2016 - 2017 (Completed)
    • METODOLOGIE INNOVATIVE DI PROGETTAZIONE, VALIDAZIONE E TEST, APPLICATE A SISTEMI EMBEDDED PER CONNETTIVITÀ V2X
      CABODI GIANPIERO
      2016 - 2017 (Completed)
    • METODOLOGIE INNOVATIVE DI PROGETTAZIONE E REALIZZAZIONE DI ALGORITMI DI PATH PLANNING MEDIANTE GPCPU
      CABODI GIANPIERO
      2016 - 2017 (Completed)
    • METODOLOGIE INNOVATIVE DI HMI IN AMBITO AUTOMOTIVE, MEDIANTE TECNOLOGIA HTML5
      CABODI GIANPIERO
      2016 - 2016 (Completed)
    • ARCHITETTURE DI SERVICE DELIVERY PER SISTEMI MOBILI
      CABODI GIANPIERO
      2014 - 2015 (Completed)
    • METODOLOGIE INNOVATIVE DI PROGETTAZIONE, VALIDAZIONE E TEST, APPLICATE A SISTEMI EMBEDDED HARDWARE E SOFTWARE .....
      CABODI GIANPIERO
      2014 - 2015 (Completed)
    • TECNICHE DI VISIONE ARTIFICIALE, GESTIONE E MANIPOLAZIONE DI IMMAGINI, NELL'AMBITO DI APPLICAZIONI EMBEDDED
      CABODI GIANPIERO
      2012 - 2013 (Completed)
    • TECNICHE DI PROGETTAZIONE MODEL BASED VALIDAZIONE E TEST APPLICATE A SISTEMI EMBEDDED IN AMBITO AUTOMOTIVE
      CABODI GIANPIERO
      2012 - 2012 (Completed)
    • TECNICA DI SPECIFICA VALIDAZIONE E TEST PER SISTEMI EMBEDDED APPLICATI A MONITORAGGIO DEL TERRITORIO E GESTIONE DI ENERGIE RINNOVABILI
      CABODI GIANPIERO
      2011 - 2012 (Completed)
    • TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED - A.AGG. 876-2008
      CABODI GIANPIERO
      2010 - 2010 (Completed)
    • OSMOSIS -OPEN SOURCE MODELLING AND HARDWARE SOFTWARE CODESIGN OF EMBEDDED SYSTEMS
      CABODI GIANPIERO, LAVAGNO LUCIANO
      2008 - 2010 (Completed)
    • TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED
      CABODI GIANPIERO
      2009 - 2009 (Completed)
    • TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED
      CABODI GIANPIERO
      2008 - 2009 (Completed)