Login / Signup
Sina Borrami
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Control System
Formal Methods
Safety Analysis
Multiple Models
Top Venues
RSSRail
TiCSA@ETAPS
QRS Companion
</>
Publications
</>
José Proença
,
David Pereira
,
Giann Spilere Nandi
,
Sina Borrami
,
Jonas Melchert
Spreadsheet-based Configuration of Families of Real-Time Specifications.
TiCSA@ETAPS
(2023)
José Proença
,
Sina Borrami
,
Jorge Sanchez de Nova
,
David Pereira
,
Giann Spilere Nandi
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems.
RSSRail
(2022)
Jorrit Olthuis
,
Rodolfo Jordão
,
Francesco Robino
,
Sina Borrami
VrFy: Verification of Formal Requirements using Generic Traces.
QRS Companion
(2021)