Simone Vuotto

According to our database, Simone Vuotto authored at least 9 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

SMT-Based Consistency Checking of Configuration-Based Components Specifications.

Laura Pandolfo, Luca Pulina, Simone Vuotto

IEEE Access, 2021

2020

Automated Requirements-Based Testing of Black-Box Reactive Systems.

Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Property specification patterns at work: verification and inconsistency explanation.

Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto

Innov. Syst. Softw. Eng., 2019

Poster: Automatic Consistency Checking of Requirements with ReqV.

Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Automata based test generation with SpecPro.

Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella

Proceedings of the 6th International Workshop on Requirements Engineering and Testing, 2019

Automata-Based Generation of Test Cases for Reactive Systems.

Simone Vuotto

Proceedings of the Cyber-Physical Systems PhD Workshop 2019, an event held within the CPS Summer School "Designing Cyber-Physical Systems, 2019

2018

Consistency Checking of Functional Requirements.

Simone Vuotto

CoRR, 2018

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals.

Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2016

Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.

Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016