VrFy: Verification of Formal Requirements using Generic Traces. - Jorrit Olthuis; Rodolfo Jordão; Francesco Robino; Sina Borrami (QRS Companion, 2021)

Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems. - José Proença; Sina Borrami; Jorge Sanchez de Nova; David Pereira; Giann Spilere Nandi (RSSRail, 2022)

Spreadsheet-based Configuration of Families of Real-Time Specifications. - José Proença; David Pereira; Giann Spilere Nandi; Sina Borrami; Jonas Melchert (TiCSA@ETAPS, 2023)

Challenges and Limitations of Utilizing Multi-core/Heterogeneous Logic Elements in the Railway Signaling Applications. - Sina Borrami; Jorge Sanchez de Nova; Xavier Gallois; Jonas Melchert; Martin Törngren (SAFECOMP (Workshops), 2024)