Login / Signup
Dominic Taylor
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 5
Top Topics
Invariance Properties
Formal Verification
False Acceptance Rate
Model Checker
Top Venues
RSSRail
CoRR
SAFECOMP
IEEE Trans. Dependable Secur. Comput.
</>
Publications
</>
Alexei Iliasov
,
Dominic Taylor
,
Linas Laibinis
,
Alexander B. Romanovsky
Practical Verification of Railway Signalling Programs.
IEEE Trans. Dependable Secur. Comput.
20 (1) (2023)
Alexei Iliasov
,
Dominic Taylor
,
Linas Laibinis
,
Alexander B. Romanovsky
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool.
RSSRail
(2023)
Alexei Iliasov
,
Linas Laibinis
,
Dominic Taylor
,
Ilya Lopatkin
,
Alexander B. Romanovsky
Safety Invariant Verification that Meets Engineers' Expectations.
RSSRail
(2022)
Alexei Iliasov
,
Dominic Taylor
,
Linas Laibinis
,
Alexander B. Romanovsky
SafeCap: from formal verification of railway interlocking to its certification.
CoRR
(2021)
Alexei Iliasov
,
Dominic Taylor
,
Linas Laibinis
,
Alexander B. Romanovsky
Formal Verification of Signalling Programs with SafeCap.
SAFECOMP
(2018)