Sina Borrami
Orcid: 0000-0003-1737-6509
According to our database1,
Sina Borrami
authored at least 4 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Challenges and Limitations of Utilizing Multi-core/Heterogeneous Logic Elements in the Railway Signaling Applications.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024
2023
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023
2022
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022
2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021