Simone Vuotto
Simone Vuotto
edu.unige.it üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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), 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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–10