Serena Serafina Serbinowska
Orcid: 0000-0002-9259-1586
According to our database1,
Serena Serafina Serbinowska
authored at least 4 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2022
2023
2024
0
1
2
3
4
1
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024
Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets.
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024
2022