> Main> Research> Publications
RUSENG

Publications

Year:  
All :: 1996, ... , 2006, 2007, 2009, ... , 2014
Author:  
All :: A, B, C, F, G, H, I, K, L, M, N, P, R, S, T, U, V, W, Z, А, Б, В, Г, Д, Ж, З, И, К, Л, М, Н, П, Р, С, Т, У, Ф, Х, Ц, Ч, Ш, Э 
All :: Карпов, Киптилый, Козлов, Кознов, ... , Кудряшов 
References

2014

Articles:

Карпов, Ю. Г.
Синдром “146%”: некомпетентность или злой умысел?
Открытые системы, (5)
2014

2012

Articles:

Карпов, Ю.
Новая жизнь верификации
Открытые системы. СУБД, (3)
2012
Карпов, Ю.Г.
Устойчивое развитие общества и обеспечение качества программных систем управления.
Научно-технические ведомости СПбГПУ, №3.1(154):71-73
2012

Contributions to proceedings:

Карпов, Ю.
Повышение качества программных систем.
Труды Санкт-Петербургского научного форума “Наука и общество. Наука и прогресс человечества. VII Петербургская встреча лауреатов Нобелевских премий”.
September 2012

2011

Articles:

Беляев, А.Н., Ивановский, Р.И., Карпов, Ю.Г.; Сотников, К.А.
Smart grid. Разработка приложений
Научно-технические ведомости СПбГПУ, №6.1(138):115-121
2011
Сотников, К.А., Ивановский, Р.И., Беляев, А.Н.; Карпов, Ю.Г.
Роль имитационного моделирования в задачах внедрения технологий SmartGrid
Имитационное моделирование. Теория и практика. - СПб., ОАО "ЦТСС", :65-74
2011

Books:

Карпов, Ю.Г.; Шошмина, И.В.
Верификация распределенных систем
Publisher: СПбГПУ,
2011

2010

Books:

Шошмина, И.В.; Карпов, Ю.Г.
Введение в язык Promela и систему комплексной верификации Spin
Publisher: СПбГПУ, Санкт-Петербург
2010
Карпов, Ю.Г.
Технология программирования. Верификация параллельных и распределенных программ
Publisher: Изд-во Политехнического университета,
2010
ISBN: 978-5-7422-2422-8
Карпов, Ю.Г.
Model Checking. Верификация параллельных и распределенных программных систем
Publisher: БХВ-Петербург,
2010
ISBN: 978-5-9775-0404-1

Contributions to proceedings:

Карпов, Ю.Г.
Обеспечение качества программных систем управления
Материалы XIV Всероссийской конференции "Фундаментальные исследования и инновации в национальных исследовательских университетах". Пленарные доклады , page 88-92.
СПб.
2010
Самочадин, А.В.; Карпов, Ю.Г.
Методика конкретизации процессов предоставления государственных услуг
"Интернет и современное общество": Труды XIII Всероссийской объединенной конференции , page 232-234.
СПб.
2010
ISBN: 978-5-903811-06-9
Шошмина, И.В.; Карпов, Ю.Г.
Технология проектирования и верификации распределенных бортовых систем
Материалы международного семинара PSSV
Казань
2010
Карпов, Ю.Г.; Самочадин, А.В.
Методика конкретизации процессов исполнения государственных услуг и бизнес-процессов
Региональная информатика РИ-2010: Труды международной конференции
СПб
2010

2009

Articles:

Карпов, Ю.Г.
Темпоральные логики для спецификации свойств программных и аппаратных систем
Компьютерные инструменты в образовании, №2:45-56
2009

2007

Articles:

Карпов, Ю.Г.; Трифонов, П.В.
Сложность алгоритмов и программ
Компьютерные инструменты в образовании, №6:4-10
2007
Жирнова, Н.М.; Карпов, Ю.Г.
Моделирование исторических процессов в школьной информатике
Компьютерные инструменты в образовании, №5:41-48
2007

Books:

Карпов, Ю.Г.
Теория и технология программирования. Основы построения трансляторов
Publisher: БХВ,
2007

2006

Books:

Карпов, Ю.Г.
Имитационное моделирование систем. Введение в моделирование с AnyLogic 5
Publisher: БХВ,
2006

2005

Books:

Карпов, Ю.Г.
Теория автоматов
Publisher: Питер,
2005

1998

Articles:

Войнов, В.В.; Карпов, Ю.Г.
Управление качеством сервиса в распределенных системах
журнал РАН "Информационные технологии и вычислительные системы", №1:78-85
1998

Books:

Карпов, Ю.Г.
Теория алгоритмов и автоматов
Publisher: Нестор, С.Петербург,
1998

1996

Articles:

Карпов, Ю.Г., Борщев, А.В.; Рудаков, В.В.
О корректности параллельных алгоритмов
журнал РАН "Программирование", №4:5-17
1996
Карпов, Ю.Г.
Анализ корректности параллельной программы разделения множеств
журнал РАН "Программирование", №6:27-33
1996
Export as:
BibTeX, XML