Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Emeritus Professor Alexander Romanovsky

Newcastle AuthorsTitleYearFull text
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
Configurable Interlocking Verification2026
Dr Linas Laibinis
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
Proof Semantics of Railway Interlocking2025
Dr Alexei Iliasov
Dr Linas Laibinis
Emeritus Professor Alexander Romanovsky
Safety Invariant Engineering for Interlocking Verification2024
Dr Sergiy Bogomolov
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
Dr Paulius Stankaitis
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems2023
Dr Alexei Iliasov
Dr Linas Laibinis
Emeritus Professor Alexander Romanovsky
Practical Verification of Railway Signalling Programs2023
Dr Alexei Iliasov
Dr Linas Laibinis
Emeritus Professor Alexander Romanovsky
The SafeCap trajectory: industry-driven improvement of an interlocking verification tool2023
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
Formal verification of railway interlocking and its safety case2022
Dr Alexei Iliasov
Dr Linas Laibinis
Dr Ilya Lopatkin
Emeritus Professor Alexander Romanovsky
Safety Invariant Verification that Meets Engineers’ Expectations2022
Flavio Primo
Emeritus Professor Alexander Romanovsky
Professor Paolo Missier
A customisable pipeline for the semi-automated discovery of online activists and social campaigns on Twitter2021
Dr Paulius Stankaitis
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
A refinement-based development of a distributed signalling system2021
Dr Linas Laibinis
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
Mutation Testing for Rule-Based Verification of Railway Signaling Data2021
Mohammed Al-Hayanni
Dr Fei Xia
Dr Ashur Rafiev
Emeritus Professor Alexander Romanovsky
Professor Rishad Shafik
et al.		Amdahl’s law in the context of heterogeneous many-core systems – a survey2020
Dr Zhenyu Wen
Dr Rawaa Qasha
Professor Raj Ranjan
Professor Paul Watson
Emeritus Professor Alexander Romanovsky
Dynamically Partitioning Workflow over Federated Clouds for Optimising the Monetary Cost and Handling Run-Time Failures2020
Dr Paulius Stankaitis
Dr Alexei Iliasov
Dr Keiichi Ishikawa
Emeritus Professor Alexander Romanovsky
Formal Distributed Protocol Development for Reservation of Railway Sections2020
Dr Anatoliy Gorbenko
Emeritus Professor Alexander Romanovsky
Dr Olga Tarasyuk
From Analyzing Operating System Vulnerabilities to Designing Multiversion Intrusion-Tolerant Architectures2020
1234567891011121314151617181920...>>