Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. - Francesco Leofante; Simone Vuotto; Erika Ábrahám; Armando Tacchella; Nils Jansen 001 (ISoLA (1), 2016)

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. - Massimo Narizzano; Luca Pulina; Armando Tacchella; Simone Vuotto (NFM, 2018)

Consistency Checking of Functional Requirements. - Simone Vuotto (CoRR, 2018)

Automata-Based Generation of Test Cases for Reactive Systems. - Simone Vuotto (CPS Summer School, PhD Workshop, 2019)

Automata based test generation with SpecPro. - Simone Vuotto; Massimo Narizzano; Luca Pulina; Armando Tacchella (RET@ICSE, 2019)

Poster: Automatic Consistency Checking of Requirements with ReqV. - Simone Vuotto; Massimo Narizzano; Luca Pulina; Armando Tacchella (ICST, 2019)

Property specification patterns at work: verification and inconsistency explanation. - Massimo Narizzano; Luca Pulina; Armando Tacchella; Simone Vuotto (Innov. Syst. Softw. Eng., 2019)

Automated Requirements-Based Testing of Black-Box Reactive Systems. - Massimo Narizzano; Luca Pulina; Armando Tacchella; Simone Vuotto (NFM, 2020)

SMT-Based Consistency Checking of Configuration-Based Components Specifications. - Laura Pandolfo; Luca Pulina; Simone Vuotto (IEEE Access, 2021)

Formal Requirements Analysis and Specification-Based Testing in Cyber-Physical Systems. - Simone Vuotto (2021)