Sergey Baranov

Publication Activity (10 Years)

Years Active: 2001-2017
Publications (10 Years): 5

Top Topics

Sparse Learning

Practical Application

Top Venues

Autom. Control. Comput. Sci.

Publications

Sergey Baranov, Victor Nikiforov
Analysis of Real-Time Applications Feasibility through Simulation. Autom. Control. Comput. Sci. 51 (7) (2017)
Sergey Baranov, Victor Nikiforov
The impact of blocking factor on real-time applications feasibility. FRUCT (2016)
Sergey Baranov
Real-time multi-task simulation in Forth. FRUCT (2016)
Sergey Baranov
A Practical Simulator of Associative Intellectual Machine. ISNN (2016)
Sergey Baranov, Victor Nikiforov
Density of multi-task real-time applications. FRUCT (2015)
Sergey Baranov, Vsevolod Kotlyarov
A formal application model for code and test generation. Autom. Control. Comput. Sci. 46 (7) (2012)
Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert
Verifiable Coverage Criteria for Automated Testing. SDL Forum (2011)
Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert
Basic protocols, message sequence charts, and the verification of requirements specifications. Comput. Networks 49 (5) (2005)
Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov
Requirement Capturing and 3CR Approac. COMPSAC (2002)
Sergey Baranov, Vsevolod Kotlyarov
Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture. COMPSAC (2001)