Simone Vuotto

12 papers A 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2021 — —
Formal Requirements Analysis and Specification-Based Testing in Cyber-Physical Systems.
Simone Vuotto
2021 J jnl
SMT-Based Consistency Checking of Configuration-Based Components Specifications.
IEEE Access
Laura Pandolfo, Luca Pulina, Simone Vuotto
2020 — conf
Automated Requirements-Based Testing of Black-Box Reactive Systems.
NFM
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
2020 J jnl
Automated Requirements-Based Testing of Black-Box Reactive Systems.
CoRR
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
2019 — conf
Automata based test generation with SpecPro.
RET@ICSE
Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella
2019 — conf
Automata-Based Generation of Test Cases for Reactive Systems.
CPS Summer School, PhD Workshop
Simone Vuotto
2019 A conf
Poster: Automatic Consistency Checking of Requirements with ReqV.
ICST
Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella
2019 J jnl
Property specification patterns at work: verification and inconsistency explanation.
Innov. Syst. Softw. Eng.
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
2018 J jnl
Consistency Checking of Functional Requirements.
CoRR
Simone Vuotto
2018 — conf
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals.
NFM
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
2017 J jnl
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals.
CoRR
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
2016 — conf
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.
ISoLA (1)
Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen