Browsing publications by Professor Alexander Romanovsky

Newcastle AuthorsTitleYearFull text
Dr Zhenyu Wen
Dr Jacek Cala
Professor Paul Watson
Professor Alexander Romanovsky
Cost Effective, Reliable and Secure Workflow Deployment over Federated Clouds2016
Sami Alajrami
Professor Alexander Romanovsky
Enabling Global Software Development via Cloud-Based Software Process Enactment2016
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Analysis of railway signalling data2016
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Formalisation-Driven Development of Safety-Critical Systems2016
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Formalisation-driven development of safety-critical systems2016
Dr Alexei Iliasov
Dr Ashur Rafiev
Dr Fei Xia
Rem Gensh
Professor Alexander Romanovsky
et al.
A formal specification and prototyping language for multi-core system management2015
Dr Alexei Iliasov
Dr Ashur Rafiev
Dr Fei Xia
Rem Gensh
Professor Alexander Romanovsky
et al.
A formal specification and prototyping language for multi-core system management2015
David Ebo Adjepon-Yamoah
Professor Alexander Romanovsky
Dr Alexei Iliasov
A Reactive Architecture for Cloud-Based System Engineering2015
David Adjepon-Yamoah
Professor Alexander Romanovsky
Dr Alexei Iliasov
A reactive architecture for cloud-based system engineering.2015
Zhenyu Wen
Dr Jacek Cala
Professor Paul Watson
Professor Alexander Romanovsky
Cost Effective, Reliable and Secure Workflow Deployment over Federated Clouds2015
1234567891011121314151617181920...