Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture. - Sergey Baranov; Vsevolod Kotlyarov (COMPSAC, 2001)

Requirement Capturing and 3CR Approac. - Sergey Baranov; Vsevolod Kotlyarov; Julia V. Kapitonova; Alexander A. Letichevsky; Vladislav A. Volkov (COMPSAC, 2002)

Leveraging UML to Deliver Correct Telecom Applications. - Sergey Baranov; Clive Jervis; Vsevolod Kotlyarov; Alexander A. Letichevsky; Thomas Weigert (UML for Real, 2003)

Basic protocols, message sequence charts, and the verification of requirements specifications. - Alexander A. Letichevsky; Julia V. Kapitonova; A. A. Letichevsky Jr.; Vladislav A. Volkov; Sergey Baranov; Thomas Weigert (Comput. Networks, 2005)

Verifiable Coverage Criteria for Automated Testing. - Sergey Baranov; Vsevolod Kotlyarov; Thomas Weigert (SDL Forum, 2011)

A formal application model for code and test generation. - Sergey Baranov; Vsevolod Kotlyarov (Autom. Control. Comput. Sci., 2012)

Density of multi-task real-time applications. - Sergey Baranov; Victor Nikiforov (FRUCT, 2015)

Real-time multi-task simulation in Forth. - Sergey Baranov (FRUCT, 2016)

The impact of blocking factor on real-time applications feasibility. - Sergey Baranov; Victor Nikiforov (FRUCT, 2016)

A Practical Simulator of Associative Intellectual Machine. - Sergey Baranov (ISNN, 2016)

Analysis of Real-Time Applications Feasibility through Simulation. - Sergey Baranov; Victor Nikiforov (Autom. Control. Comput. Sci., 2017)

Mathematical Modeling of the Heat Transfer Process in Spherical Objects with Flat, Cylindrical and Spherical Defects. - Pavel Balabanov; Andrey Egorov; Alexander Divin; Sergey Ponomarev; Victor Yudaev; Sergey Baranov; Huthefa Abu Zetoonh (Comput., 2024)