According to our database1, Simone Vuotto authored at least 8 papers between 2016 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
Innov. Syst. Softw. Eng., 2019
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019
Proceedings of the 6th International Workshop on Requirements Engineering and Testing, 2019
Proceedings of the Cyber-Physical Systems PhD Workshop 2019, an event held within the CPS Summer School "Designing Cyber-Physical Systems, 2019
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
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