Arseniy Alekseyev

According to our database, Arseniy Alekseyev authored at least 5 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Design of safety critical systems by refinement.

Alex Iliasov, Arseniy Alekseyev, Danil Sokolov, Andrey Mokhov

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2012

Algebra of Parameterised Graphs.

Andrey Mokhov, Victor Khomenko, Arseniy Alekseyev, Alex Yakovlev

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Encoding of processor instruction sets with explicit concurrency control.

Andrey Mokhov, Arseniy Alekseyev, Alex Yakovlev

IET Comput. Digit. Tech., 2011

Improved Parallel Composition of Labelled Petri Nets.

Arseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alex Yakovlev

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design.

Andrey Mokhov, Arseniy Alekseyev, Alexandre Yakovlev

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010