Perspectives of System Informatics

9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

  • Andrei Voronkov
  • Irina Virbitskaite
Conference proceedings PSI 2014

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

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
    Pages 1-25
  3. Edmund M. Clarke, Qinsi Wang
    Pages 26-40
  4. Sandeep Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin
    Pages 76-91
  5. Pavel Emelyanov, Denis Ponomaryov
    Pages 92-101
  6. Natalia Garanina, Elena Sidorova, Eugene Bodin
    Pages 102-110
  7. Sergei Gorlatch, Michel Steuwer
    Pages 111-126
  8. Nataliya S. Gribovskaya
    Pages 142-150
  9. Damas P. Gruska
    Pages 151-160
  10. Alexei Iliasov, Jeremy Bryans
    Pages 161-176
  11. Neil D. Jones, G. W. Hamilton
    Pages 177-185
  12. Ilya Klyuchnikov, Sergei Romanenko
    Pages 186-200
  13. Margarita Korovina, Oleg Kudinov
    Pages 201-215
  14. Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue
    Pages 216-231
  15. Torben Ægidius Mogensen
    Pages 232-247
  16. Martin Plümicke
    Pages 248-256
  17. Anton Podkopaev, Dmitri Boulytchev
    Pages 257-265
  18. Kirill Smirnov, George Chernishev, Pavel Fedotovsky, George Erokhin, Kirill Cherednik
    Pages 266-272
  19. Vinodh Kumar Sunkara, Aamod Sane
    Pages 273-287
  20. Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
    Pages 288-303
  21. Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
    Pages 304-319
  22. Peter Thiemann
    Pages 320-334
  23. Germán Vidal
    Pages 351-360
  24. Stefan Vijzelaar, Kees Verstoep, Wan Fokkink, Henri Bal
    Pages 361-375
  25. Irina Virbitskaite, Dmitry Bushin
    Pages 376-384
  26. E. E. Vityaev, V. V. Martinovich
    Pages 385-399
  27. Alexey Khoroshilov, Vadim Mutilin, Evgeny Novikov, Ilja Zakharov
    Pages 400-414
  28. Back Matter
    Pages 415-415

About these proceedings


This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. 

The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of hot topics in computer science and informatics. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.


Computational complexity Concurrency Formal languages and automata theory Foundations of program developments Functional languages Information technologies Knowledge engineering Knowledge management Knowledge-based systems Logic Model checking Models of computation Program analysis Program constructs Programming methodology Semantics and reasoning Software engineering System analysis System development Timed and hybrid models

Editors and affiliations

  • Andrei Voronkov
    • 1
  • Irina Virbitskaite
    • 2
  1. 1.School of Computer ScienceUniversity of ManchesterManchesterUnited Kingdom
  2. 2.A.P. Ershov Institute of Informatics SystemsNovosibirskRussia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-46822-7
  • Online ISBN 978-3-662-46823-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software