Massimo Narizzano
-
Ricercatore universitario
-
Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS
Sezione interscuola politecnica del DIBRIS
-
Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS
IINF-05/A - Sistemi di elaborazione delle informazioni
Didattica
Insegnamenti
2025 - 2026
-
INFORMATICA PER L'INGEGNERIA INDUSTRIALE (cod. 56760)
CORSO DI LAUREA - INGEGNERIA MECCANICA -
PROGRAMMAZIONE PER SISTEMI EMBEDDED (cod. 72536)
CORSO DI LAUREA - INGEGNERIA MECCANICA -
SOFTWARE ENGINEERING (cod. 111102)
CORSO DI LAUREA MAGISTRALE - COMPUTER ENGINEERING -
SOFTWARE ENGINEERING LAB (cod. 111100)
CORSO DI LAUREA MAGISTRALE - COMPUTER ENGINEERING
2024 - 2025
-
PROGRAMMAZIONE PER SISTEMI EMBEDDED (cod. 72536)
CORSO DI LAUREA - INGEGNERIA MECCANICA -
SOFTWARE ENGINEERING (cod. 111102)
CORSO DI LAUREA MAGISTRALE - COMPUTER ENGINEERING -
SOFTWARE ENGINEERING LAB (cod. 111100)
CORSO DI LAUREA MAGISTRALE - COMPUTER ENGINEERING
Ricerca
Pubblicazioni IRIS
-
Verification Of Data-Intensive Embedded Systems
Anno: 2023 -
Chapter 30. Reasoning with Quantified Boolean Formulas
Anno: 2021 -
Property specification patterns at work: verification and inconsistency explanation
Anno: 2019 -
Automata based test generation with SpecPro
Anno: 2019 -
Poster: Automatic Consistency Checking of Requirements with ReqV
Anno: 2019
- massimo.narizzano@unige.it
- Telefono
- (+39) 010 33 52072
Ricevimento
Il Docente riceve su appuntamento, sia di persona che in via telematica (Teams.
