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 Paulius Stankaitis
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
| A refinement-based development of a distributed signalling system | 2021 |
|
Dr Paulius Stankaitis
Dr Alexei Iliasov
Dr Keiichi Ishikawa
Emeritus Professor Alexander Romanovsky
| Formal Distributed Protocol Development for Reservation of Railway Sections | 2020 |
|
Dr Paulius Stankaitis
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
| A refinement based method for developing distributed protocols | 2019 |
|
Alessandro De Gennaro
Dr Paulius Stankaitis
Dr Andrey Mokhov
| Efficient Composition of Scenario-based Hardware Specifications | 2019 |
|
Dr Paulius Stankaitis
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
| Modelling Hybrid Train Speed Controller using Proof and Refinement | 2019 |
|
Dr Alexei Iliasov
Dr Paulius Stankaitis
Emeritus Professor Alexander Romanovsky
| Proving Event-B Models with Reusable Generic Lemmas | 2016 |
|
Dr Alexei Iliasov
Dr Paulius Stankaitis
David Ebo Adjepon-Yamoah
Emeritus Professor Alexander Romanovsky
| Rodin Platform Why3 Plug-In | 2016 |
|
Dr Alexei Iliasov
Dr Paulius Stankaitis
David Adjepon-Yamoah
| Static Verification of Railway Schema and Interlocking Design Data | 2016 |
|
