Sergey Baranov

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Analysis of Real-Time Applications Feasibility through Simulation.
Autom. Control. Comput. Sci., 2017

2016
A Practical Simulator of Associative Intellectual Machine.
Proceedings of the Advances in Neural Networks - ISNN 2016, 2016

The impact of blocking factor on real-time applications feasibility.
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.
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.
Proceedings of the 17th Conference of Open Innovations Association FRUCT, 2015

2012
A formal application model for code and test generation.
Autom. Control. Comput. Sci., 2012

2011
Verifiable Coverage Criteria for Automated Testing.
Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

2005
Basic protocols, message sequence charts, and the verification of requirements specifications.
Comput. Networks, 2005

2003
Leveraging UML to Deliver Correct Telecom Applications.
Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

2002
Requirement Capturing and 3CR Approac.
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.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001


  Loading...