Follow
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
142018
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), 307-323, 2019
112019
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
7*
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
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
42016
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
22019
Requirements-Driven Design of Cyber-Physical Systems
S Vuotto
Cyber-Physical Systems Workshop 2018 2208, 38-44, 2018
22018
SMT-Based Consistency Checking of Configuration-Based Components Specifications
L Pandolfo, L Pulina, S Vuotto
IEEE Access 9, 83718-83726, 2021
12021
Consistency checking of functional requirements
S Vuotto
arXiv preprint arXiv:1804.10486, 2018
12018
Progetto PROSSIMO: Strumenti per la formalizzazione e verifica di requisiti
S Vuotto
2019
Progetto PROSSIMO: Tutorial “Modellazione e verifica nei Cyber-Physical Systems”
G Cicala, S Vuotto
2019
Progetto PROSSIMO: Generazione Automatica di Test
S Vuotto, L Pulina
2019
Progetto PROSSIMO: Analisi di conformità dei requisiti
S Vuotto, L Pulina
2019
Automata-Based Generation of Test Cases for Reactive Systems.
S Vuotto
CPS Summer School, PhD Workshop, 96-106, 2019
2019
Journal of Information Organization
S Vuotto
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–16