Rem Gensh

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 7

Top Topics

Formal Specification

Stochastic Methods

Single Point Of Failure

Fault Tolerance

Top Venues

Publications

Rem Gensh, Ashur Rafiev, Alexander B. Romanovsky, Alessandro F. Garcia, Fei Xia, Alex Yakovlev
Architecting Holistic Fault Tolerance. HASE (2017)
Rem Gensh, Ashur Rafiev, Fei Xia, Alexander B. Romanovsky, Alex Yakovlev
Modelling for Systems with Holistic Fault Tolerance. SERENE (2017)
Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alexandre Yakovlev
Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. FDL (2016)
Rem Gensh, Alexander B. Romanovsky, Alex Yakovlev
On structuring holistic fault tolerance. MODULARITY (2016)
Alexei Iliasov, Ashur Rafiev, Fei Xia, Rem Gensh, Alexander B. Romanovsky, Alexandre Yakovlev
A Formal Specification and Prototyping Language for Multi-core System Management. PDP (2015)
Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alex Yakovlev
Order Graphs and Cross-Layer Parametric Significance-Driven Modelling. ACSD (2015)
Rem Gensh, Alexander B. Romanovsky, Alex Yakovlev
Engineering Cross-Layer Fault Tolerance in Many-Core Systems. SERENE (2015)