Perspectives of System Informatics

11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

  • Alexander K. Petrenko
  • Andrei Voronkov
Conference proceedings PSI 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10742)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10742)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Vasilii Artemev, Vladimir Ivanov, Manuel Mazzara, Alan Rogers, Alberto Sillitti, Giancarlo Succi et al.
    Pages 1-11
  3. Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
    Pages 12-27
  4. Pamela Carvallo, Ana R. Cavalli, Wissam Mallouli
    Pages 59-71
  5. Valeriy M. Chernenkiy, Yuriy E. Gapanyuk, Anatoly N. Nardid, Anton V. Gushcha, Yuriy S. Fedorenko
    Pages 72-87
  6. George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
    Pages 88-94
  7. Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina
    Pages 95-104
  8. Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec
    Pages 117-131
  9. Natalia Fursova, Pavel Dovgalyuk, Ivan Vasiliev, Vladimir Makarov
    Pages 132-146
  10. Bastian Hagedorn, Michel Steuwer, Sergei Gorlatch
    Pages 179-195
  11. Magne Haveraaen
    Pages 196-210
  12. Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
    Pages 211-226
  13. Margarita Korovina, Oleg Kudinov
    Pages 241-255
  14. Mikhail Mandrykin, Alexey Khoroshilov
    Pages 256-275
  15. Sergey Morozov, Vitaly Semenov, Oleg Tarlapan, Vladislav Zolotov
    Pages 276-290
  16. Görkem Paçacı, Steve McKeever, Andreas Hamfelt
    Pages 306-321
  17. Ramon Antonio Rodriges Zalipynis
    Pages 337-351
  18. Valeriy Savchenko, Alexander Volkov
    Pages 352-363
  19. Eugene Sharygin, Ruben Buchatskiy, Roman Zhuykov, Arseny Sher
    Pages 375-386
  20. Marcel Toussaint, Thomas Baar
    Pages 394-401
  21. Evgeny Novikov, Ilja Zakharov
    Pages 402-416
  22. Umutcan Şimşek, Elias Kärle, Omar Holzknecht, Dieter Fensel
    Pages 417-429
  23. Back Matter
    Pages 431-432

About these proceedings


This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.


The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.


computer systems computer programming computer software selection and evaluation databases formal logic formal languages and automata theory semantics software architectures software engineering software notations and tools specifications logic verification

Editors and affiliations

  1. 1.Ivannikov Institute for System Programming of RASMoscowRussia
  2. 2.The University of ManchesterManchesterUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-74312-7
  • Online ISBN 978-3-319-74313-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software