Dr Linas Laibinis
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
| Proof Semantics of Railway Interlocking | 2025 |
|
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 |
|
