Simone Vuotto

According to our database1, Simone Vuotto authored at least 8 papers between 2016 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Automated Requirements-Based Testing of Black-Box Reactive Systems.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019
Property specification patterns at work: verification and inconsistency explanation.
Innov. Syst. Softw. Eng., 2019

Poster: Automatic Consistency Checking of Requirements with ReqV.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Automata based test generation with SpecPro.
Proceedings of the 6th International Workshop on Requirements Engineering and Testing, 2019

Automata-Based Generation of Test Cases for Reactive Systems.
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.
CoRR, 2018

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2016
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016


  Loading...