Publications by Paulius Stankaitis - ePrints

Newcastle Authors	Title	Year
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