Paulius Stankaitis
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
| A Railway Simulation Suite For Modelling Advanced Railway Control Systems | 2017 |
|
Dr Alexei Iliasov
Paulius Stankaitis
Emeritus Professor Alexander Romanovsky
| Proving Event-B models with reusable generic lemmas | 2016 |
|
Alessandro De Gennaro
Paulius Stankaitis
| Efficient encoding of instructions of ARM Cortex M0+ processor | 2015 |
|
Dr Alexei Iliasov
David Ebo Adjepon-Yamoah
Paulius Stankaitis
Emeritus Professor Alexander Romanovsky
| Putting Provers on the Cloud | 2015 |
|
