VUOTTO, SIMONE
VUOTTO, SIMONE
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.0 secondi).
Automata based test generation with SpecPro
2019-01-01 Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A.
Combining static and runtime methods to achieve safe standing-up for humanoid robots
2016-01-01 Leofante, Francesco; Vuotto, Simone; Ábrahám, Erika; Tacchella, Armando; Jansen, Nils
Consistency of property specification patterns with boolean and constrained numerical signals
2018-01-01 Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Vuotto, Simone
Poster: Automatic Consistency Checking of Requirements with ReqV
2019-01-01 Vuotto, Simone; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automata based test generation with SpecPro | 1-gen-2019 | Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A. | |
| Combining static and runtime methods to achieve safe standing-up for humanoid robots | 1-gen-2016 | Leofante, Francesco; Vuotto, Simone; Ábrahám, Erika; Tacchella, Armando; Jansen, Nils | |
| Consistency of property specification patterns with boolean and constrained numerical signals | 1-gen-2018 | Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Vuotto, Simone | |
| Poster: Automatic Consistency Checking of Requirements with ReqV | 1-gen-2019 | Vuotto, Simone; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando |