Browsing publications by Professor Alexander Romanovsky

Newcastle AuthorsTitleYear
Ilya Lopatkin
Professor Alexander Romanovsky
A Method for Rigorous Development of Fault-Tolerant Systems2013
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing mode-rich satellite software by refinement in Event-B2013
Dr Zoe Andrews
Professor John Fitzgerald
Dr Richard Payne
Professor Alexander Romanovsky
Fault Modelling for Systems of Systems2013
Dr Zoe Andrews
Dr Richard Payne
Professor Alexander Romanovsky
Model-based development of fault tolerant systems of systems2013
Dr Andrey Mokhov
Dr Alexei Iliasov
Dr Danil Sokolov
Maxim Rykunov
Professor Alex Yakovlev
et al.		Synthesis of Processor Instruction Sets from High-Level ISA Specifications2013
Professor Alexander Romanovsky
Architecting Fault Tolerant Systems2012
Professor Alexander Romanovsky
Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project2012
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time2012
Dr Zoe Andrews
Professor John Fitzgerald
Dr Richard Payne
Professor Alexander Romanovsky
Fault Modelling for Systems of Systems2012
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Approach to Ensuring Interoperability of Mobile Agents2012
1234567891011121314151617181920...