Boris Konorev

According to our database, Boris Konorev authored at least 3 papers between 2008 and 2013.

Collaborative distances:

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

2013

Invariant-oriented verification of HDL-based safety critical systems.

Vyacheslav S. Kharchenko, Boris Konorev, Vladimir V. Sklyar, L. Reva

Proceedings of the East-West Design & Test Symposium, 2013

2011

The evidential independent verification of software of information and control systems, critical to safety: Functional model of scenario.

Borys Konorev, Volodymyr Sergiyenko, Georgiy Chertkov

Proceedings of the 9th East-West Design & Test Symposium, 2011

2008

Case-based software reliability assessmentby fault injection unified procedures.

Alexander Gordeyev, Vyacheslav Kharchenko, Anton Andrashov, Boris Konorev, Vladimir V. Sklyar, Artem Boyarchuk

Proceedings of the 2008 International Workshop on Software Engineering in East and South Europe, 2008