Sina Borrami

Orcid: 0000-0003-1737-6509

According to our database¹, Sina Borrami authored at least 3 papers between 2021 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Spreadsheet-based Configuration of Families of Real-Time Specifications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

José Proença

Sina Borrami

Jorge Sanchez de Nova

David Pereira

Giann Spilere Nandi

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2021

VrFy: Verification of Formal Requirements using Generic Traces.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Sina Borrami

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...