Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor Alexander Romanovsky

Newcastle AuthorsTitleYearFull text
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
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
Flavio Primo
Professor Paolo Missier
Professor Alexander Romanovsky
A Customisable Pipeline for Continuously Harvesting Socially-Minded Twitter Users2019
Paulius Stankaitis
Dr Alexei Iliasov
Professor Alexander Romanovsky
A refinement based method for developing distributed protocols2019
Professor Alexander Romanovsky
Fault tolerant internet computing: Benchmarking and modelling trade-offs between availability, latency and consistency2019
Paulius Stankaitis
Dr Alexei Iliasov
Professor Alexander Romanovsky
Modelling Hybrid Train Speed Controller using Proof and Refinement2019
1234567891011121314151617181920...