Advertisement

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
    11. Margarita Korovina, Oleg Kudinov
      Pages 230-241
    12. Philipp Kumar, Thomas Baar
      Pages 269-281
    13. Nazim Benaissa, Dominique Méry
      Pages 282-293
    14. Anton Malykh, Andrei Mantsivoda
      Pages 294-305
    15. Torben Ægidius Mogensen
      Pages 306-318
    16. Artur Niewiadomski, Wojciech Penczek, Maciej Szreter
      Pages 319-330
    17. J. Guadalupe Ramos, Josep Silva, Gustavo Arroyo, Juan C. Solorio
      Pages 344-351
    18. Helen Schonenberg, Natalia Sidorova, Wil van der Aalst, Kees van Hee
      Pages 366-379
    19. Thomas Studer
      Pages 380-387
    20. Margus Veanes, Nikolaj Bjørner
      Pages 388-400
    21. Thomas Würthinger, Michael L. Van De Vanter, Doug Simon
      Pages 401-412
    22. Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov
      Pages 413-423
  4. Back Matter

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-642-11486-1
  • 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
  • Buy this book on publisher's site