Browsing publications by Professor Alexander Romanovsky

Newcastle AuthorsTitleYear
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Practical formal methods in railways - the SafeCap Approach2014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Ana Mihut
Professor Alexander Romanovsky
Real-time ATO reconfiguration for operational stability2014
Dr Ashur Rafiev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Andrey Mokhov
Dr Fei Xia
et al.
Resource-driven Modelling of Complex Digital Systems with Uncertainty2014
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Rigorous Development of Fault-Tolerant Systems through Co-Refinement2014
Professor Cliff Jones
Professor Alexander Romanovsky
Special issue on Automated Verification of Critical Systems (AVoCS'11) Preface2014
Dr Ashur Rafiev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Andrey Mokhov
Dr Fei Xia
et al.
Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn – an Architecture-open Resource-driven Cross-layer Modelling Framework2014
Dr Zoe Andrews
Dr Claire Ingram
Dr Richard Payne
Professor Alexander Romanovsky
Traceable Engineering of Fault-Tolerant SoSs2014
Dr 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
1234567891011121314151617181920...