Arseniy Alekseyev

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Safety Critical

Adaptive Systems

Graph Theoretic

Algebraic Structures

Top Venues

Publications

Alex Iliasov, Arseniy Alekseyev, Danil Sokolov, Andrey Mokhov
Design of safety critical systems by refinement. DATE (2014)
Andrey Mokhov, Victor Khomenko, Arseniy Alekseyev, Alex Yakovlev
Algebra of Parameterised Graphs. ACSD (2012)
Andrey Mokhov, Arseniy Alekseyev, Alex Yakovlev
Encoding of processor instruction sets with explicit concurrency control. IET Comput. Digit. Tech. 5 (6) (2011)
Arseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alex Yakovlev
Improved Parallel Composition of Labelled Petri Nets. ACSD (2011)
Andrey Mokhov, Arseniy Alekseyev, Alexandre Yakovlev
Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design. ACSD (2010)