Toggle Main Menu Toggle Search

ePrints

Browsing publications by Professor Alexander Romanovsky

Newcastle AuthorsTitleYearFull text
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Linas Laibinis
Quantitative Validation of Formal Domain Models2019
Sami Alajrami
Professor Alexander Romanovsky
Cost-aware scheduling of software processes execution in the cloud2018
Sami Alajrami
Professor Alexander Romanovsky
Cost-Aware Scheduling of Software Processes Execution in the Cloud2018
Dr Zhenyu Wen
Professor Alexander Romanovsky
Jie Xu
Professor Raj Ranjan
Emergent Failures: Rethinking Cloud Reliability at Scale2018
Sami Alajrami
Professor Alexander Romanovsky
Enabling GSD task allocation via cloud-based software processes2018
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
Ali Aalsaud
et al.		Error-Based Metric for Cross-Layer Cut Determination2018
Dr Alexei Iliasov
Dr Linas Laibinis
Professor Alexander Romanovsky
Formal Verification of Signalling Programs with SafeCap2018
Dr Alexei Iliasov
Dr Linas Laibinis
Professor Alexander Romanovsky
Formal Verification of Signalling Programs with SafeCap2018
Professor Raj Ranjan
Professor Alexander Romanovsky
Ayman Noor
Osmotic Monitoring of Microservices between the Edge and Cloud2018
Professor Alexander Romanovsky
Proceedings of the Event-B Day 2018 in Tokyo2018
1234567891011121314151617181920...