Sergey Baranov

12 papers B 2C 1Misc 3Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Mathematical Modeling of the Heat Transfer Process in Spherical Objects with Flat, Cylindrical and Spherical Defects.
Comput.
Pavel Balabanov, Andrey Egorov, Alexander Divin, Sergey Ponomarev, Victor Yudaev, Sergey Baranov, Huthefa Abu Zetoonh
2017 J jnl
Analysis of Real-Time Applications Feasibility through Simulation.
Autom. Control. Comput. Sci.
Sergey Baranov, Victor Nikiforov
2016 C conf
A Practical Simulator of Associative Intellectual Machine.
ISNN
Sergey Baranov
2016 Misc conf
Real-time multi-task simulation in Forth.
FRUCT
Sergey Baranov
2016 Misc conf
The impact of blocking factor on real-time applications feasibility.
FRUCT
Sergey Baranov, Victor Nikiforov
2015 Misc conf
Density of multi-task real-time applications.
FRUCT
Sergey Baranov, Victor Nikiforov
2012 J jnl
A formal application model for code and test generation.
Autom. Control. Comput. Sci.
Sergey Baranov, Vsevolod Kotlyarov
2011 — conf
Verifiable Coverage Criteria for Automated Testing.
SDL Forum
Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert
2005 J jnl
Basic protocols, message sequence charts, and the verification of requirements specifications.
Comput. Networks
Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert
2003 — ch.
Leveraging UML to Deliver Correct Telecom Applications.
UML for Real
Sergey Baranov, Clive Jervis, Vsevolod Kotlyarov, Alexander A. Letichevsky, Thomas Weigert
2002 B conf
Requirement Capturing and 3CR Approac.
COMPSAC
Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov
2001 B conf
Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture.
COMPSAC
Sergey Baranov, Vsevolod Kotlyarov