Perspectives of Systems Informatics

7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

  • Amir Pnueli
  • Irina Virbitskaite
  • Andrei Voronkov
Conference proceedings PSI 2009

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Samson Abramsky
      Pages 1-1
    2. Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark Hillebrand et al.
      Pages 43-55
  3. Regular Papers

    1. Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
      Pages 58-69
    2. Dmitry Beloglazov, Valery Nepomniaschy
      Pages 70-85
    3. Jean Beney, Cornelis H. A. Koster
      Pages 86-97
    4. Nieves R. Brisaboa, Miguel R. Luaces, Oscar Pedreira, Ángeles S. Places, Diego Seco
      Pages 98-109
    5. Florian Fischer, Gulay Unel, Barry Bishop, Dieter Fensel
      Pages 124-134
    6. G. W. Hamilton
      Pages 151-164
    7. Alexey Khoroshilov, Vadim Mutilin, Alexander Petrenko, Vladimir Zakharov
      Pages 165-176
    8. Ilya Klyuchnikov, Sergei Romanenko
      Pages 193-205
    9. Jens Kohlmeyer, Walter Guttmann
      Pages 206-217
    10. Emanuel Kolb, Ondřej Šerý, Roland Weiss
      Pages 218-229

About these proceedings


This book contains thoroughly refereed and revised papers from the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009, held in Akademgorodok, Novosibirsk, Russia, in June 2009.

The 26 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 67 submissions. The volume also contains 5 invited papers covering a range of hot topics in system informatics. The papers address all current aspects of theoretical computer science, programming methodology, and new information technologies, which are among the most important contributions of system informatics.


Constraint Debugging Java Linux approximation aspect-oriented programming automated test generation classification component-based systems constraint programming constraint solving modeling testing theoretical computer science verification

Editors and affiliations

  • Amir Pnueli
    • 1
  • Irina Virbitskaite
    • 2
  • Andrei Voronkov
    • 3
  1. 1.(1941-2009), The Weizmann Institute of Science, Rehovot, Israel New York University, NYUSA
  2. 2.Siberian Division of the Russian Academy of SciencesA.P. Ershov Institute of Informatics SystemsNovosibirskRussia
  3. 3.Department of Computer ScienceUniversity of ManchesterManchesterUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-11485-4
  • Online ISBN 978-3-642-11486-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book