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
Paulius Stankaitis
Professor Alexander Romanovsky
Proving Event-B models with reusable generic lemmas2016
Dr Paolo Missier
Professor Alexander Romanovsky
Tudor Miu
Atinder Pal
Tracking Dengue Epidemics using Twitter Content Classification and Topic Modelling2016
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
1234567891011121314151617181920...