Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor Alexander Romanovsky

Newcastle AuthorsTitleYearFull text
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal verification of railway interlocking and its safety case2022
Flavio Primo
Professor Alexander Romanovsky
Professor Paolo Missier
A customisable pipeline for the semi-automateddiscovery of online activists and social campaigns onTwitter2021
Dr Paulius Stankaitis
Dr Alexei Iliasov
Professor Alexander Romanovsky
A refinement-based development of a distributed signalling system2021
Dr Linas Laibinis
Dr Alexei Iliasov
Professor Alexander Romanovsky
Mutation Testing for Rule-Based Verification of Railway Signaling Data2021
Mohammed Al-Hayanni
Dr Fei Xia
Dr Ashur Rafiev
Professor Alexander Romanovsky
Dr 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
Professor Alexander Romanovsky
et al.
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
Professor Alexander Romanovsky
Formal Distributed Protocol Development for Reservation of Railway Sections2020
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
From Analyzing Operating System Vulnerabilities to Designing Multiversion Intrusion-Tolerant Architectures2020
Dr Zhenyu Wen
Professor Raj Ranjan
Professor Alexander Romanovsky
Dr Jiawei Xu
GA-Par: Dependable Microservice Orchestration Framework for Geo-Distributed Clouds2020
Ali Aalsaud
Dr Fei Xia
Dr Ashur Rafiev
Dr Rishad Shafik
Professor Alexander Romanovsky
et al.
Low-complexity run-time management of concurrent workloads for energy-efficient multi-core systems2020
1234567891011121314151617181920...