Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor Alexander Romanovsky

Newcastle AuthorsTitleYearFull text
Flavio Primo
Professor Alexander Romanovsky
Professor Paolo Missier
A customisable pipeline for the semi-automateddiscovery of online activists and social campaigns onTwitter2021
Paulius Stankaitis
Dr Alexei Iliasov
Professor Alexander Romanovsky
A refinement-based formal modelling and verification of a distributed signalling systems2021
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
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
Mohammed Al-Hayanni
Dr Ashur Rafiev
Dr Fei Xia
Dr Rishad Shafik
Professor Alexander Romanovsky
et al.
PARMA: Parallelization-Aware Run-time Management for Energy-Efficient Many-Core Systems2020
1234567891011121314151617181920...