Order Graphs and Cross-Layer Parametric Significance-Driven Modelling. - Ashur Rafiev; Fei Xia 001; Alexei Iliasov; Rem Gensh; Ali Aalsaud; Alexander B. Romanovsky; Alex Yakovlev (ACSD, 2015)

A Formal Specification and Prototyping Language for Multi-core System Management. - Alexei Iliasov; Ashur Rafiev; Fei Xia 001; Rem Gensh; Alexander B. Romanovsky; Alexandre Yakovlev (PDP, 2015)

Engineering Cross-Layer Fault Tolerance in Many-Core Systems. - Rem Gensh; Alexander B. Romanovsky; Alex Yakovlev (SERENE, 2015)

On structuring holistic fault tolerance. - Rem Gensh; Alexander B. Romanovsky; Alex Yakovlev (MODULARITY, 2016)

Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. - Ashur Rafiev; Fei Xia 001; Alexei Iliasov; Rem Gensh; Ali Aalsaud; Alexander B. Romanovsky; Alexandre Yakovlev (FDL, 2016)

Architecting Holistic Fault Tolerance. - Rem Gensh; Ashur Rafiev; Alexander B. Romanovsky; Alessandro F. Garcia 001; Fei Xia 001; Alex Yakovlev (HASE, 2017)

Modelling for Systems with Holistic Fault Tolerance. - Rem Gensh; Ashur Rafiev; Fei Xia 001; Alexander B. Romanovsky; Alex Yakovlev (SERENE, 2017)

Engineering holistic fault tolerance. - Rem Gensh (2018)