Simone Vuotto
Title
Cited by
Cited by
Year
Consistency of property specification patterns with boolean and constrained numerical signals
M Narizzano, L Pulina, A Tacchella, S Vuotto
NASA Formal Methods Symposium, 383-398, 2018
102018
Property specification patterns at work: Verification and inconsistency explanation
M Narizzano, L Pulina, A Tacchella, S Vuotto
Innovations in Systems and Software Engineering 15 (3-4), 307-323, 2019
52019
Combining static and runtime methods to achieve safe standing-up for humanoid robots
F Leofante, S Vuotto, E ┴brahßm, A Tacchella, N Jansen
International Symposium on Leveraging Applications of Formal Methods, 496-514, 2016
52016
Poster: Automatic consistency checking of requirements with reqv
S Vuotto, M Narizzano, L Pulina, A Tacchella
2019 12th IEEE Conference on Software Testing, Validation and Verificationá…, 2019
32019
Automata based test generation with SpecPro
S Vuotto, M Narizzano, L Pulina, A Tacchella
2019 IEEE/ACM 6th International Workshop on Requirements Engineering andá…, 2019
12019
Automata-Based Generation of Test Cases for Reactive Systems.
S Vuotto
CPS Summer School, PhD Workshop, 96-106, 2019
2019
Consistency Checking of Functional Requirements
S Vuotto
arXiv preprint arXiv:1804.10486, 2018
2018
Requirements-Driven Design of Cyber-Physical Systems
S Vuotto
Cyber-Physical Systems Workshop 2018 2208, 38-44, 2018
2018
Automated Requirements-Based Testing of Black-Box Reactive Systems
M Narizzano, L Pulina, A Tacchella, S Vuotto
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Fieldá…, 0
ReqV: A Tool for Requirements Formal Consistency Checking
M Narizzano, L Pulina, A Tacchella, S Vuotto
The system can't perform the operation now. Try again later.
Articles 1–10