Simone Vuotto

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 11

Top Topics

Reactive Systems

Consistency Checking

Temporal Reasoning

Top Venues

Innov. Syst. Softw. Eng.

Publications

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