Publications by Dr Alexei Iliasov - ePrints

Newcastle Authors	Title	Year
Dr Sergiy Bogomolov Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Paulius Stankaitis	A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems	2023
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 Emeritus Professor Alexander Romanovsky	Formal verification of railway interlocking and its safety case	2022
Dr Alexei Iliasov Dr Linas Laibinis Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Safety Invariant Verification that Meets Engineers’ Expectations	2022
Dr Paulius Stankaitis Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	A refinement-based development of a distributed signalling system	2021
Dr Linas Laibinis Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Mutation Testing for Rule-Based Verification of Railway Signaling Data	2021
Dr Paulius Stankaitis Dr Alexei Iliasov Dr Keiichi Ishikawa Emeritus Professor Alexander Romanovsky	Formal Distributed Protocol Development for Reservation of Railway Sections	2020