Publications by Dr Linas Laibinis - ePrints

Newcastle Authors	Title	Year
Dr Alexei Iliasov Dr Linas Laibinis Emeritus Professor Alexander Romanovsky	Safety Invariant Engineering for Interlocking Verification	2024
Dr Alexei Iliasov Dr Linas Laibinis Emeritus Professor Alexander Romanovsky	Practical Verification of Railway Signalling Programs	2023
Dr Alexei Iliasov Dr Linas Laibinis Emeritus Professor Alexander Romanovsky	The SafeCap trajectory: industry-driven improvement of an interlocking verification tool	2023
Dr Alexei Iliasov Dr Linas Laibinis Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Safety Invariant Verification that Meets Engineers’ Expectations	2022
Dr Linas Laibinis Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Mutation Testing for Rule-Based Verification of Railway Signaling Data	2021
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Linas Laibinis	Quantitative Validation of Formal Domain Models	2019
Dr Alexei Iliasov Dr Linas Laibinis Emeritus Professor Alexander Romanovsky	Formal Verification of Signalling Programs with SafeCap	2018
Dr Alexei Iliasov Dr Linas Laibinis Emeritus Professor Alexander Romanovsky	Formal Verification of Signalling Programs with SafeCap	2018