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