Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Stats
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browsing publications by
Paulius Stankaitis
Newcastle Authors
Title
Year
Full text
Paulius Stankaitis
Dr Alexei Iliasov
Professor Alexander Romanovsky
A refinement based method for developing distributed protocols
2019
Paulius Stankaitis
Dr Alexei Iliasov
Professor Alexander Romanovsky
Modelling Hybrid Train Speed Controller using Proof and Refinement
2019
Alessandro De Gennaro
Dr Andrey Mokhov
Paulius Stankaitis
Maxim Rykunov
Prototyping Resilient Processing Cores in Workcraft
2017
Paulius Stankaitis
Dr Alexei Iliasov
Safety verification of modern railway signalling with the SafeCap platform
2017
Paulius Stankaitis
Dr Alexei Iliasov
Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks
2017
Paulius Stankaitis
Dr Alexei Iliasov
Safety Verification of Heterogeneous Railway Networks
2016
Dr Alexei Iliasov
Paulius Stankaitis
David Adjepon-Yamoah
Static Verification of Railway Schema and Interlocking Design Data
2016