Browsing publications by Dr Alexei Iliasov

Newcastle AuthorsTitleYear
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
Professor Alexander Romanovsky
Formal Modelling of Railway Safety and Capacity2015
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
Ali Aalsaud
et al.
Power-proportional modelling fidelity2015
Dr Alexei Iliasov
Dr Elena Troubitsyna
David Ebo Adjepon-Yamoah
Professor Alexander Romanovsky
Refinement-based Approach to Co-engineering Requirements and Formal Models2015
Dr Alexei Iliasov
Roberto Palacin
Professor Alexander Romanovsky
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation2014
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
1234567