Persons: Baranov, Sergey Nikolaevich

Persons

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Baranov, Sergey Nikolaevich

Statistics Math-Net.Ru
Total publications:	10
Scientific articles:	10

Number of views:
This page:	1504
Abstract pages:	2546
Full texts:	836
References:	268

Professor

Doctor of physico-mathematical sciences (1990)

Speciality:

05.13.11 (Mathematical and programme software for computers, computer systems, and networks)

E-mail:

Keywords:

Software engineering, Requirement specifications, Verificatoin and validation, Test Automation, Software Process.

Subject:

Software Engineering, Software Development Process, Software Architecture, Verification of Requirement Specifications.

Main publications:

Baranov S., Kotlyarov V., Weigert Th., “Test Automation with Verifiable Coverage Criteria”, Ershov Informatics Conference PSI Series, Preliminary Proceedings (June 27–July 1, 2011), Akademgorodok, Novosibirsk, 2011, 267–273
Baranov S., Kapitonova J., Letichevsky A., Volkov V., Weigert Th., “Basic Protocols, Message Sequence Charts, and Verification of Requirements Specifications”, Computer Networks, 49:5 (2005), 661–675
Baranov S., Kotlyarov V., Letichevsky A., “An Industrial Technology of Test Automation Based on Verified Behavioral Models of Requirement Specifications for Telecommunication Applications”, The The IEEE Region 8 Eurocon 2009 Conference (May 18–23, 2009, St. Petersburg, Russia), 2009, 122–129
Baranov S, Vaigert T., Kapitonova Yu., Kotlyarov V., Letichevskii A., Letichevskii A.ml., “Spetsifikatsiya sistem s pomoschyu bazovykh protokolov”, Kibernetika i sistemnyi analiz, 2005, № 4, 3–21
Baranov S., “Protsess razrabotki programm kak osnova professionalnoi deyatelnosti programmistov”, Kompyuternye instrumenty v obrazovanii, 2002, № 3-4, 21–29

https://www.mathnet.ru/eng/person59396

List of publications on Google Scholar

List of publications on ZentralBlatt

https://elibrary.ru/author_items.asp?authorid=98918

	Publications in Math-Net.Ru	Citations
	2017
1.	V. V. Nikiforov, S. N. Baranov, “A flat chart technique for embedded OS testing”, Proceedings of ISP RAS, 29:5 (2017), 75–92
2.	V. V. Nikiforov, S. N. Baranov, “Static verification of task access to shared resources in real-time systems”, Tr. SPIIRAN, 52 (2017), 137–156
	2016
3.	S. N. Baranov, V. V. Nikiforov, “Analysis of real-time applications feasibility through simulation”, Model. Anal. Inform. Sist., 23:6 (2016), 673–687
	2015
4.	S. N. Baranov, V. V. Nikiforov, “Transitive Priority Inheritance in Real-Time Multi-Task Applications”, Tr. SPIIRAN, 43 (2015), 114–134
	2014
5.	S. N. Baranov, A. M. Telezhkin, “Metrics for Software Development”, Tr. SPIIRAN, 36 (2014), 5–27	1
6.	S. N. Baranov, S. V. Soloviev, “Conditionally reversible computations and weak universality in category theory”, Zap. Nauchn. Sem. POMI, 421 (2014), 19–32 ; J. Math. Sci. (N. Y.), 200:6 (2014), 654–661	1
	2013
7.	I. S. Anureev, S. N. Baranov, D. M. Beloglazov, E. V. Bodin, P. D. Drobintsev, A. V. Kolchin, V. P. Kotlyarov, A. A. Letichevskii, O. A. Letychevskyi, V. A. Nepomnyashchii, I. V. Nikiforov, S. V. Potiyenko, L. V. Priima, B. V. Tyutin, “Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs”, Tr. SPIIRAN, 26 (2013), 349–383	5
	2012
8.	S. N. Baranov, B. Boisvert, S. V. Solov'ev, L. Féraud, “Applications of typed $\lambda$-terms to categorical attributed graph transformations”, Tr. SPIIRAN, 23 (2012), 296–323
9.	S. N. Baranov, V.M. Shishkin, “The State-of-the-Art and Development Trends in the Theory and Practice of the Software Industry”, Tr. SPIIRAN, 20 (2012), 5–26
	2011
10.	S. N. Baranov, V. P. Kotlyarov, “A formal requirements model, used in the process of application code and test code generation”, Model. Anal. Inform. Sist., 18:4 (2011), 118–130	2

Organisations

Registration to the website

Logotypes