Simone Vuotto
Research Assistant
svuotto@uniss.it

 

 

About Me

He is research assistant at the University of Sassari and PhD student at the University of Genoa. He graduated in Computer Engineering from the University of Genoa in 2016. He worked as a Software Engineer in the travel industry for over one year and for an high-tech Italian startup. His research activities focus on Formal Methods and Requirements Engineering.

Research Interests

Formal Methods, Computational Semantics, AI, Machine Learning, Optimization

Publications

2019

Narizzano, M; Pulina, L; Tacchella, A; Vuotto, S

Property specification patterns at work: verification and inconsistency explanation Journal Article

Innovations in Systems and Software Engineering, 15 (3-4), pp. 307-323, 2019.

Links | BibTeX

Vuotto, S; Narizzano, M; Pulina, L; Tacchella, A

Automata based test generation with SpecPro Conference

Institute of Electrical and Electronics Engineers Inc., 2019.

Links | BibTeX

Vuotto, S; Narizzano, M; Pulina, L; Tacchella, A

Poster: Automatic consistency checking of requirements with ReqV Conference

Institute of Electrical and Electronics Engineers Inc., 2019.

Links | BibTeX

Vuotto, S

Automata-based generation of test cases for reactive systems Conference

2457 , CEUR-WS, 2019.

Links | BibTeX

2018

Narizzano, M; Pulina, L; Tacchella, A; Vuotto, S

Consistency of property specification patterns with boolean and constrained numerical signals Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10811 LNCS , pp. 383-398, 2018.

Links | BibTeX

Vuotto, S

Requirements-driven design of cyber-physical systems Conference

2208 , CEUR-WS, 2018.

Links | BibTeX

2016

Leofante, F; Vuotto, S; Ábrahám, E; Tacchella, A; Jansen, N

Combining static and runtime methods to achieve safe standing-up for humanoid robots Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9952 LNCS , pp. 496-514, 2016.

Links | BibTeX