Browsing publications by Dr Alexei Iliasov

Newcastle AuthorsTitleYearFull text
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 Alexei Iliasov
Professor Alexander Romanovsky
SafeCap: The Train Advisory System for Real-Time Traffic Management2014
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 Andrey Mokhov
Dr Alexei Iliasov
Dr Danil Sokolov
Maxim Rykunov
Professor Alex Yakovlev
et al.
Synthesis of Processor Instruction Sets from High-Level ISA Specifications2014
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing mode-rich satellite software by refinement in Event-B2013
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
The SafeCap Platform for Modelling Railway Safety and Capacity2013
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Approach to Ensuring Interoperability of Mobile Agents2012
Dr Manuel Mazzara
Professor Cliff Jones
Dr Alexei Iliasov
Lessons from DEPLOYment2012
1234567