Folgen
Simone Vuotto
Simone Vuotto
Bestätigte E-Mail-Adresse bei edu.unige.it
Titel
Zitiert von
Zitiert von
Jahr
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
202018
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
152019
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
92019
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*
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
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
32019
SMT-based consistency checking of configuration-based components specifications
L Pandolfo, L Pulina, S Vuotto
IEEE Access 9, 83718-83726, 2021
22021
Requirements-Driven Design of Cyber-Physical Systems
S Vuotto
Cyber-Physical Systems Workshop 2018 2208, 38-44, 2018
22018
Consistency checking of functional requirements
S Vuotto
arXiv preprint arXiv:1804.10486, 2018
12018
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–17