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 | 23 | 2018 |
Property specification patterns at work: verification and inconsistency explanation M Narizzano, L Pulina, A Tacchella, S Vuotto Innovations in Systems and Software Engineering 15, 307-323, 2019 | 18 | 2019 |
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 | 10 | 2019 |
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 | 8* | |
Combining static and runtime methods to achieve safe standing-up for humanoid robots F Leofante, S Vuotto, E Ábrahám, A Tacchella, N Jansen Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 4 | 2016 |
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 | 3 | 2019 |
SMT-based consistency checking of configuration-based components specifications L Pandolfo, L Pulina, S Vuotto IEEE Access 9, 83718-83726, 2021 | 2 | 2021 |
Requirements-Driven Design of Cyber-Physical Systems S Vuotto Cyber-Physical Systems Workshop 2018 2208, 38-44, 2018 | 2 | 2018 |
Automata-Based Generation of Test Cases for Reactive Systems. S Vuotto CPS Summer School, PhD Workshop, 96-106, 2019 | 1 | 2019 |
Consistency checking of functional requirements S Vuotto arXiv preprint arXiv:1804.10486, 2018 | 1 | 2018 |
Formal Requirements Analysis and Specification-Based Testing in Cyber-Physical Systems S Vuotto Università degli studi di Genova, 2021 | | 2021 |
Formal Specifications using Linear Temporal Logic S Vuotto Journal of Information 10 (1), 13, 2020 | | 2020 |
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 |
Journal of Information Organization S Vuotto | | |
ReqV: A Tool for Requirements Formal Consistency Checking M Narizzano, L Pulina, A Tacchella, S Vuotto | | |