Shoshmina Irina V.

Professor assistant

Address: 194021, Saint-Petersburg, Polytechnicheskaya ul., 21 (9 building of SPbPU), off. 105

phone: +7(812)2970729

e-mail: ishoshmina at dcn dot icc dot spbstu dot ru

Research interests

  • modeling embedded logic control systems
  • formal verification of distributed systems and algorithms 
  • formal specification of embedded logic control systems
  • previous interests: architecture of distributed computing systems  (grid-systems)

Courses 2016-2017

  • Math Logic (practice)
  • Automata theory (practice)
  • Verification of parallel and distributed systems and algorithms (practice)
  • Distributed algorithms (lectures and practice)
  • Applied methods of math logic in computing systems (lectures and practice)

Class scheduling (Autumn 2016-2017)

If you need an appointment, please, write to find me in the office. 

https://www.google.com/calendar/embed?src=21g3q437dqi8tf2lpe7iq1k3to%40group.calendar.google.com&ctz=Europe/Moscow

 

Publications titles are given in the language written.

Публикации

References
15.
Шошмина, И.В.
К дистанционному курсу ``Математическая логика-2015'
СПбПУ,
March 2016

Keywords: дистанционное образование

14.
Shoshmina, I.V.
Developing formal temporal requirements to distributed program systems
Системная информатика (System informatics), (8):21-32
2016

Keywords: software requirement specification, requirement patterns, model checking, linear temporal logic

13.
Шошмина, Ирина В.
Метод разработки формальных контекстных требований для верификации программных систем логического управления
May 2015

Keywords: Реагирующие системы, метод проверки модели, инженерия программных требований, темпоральная логика

12.
Шошмина, Ирина В.
Метод разработки формальных контекстных требований для верификации программных систем логического управления
Диссертация
СПбПУ,
March 2015

Keywords: Реагирующие системы, метод проверки модели, инженерия программных требований, темпоральная логика

11.
Шошмина, И. В.
Методика составления контекстных требований к программным системам логического управления
Информационно-управляющие системы, (3):69-77
2014
10.
Shoshmina, Irina V.
Distributed Embedded Control System Design with Verification Support
Automatic Control and Computer Sciences, 45(7)
2011
ISSN: 0146-4116
9.
Карпов, Ю.Г.; Шошмина, И.В.
Верификация распределенных систем
Publisher: СПбГПУ,
2011
8.
Shoshmina, Irina V.; Belyaev, Alexey B.
Symbolic Algorithm for Generation Büchi Automata from LTL Formulas
In Victor Malyshkin, editor, Volume 6873 of LNCS
Parallel Computing Technologies - 11th International Conference PACT'2011
Kazan
Publisher: Springer,
2011
7.
Шошмина, И.В.
Проектирование программных бортовых систем управления с поддержкой верификации
Модел. и анал. информ. систем, 17(4):125-136
2010
6.
Balint-Kurti, G.G., Bogdanov, A.V., Gevorkyan, A., Gorbachev, Y.E., Hakobyan, T., Nyman, G.; Shoshmina, I.
Grid-Technology for Chemical Reactions Calculation
Transactions on Computational Science, 7:154-162
2010
5.
Шошмина, И.В.; Карпов, Ю.Г.
Введение в язык Promela и систему комплексной верификации Spin
Publisher: СПбГПУ, Санкт-Петербург
2010
4.
Шошмина, И.В.; Карпов, Ю.Г.
Технология проектирования и верификации распределенных бортовых систем
Материалы международного семинара PSSV
Казань
2010
Page:  
Previous | 1, 2 | Next