Publications by Dr Paulius Stankaitis - ePrints

Newcastle Authors	Title	Year
Dr Sergiy Bogomolov Dr Alexei Iliasov Professor Alexander Romanovsky Dr Paulius Stankaitis	A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems	2023
Dr Paulius Stankaitis Dr Alexei Iliasov Professor Alexander Romanovsky	A refinement-based development of a distributed signalling system	2021
Dr Paulius Stankaitis Dr Alexei Iliasov Dr Keiichi Ishikawa Professor Alexander Romanovsky	Formal Distributed Protocol Development for Reservation of Railway Sections	2020
Dr Paulius Stankaitis Dr Alexei Iliasov 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 Professor Alexander Romanovsky	Modelling Hybrid Train Speed Controller using Proof and Refinement	2019
Dr Alexei Iliasov Dr Paulius Stankaitis Professor Alexander Romanovsky	Proving Event-B Models with Reusable Generic Lemmas	2016
Dr Alexei Iliasov Dr Paulius Stankaitis David Ebo Adjepon-Yamoah 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