Dominic Taylor

According to our database, Dominic Taylor authored at least 7 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Configurable Interlocking Verification.

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky

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

2024

Safety Invariant Engineering for Interlocking Verification.

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky

Proceedings of the Computer Safety, Reliability, and Security, 2024

2023

Practical Verification of Railway Signalling Programs.

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky

IEEE Trans. Dependable Secur. Comput., 2023

The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool.

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky

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

2022

Safety Invariant Verification that Meets Engineers' Expectations.

Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky

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

2021

SafeCap: from formal verification of railway interlocking to its certification.

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky

CoRR, 2021

2018

Formal Verification of Signalling Programs with SafeCap.

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky

Proceedings of the Computer Safety, Reliability, and Security, 2018