Sergey Baranov

According to our database, Sergey Baranov authored at least 11 papers between 2001 and 2017.

Collaborative distances:

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

2017

Analysis of Real-Time Applications Feasibility through Simulation.

Sergey Baranov, Victor Nikiforov

Autom. Control. Comput. Sci., 2017

2016

A Practical Simulator of Associative Intellectual Machine.

Sergey Baranov

Proceedings of the Advances in Neural Networks - ISNN 2016, 2016

The impact of blocking factor on real-time applications feasibility.

Sergey Baranov, Victor Nikiforov

Proceedings of the 18th Conference of Open Innovations Association and Seminar on Information Security and Protection of Information Technology, 2016

Real-time multi-task simulation in Forth.

Sergey Baranov

Proceedings of the 18th Conference of Open Innovations Association and Seminar on Information Security and Protection of Information Technology, 2016

2015

Density of multi-task real-time applications.

Sergey Baranov, Victor Nikiforov

Proceedings of the 17th Conference of Open Innovations Association FRUCT, 2015

2012

A formal application model for code and test generation.

Sergey Baranov, Vsevolod Kotlyarov

Autom. Control. Comput. Sci., 2012

2011

Verifiable Coverage Criteria for Automated Testing.

Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert

Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

2005

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

2003

Leveraging UML to Deliver Correct Telecom Applications.

Sergey Baranov, Clive Jervis, Vsevolod Kotlyarov, Alexander A. Letichevsky, Thomas Weigert

Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

2002

Requirement Capturing and 3CR Approac.

Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture.

Sergey Baranov, Vsevolod Kotlyarov

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001