Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Alexei Iliasov

Newcastle AuthorsTitleYearFull text
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
Configurable Interlocking Verification2026
Dr Alexei Iliasov
Dr Linas Laibinis
Emeritus Professor Alexander Romanovsky
Safety Invariant Engineering for Interlocking Verification2024
Dr Paulius Stankaitis
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
A refinement based method for developing distributed protocols2019
Dr Paulius Stankaitis
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
Modelling Hybrid Train Speed Controller using Proof and Refinement2019
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
Dr Linas Laibinis
Quantitative Validation of Formal Domain Models2019
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Dr Rem Gensh
Ali Aalsaud
et al.		Error-Based Metric for Cross-Layer Cut Determination2018
Dr Alexei Iliasov
Dr Linas Laibinis
Emeritus Professor Alexander Romanovsky
Formal Verification of Signalling Programs with SafeCap2018
Dr Alexei Iliasov
Dr Linas Laibinis
Emeritus Professor Alexander Romanovsky
Formal Verification of Signalling Programs with SafeCap2018
Paulius Stankaitis
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
A Railway Simulation Suite For Modelling Advanced Railway Control Systems2017
Dr Ashur Rafiev
Dr Andrey Mokhov
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
et al.		Resource-Driven Modelling for Managing Model Fidelity2017
Paulius Stankaitis
Dr Alexei Iliasov
Safety verification of modern railway signalling with the SafeCap platform2017
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
Ali Aalsaud
et al.		Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems2017
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
Professor Alex Yakovlev
Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips using ArchOn Framework2017
Paulius Stankaitis
Dr Alexei Iliasov
Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks2017
Dr Alexei Iliasov
A formal DSL for multi-core system management2016
12345678