VUOTTO, SIMONE

Nome completo

VUOTTO, SIMONE

Afferenza

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi

Mostra records

Risultati 1 - 6 di 6 (tempo di esecuzione: 0.014 secondi).

2019-01-01 Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A.

2016-01-01 Leofante, Francesco; Vuotto, Simone; Ábrahám, Erika; Tacchella, Armando; Jansen, Nils

2018-01-01 Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Vuotto, Simone

2021-01-21 Vuotto, Simone

2019-01-01 Vuotto, Simone; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando

2019-01-01 Narizzano, M.; Pulina, L.; Tacchella, A.; Vuotto, S.

Titolo	Data di pubblicazione	Autore(i)
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
Formal Requirements Analysis and Specification-Based Testing in Cyber-Physical Systems	21-gen-2021	Vuotto, Simone
Poster: Automatic Consistency Checking of Requirements with ReqV	1-gen-2019	Vuotto, Simone; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando
Property specification patterns at work: verification and inconsistency explanation	1-gen-2019	Narizzano, M.; Pulina, L.; Tacchella, A.; Vuotto, S.